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 metadatas

Cited literature [7 references]  Display  Hide  Download

https://hal.inria.fr/hal-00700737
Contributor : Diana Allam <>
Submitted on : Wednesday, May 23, 2012 - 5:09:01 PM
Last modification on : Tuesday, August 13, 2019 - 7:36:02 AM
Long-term archiving on : Friday, August 24, 2012 - 2:53:11 AM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00700737, version 1

Citation

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⟩

Share

Metrics

Record views

318

Files downloads

354