Modeling and verifying web service composition using colored petri nets based on WSCI

Author

Deng, Xinguo ; Lin, Ziyu ; Cheng, Weiqing ; Xiao, Ruliang ; Li, Ling ; Fang, Lina

Author_Institution

Wuhan Univ., Wuhan

fYear

2007

fDate

2-4 Dec. 2007

Firstpage

1863

Lastpage

1867

Abstract

Current Web services composition proposals, such as Web Service Choreography Interface (WSCI), provide no mechanisms or tool support for the verification of service composition in the design, when describing the control and message flows in service collaboration. For solving this problem, this paper presents an approach for transforming the composition language WSCI into colored Petri nets (CPNs) so as to effectively verify the model with existing CPNs-specialized tools. The colored Petri nets model of a typical use case "Plan and Book Trip" is then constructed, analyzed, verified and simulated as prototypes of WSCI models with the CPNs tools.

Keywords

Petri nets; Web services; Web service choreography interface; Web services composition; colored Petri nets; composition language; plan and book trip; service collaboration; service composition verification; Algebra; Analytical models; Books; Engineering management; Financial management; Information management; Petri nets; Software engineering; Virtual prototyping; Web services; Web Service Choreography Interface (WSCI); Web services; colored Petri nets (CPNs); composition; modeling; verifying;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Engineering and Engineering Management, 2007 IEEE International Conference on

Conference_Location

Singapore

Print_ISBN

978-1-4244-1529-8

Electronic_ISBN

978-1-4244-1529-8

Type

conf

DOI

10.1109/IEEM.2007.4419515

Filename

4419515