loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007)
Modeling Web Service Choreography and Orchestration with Colored Petri Nets
Haier International Training Center, Qingdao, China
July 30-August 01
ISBN: 0-7695-2909-7
Xinguo Deng, Wuhan University, China
Ziyu Lin, Wuhan University, China
Weiqing Cheng, Wuhan University, China
Ruliang Xiao, Wuhan University, China; Hunan Finance & Economics College, China
Lina Fang, Wuhan University, China
Ling Li, Wuhan University, China
The Web Service Choreography Interface (WSCI) describes the observable behavior of a Web Service and the collective message exchange among interacting Web Services. However, WSCI does not address the definition and the implementation of the internal processes that actually drive the message exchange. In order to describe and compose a global view of the dynamic of the message exchange by understanding the interactions with the web service, this paper presents the process and result of modeling web service choreography and orchestration with colored Petri nets (CPNs) on the basis of analysis, simplicity and composition of WSCI. The colored Petri nets model of a typical use case "Plan and Book Trip" is constructed, whose correctness is validated by the simulation analysis of Message Sequence Chart (MSC).
Citation:
Xinguo Deng, Ziyu Lin, Weiqing Cheng, Ruliang Xiao, Lina Fang, Ling Li, "Modeling Web Service Choreography and Orchestration with Colored Petri Nets," snpd, vol. 2, pp.838-843, Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.