A modelling approach to formally represent service
orchestration Online publication date: Fri, 14-Nov-2008
by Corina Popescu, Andrei Lobov, Jose L. Martinez Lastra, Maria De Los Angeles Cavia Soto
International Journal of Computer Aided Engineering and Technology (IJCAET), Vol. 1, No. 1, 2008
Abstract: This paper presents a methodology to formally model service orchestration. The methodology is based on a set of selected flow descriptors, which are expressed in a Petri net derived formalism. The chosen descriptors cover concurrency, synchronisation, multithreading, looping and conditional execution. The modelling of temporal and logical conditions arising in conjunction with looping constructs is dedicated a satellite set of models. The formal definition of the translation procedure for the structured activities of the main set is given. The means of calculating the relationship between the timing constraints of the constructs used to specify the orchestration and the intermediate constraints of the composing services are studied. The paper concludes with a presentation of the industrial demonstrator used in this research and a discussion about the advantages and disadvantages of the presented modelling approach, at verification stage.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Computer Aided Engineering and Technology (IJCAET):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com