The Synthesis Problem for Trusted Service-based Collaborations

Diana Allam 1, 2 Rémi Douence 2 Hervé Grall 1, 2 Jean-Claude Royer 1, 2 Mario Südholt 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 ar- chitectures. 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. Since a service- oriented application typically spans a number of different organisations, its execution is subject to stringent requirements at two levels : business and security. At each level, the requirements could be implemen- ted by a centralised control maintaining the correct interactions. But this solution is not realistic. Indeed, whereas each partner develops its own services, the whole application results from the collaboration of all the services in a truly concurrent way, without any centralised control. Thus, the partners involved gene- rally define a contract at the global level in order to enforce interaction policies, dealing with business and security functionalities. By the contract, they increase their mutual trust. From the contract, each partner deduces by projection a specification of the functionalities that it must locally implement. Of course, all these projections must ensure that the local functionalities, once gathered, effectively collaborate to realise the global contract. For each partner, it remains to realise the projection, by a local implementation.
Type de document :
Communication dans un congrès
Actes des troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00700750
Contributeur : Diana Allam <>
Soumis le : jeudi 24 mai 2012 - 10:49:33
Dernière modification le : vendredi 22 juin 2018 - 09:34:12

Identifiants

  • HAL Id : hal-00700750, version 1

Citation

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations. Actes des troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France. 2011. 〈hal-00700750〉

Partager

Métriques

Consultations de la notice

439