Governance Policies for Verification and Validation 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 read ily 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 :
Book sections
Liste complète des métadonnées

https://hal.inria.fr/hal-00867679
Contributor : Guglielmo de Angelis <>
Submitted on : Monday, September 30, 2013 - 1:28:30 PM
Last modification on : Tuesday, July 31, 2018 - 4:58:01 PM

Identifiers

Collections

Citation

Antonia Bertolino, Guglielmo de Angelis, Andrea Polini. Governance Policies for Verification and Validation of Service Choreographies .. Cordeiro, J. and Krempels, K.H. Web Information Systems and Technologies (Selected Papers), 140, Springer, pp.86-102, 2013, LNBIP, 978-3-642-36607-9. ⟨10.1007/978-3-642-36608-6_6⟩. ⟨hal-00867679⟩

Share

Metrics

Record views

52