A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
2006
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
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 modeloriented 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"
doi:10.1109/isola.2006.21
dblp:conf/isola/BryansFJM06
fatcat:hrf3p4hmkbhfbgxo7kgo3c7v4q