This is an old revision of the document!
CINA: Compositionality, Interaction, Negotiation, Autonomicity
A MIUR PRIN project
The project deals with the issues related to the development and management of open-ended IT systems consisting of heterogeneous, highly parallel, massively distributed components with complex interactions and behaviours and with autonomy in terms of individual properties, objectives and decision-making. It aims at developping a coherent, integrated set of languages, methods and tools to build systems that can operate in open-ended, unpredictable environments while adapting to changing contexts or requirements, and that behave reliably and are able to cope with failures and attacks.
WP1 - Autonomicity: Adaptivity and Self-Awareness (leader: Elena Zucca)
WP2 - Negotiation: Transactions, Reversibility and Compensations (leader: Davide Sangiorgi)
WP3 - Glocality: Reconciling Local and Global Views (leader: Roberto Bruni)
WP4 - Performability: Evaluating for Deciding (leader: Marco Bernardo
WP5 - Trustworthiness: Correctness and Security (leader: Michele Boreale)
WP6 - Validation: Case Studies (leader: Michele Bugliesi)
* WP1 Publications
For further information do not hesitate to contact the project coordinator:
Prof. Rocco De Nicola
IMT Institute for Advanced Studies Lucca
Piazza San Francesco 19, 55100 Lucca, Italy