User Tools

Site Tools


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.


Project Proposal

Mod A (ITA - ENG)

Work Packages

  • 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)



* 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
start.1421325718.txt.gz · Last modified: 2015/01/15 13:41 by imt