Browse by author
Lookup NU author(s): Dr Jeremy Bryans, Professor John Fitzgerald, Emeritus Professor Cliff JonesORCiD, Igor Mozolevsky
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Bryans JW, Fitzgerald JS, Jones CB, Mozolevsky I
Editor(s): Margaria, T, Philippou, A and Steffen, B
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006)
Year of Conference: 2006
Pages: 91-98
Publisher: IEEE
URL: http://dx.doi.org/10.1109/ISoLA.2006.21
DOI: 10.1109/ISoLA.2006.21
Library holdings: Search Newcastle University Library for this item
ISBN: 9780769530710