An Extended Colored Petri Net based Model for Web Service Composition

Author

Li, Jingxia ; Zhao, Huijuan

Author_Institution

Dept. of Comput. Sci. & Eng., Tongji Univ., Shanghai, China

fYear

2010

fDate

10-12 Aug. 2010

Firstpage

155

Lastpage

159

Abstract

Along with web service composition becomes more and more complexity, design of composition process becomes more and more error-prone. In this article we put forward a WSC_ECPN model for web service composition description based on extended colored Petri net. This model is independent of any concrete process description languages, supports process description and can describe composition process more comprehensively. Moreover, we present methods to analyze control flow correctness, data flow correctness and process instance correctness of the composition process, thus we can insure process correctness from these three levels. It the end we give an example to illustrate the application of WSC_ECPN model.

Keywords

Petri nets; Web services; data flow analysis; WSC_ECPN; Web service composition; control flow correctness; data flow correctness; extended colored Petri net based model; process instance correctness; Analytical models; Barium; Business; Concrete; Data models; Process control; Web services; colored Petri net; correctness analysis; model driven architecture; web service compositio;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing and Applications to Business Engineering and Science (DCABES), 2010 Ninth International Symposium on

Conference_Location

Hong Kong

Print_ISBN

978-1-4244-7539-1

Type

conf

DOI

10.1109/DCABES.2010.36

Filename

5572181