COSMOS

This framework drives the detailed project aims as laid out above, and the structure of the work programme. Modelling we will exploit various system modelling languages and process algebra modelling techniques that have proved applicable to complex systems. For example: UML/MOF class diagrams can capture and classify the agents within a system, and their relationships with each other and their environment; statecharts can capture the lifecycle of each kind of agent, and of the environment; sequence diagrams or process algebras can capture the temporal patterns of interactions between agents, and with the environment. Recent developments in domain specific language support and meta-modelling, and approaches for rigorously analysing UML models, and work on human-scale systems of systems, will contribute to identifying well-defined modelling approaches and analyses specialised for complex systems agents and their environments (eg, agent flow, chemical dispersion, stigmergic interactions)...