Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering

Lookup NU author(s): Dr Jeremy Bryans, Professor John Fitzgerald, Professor Cliff JonesORCiD, Igor Mozolevsky



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.

Publication metadata

Author(s): Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Pages: 11

Print publication date: 01/09/2006

Source Publication Date: September 2006

Report Number: 981

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne