Skip to Main content Skip to Navigation
New interface
Conference papers

Towards a Unified Formal Model for Service Orchestration and Choreography

Diana Allam 1, 2 Hervé Grall 1, 2 Jean-Claude Royer 1, 2 
2 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : The growth of Internet has extended the scope of software applications, leading to network-based architectures. The main characteristic of these architectures is that they restrict the communication between remote components to message passing. Service-oriented computing is a solution to organise the exchange of messages in a network-based architecture, by using services as primitive components. Thus, each component can be a client, a server or both. Since a service-oriented application typically spans a number of different organizations, its executions is subject to stringent security requirements. That is the reason why the partners involved generally define a contract at the global level in order to enforce some security policy. From the contract, each partner deduces by projection a specification of the security functionalities that it must locally implement. Of course, in order to be useful, all these projections must ensure that the local functionalities effectively collaborate to realize the global contract.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Diana Allam Connect in order to contact the contributor
Submitted on : Wednesday, May 23, 2012 - 5:09:01 PM
Last modification on : Wednesday, April 27, 2022 - 4:10:28 AM
Long-term archiving on: : Friday, August 24, 2012 - 2:53:11 AM


Files produced by the author(s)


  • HAL Id : hal-00700737, version 1


Diana Allam, Hervé Grall, Jean-Claude Royer. Towards a Unified Formal Model for Service Orchestration and Choreography. Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France. ⟨hal-00700737⟩



Record views


Files downloads