Validation and Verification Policies for Governance of Service Choreographies

Abstract : The Future Internet (FI) sustains the emerging vision of a software ecosystem in which pieces of software, developed, owned and run by different organizations, can be dynamically discovered and bound to each other so to readily start to interact. Nevertheless, without suitable mechanisms, paradigms and tools, this ecosystem is at risk of tending towards chaos. Indeed the take off of FI passes through the introduction of paradigms and tools permitting to establish some discipline. Choreography specifications and Governance are two different proposals which can contribute to such a vision, by permitting to define rules and functioning agreements both at the technical level and at the social (among organizations) level. In this paper we discuss such aspects and introduce a policy framework so to support a FI ecosystem in which V&V activities are controlled and perpetually run so to contribute to the quality and trustworthiness perceived by all the involved stakeholders.
Type de document :
Communication dans un congrès
Liste complète des métadonnées
Contributeur : Guglielmo De Angelis <>
Soumis le : lundi 30 septembre 2013 - 14:35:00
Dernière modification le : mardi 31 juillet 2018 - 16:58:01


  • HAL Id : hal-00867735, version 1



Antonia Bertolino, Guglielmo De Angelis, Andrea Polini. Validation and Verification Policies for Governance of Service Choreographies. WEBIST, Apr 2012, Porto, Portugal. SciTePress, pp.58-70, 2012, 〈〉. 〈hal-00867735〉



Consultations de la notice