Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Guglielmo De Angelis Connect in order to contact the contributor
Submitted on : Monday, September 30, 2013 - 2:35:00 PM
Last modification on : Tuesday, October 13, 2020 - 5:22:02 PM


  • 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. pp.58-70. ⟨hal-00867735⟩



Record views