The research of QUANTICOL is broken down into seven work packages divided into three clusters of research: WP1, 2 and 3 tackle the more foundational and theoretical aspects of CAS. Work will focus on the theory of mean field and fluid flow approximation particularly with respect to emergence, control and spatial issues. This will be linked to scalable verification at the micro and macro-levels. WP4 develops the specification language CAS-CEL for the modelling of CAS with spatial aspects and the design and analysis pathways that can assist practitioners and researchers in a systematic and rigorous analysis of CAS designs. WP5 is concerned with the integration of verification and analysis tools that support the design and analysis pathways of WP4.
- Theoretical foundations. WP1 will formalise foundational models for the scalable analysis and engineering of emergent behaviour and its control. In cooperation with WP1, WP2 will develop extensions of those techniques to deal with systems where spatial inhomogeneity plays an important role. The main goal of WP2 is to define a formal framework enabling the description of systems with spatial aspects with a process algebraic language, and supporting different representations of space and abstractions based on mean field, in an automatic way. The insights of WP1 and WP2 will be used in WP3 to develop novel techniques for the automatic scalable verification of CAS. The focus will be on model-checking techniques that exploit mean-field methods to reach a sufficient level of scalability for their applicability to CAS.
- Specification language and design methodology. WP4 aims at the design of the CAS-SCEL language, a formal language for the specification of CAS based on a combination of the Service Component Ensemble language SCEL that is under development in the ASCENS project and process algebras for performance evaluation such as PEPA and Bio-PEPA. The language is central to a variety of tool supported analysis and verification techniques. The language and the tools are also at the heart of design and analysis pathways that will be developed in WP4.
- Tool integration and case studies. A key aim of the Quanticol project is to transform mathematical insights concerning mean-field and fluid approaches into design and analysis tools to assist the engineering of CAS. These tools consist of techniques to analyse and engineer (self-)adaptive and emergent behaviour in spatially inhomogeneous systems in the context of applications for smart cities such as smart grid and smart transportation. WP5 will provide a software development platform for the integration of specific tools, developed within and outside the QUANTICOL project. Furthermore, the platform will be used to validate the approaches and design pathways on the project’s case studies.