A Formal Approach for the Validation of Web Service Orchestrations
International Journal of Web Portals
| Hi-index | 0.00 |
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.