Position paper: An integration approach of service composition models: from choreography to orchestrationReportar como inadecuado




Position paper: An integration approach of service composition models: from choreography to orchestration - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.





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

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



DESCARGAR PDF




Documentos relacionados