Formal modelling of dynamic coalitions, with an application in chemical engineering

Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    7 Citations (Scopus)


    Dynamic coalitions are temporary alliances formed between agents in order to achieve specific business goals. Such coalitions can vary widely in architecture, scale, complexity and lifetime. Few techniques have so far emerged to assist in the analysis and design of coalitions. We apply formal model- oriented techniques to help structure the space of dynamic coalitions, with an emphasis on modelling information flow. A series of models is developed in VDM, each emphasising a different "dimension" of the space. These are used to characterise a new dynamic coalition architecture under development for the chemical engineering industry. Tool-supported analysis of this formal model has identified potential improvements in the coalition architecture.
    Original languageEnglish
    Title of host publicationSecond International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
    Number of pages8
    ISBN (Print)978-0-7695-3071-0
    Publication statusPublished - 2007


    • Chemical engineering
    • Chemical industry
    • Computer architecture
    • Access control
    • Information security
    • Chemical analysis
    • Taxonomy
    • Gold
    • Chemical technology
    • Industrial control
    • Vienna development method
    • chemical engineering computing
    • chemical industry
    • formal specification
    • software architecture
    • formal model-oriented techniques
    • VDM
    • dynamic coalition architecture
    • chemical engineering industry


    Dive into the research topics of 'Formal modelling of dynamic coalitions, with an application in chemical engineering'. Together they form a unique fingerprint.

    Cite this