Title: A modelling approach to formally represent service orchestration

Authors: Corina Popescu, Andrei Lobov, Jose L. Martinez Lastra, Maria De Los Angeles Cavia Soto

Addresses: Korkeakoulunkatu 6, BOX 589, 33101, Tampere, Finland. ' Korkeakoulunkatu 6, BOX 589, 33101, Tampere, Finland. ' Korkeakoulunkatu 6, BOX 589, 33101, Tampere, Finland. ' Avda. de los Castros, s/n 39005 Santander, Spain

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.

Keywords: service oriented architecture; SOA; web composition language; service orchestration; modelling; Petri nets; automation; flow descriptors; concurrency; synchronisation; multithreading; looping; conditional execution.

DOI: 10.1504/IJCAET.2008.021253

International Journal of Computer Aided Engineering and Technology, 2008 Vol.1 No.1, pp.1 - 30

Published online: 14 Nov 2008 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article