Title :
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
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;
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
DOI :
10.1109/IEEM.2007.4419515
