Managing Conflicts of Interest in Virtual Organisations
Electronic Notes in Theoretical Computer Science (ENTCS)
`Aware of What?' A Formal Model of Awareness Systems That Extends the Focus-Nimbus Model
Engineering Interactive Systems
Formal engineering of XACML access control policies in VDM++
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Animation-based validation of a formal model of dynamic virtual organisations
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Hi-index | 0.00 |
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.