Position paper: An integration approach of service composition models: from choreography to orchestrationReport as inadecuate




Position paper: An integration approach of service composition models: from choreography to orchestration - Download this document for free, or read online. Document in PDF available to download.

1 REDCAD - Unité de Recherche en développement et contrôle d-applications distribuées 2 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés LAAS - Laboratoire d-analyse et d-architecture des systèmes Toulouse

Abstract : This paper introduces an approach addressing the transition from choreography to orchestration. As far as validation method is achieved through the use of model-checker. We are interested in various levels of transformations. Initially, the process of transformation is based on a set of heterogeneous business protocols. This unit will consequently provide a choreography as result, which unifies them. Then, this choreography will be transformed into an orchestration. Thus, coherence between choreography and orchestration must be checked while showing the relation of conformity between these two different composition models. Indeed, this passage is accompanied by a verification phase. A set of properties will be preserved, the ones, which refer to the choreography and others, which are relative to those checked by the orchestration. Towards the end of this process, and in order to validate the transformation, we must check the maintained properties. This checking will be illustrated by the use of the model-checker, which depends on the properties.





Author: Sirine Rebai - Hatem Hadj Kacem - Ahmed Hadj Kacem - Nawal Guermouche -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents