Article citationsMore>>

H. Kang, X. Yang and S. Yuan, “Modeling and Verification of Web Services Composition based on CPN,” in 2007 IFIP International Conference on Network and Parallel Computing-Workshops, IEEE Computer Society Press, 2007, pp. 613-617.

has been cited by the following article:

• TITLE: Web Service Automatic Composition Model Based on Colored Petri Nets

  AUTHORS: Kai Nie, Houxiang Wang, Xiaopei Jing, Zhihao Xie

  KEYWORDS: Web Service; Colored Petri Net (CPN); Web Service Composition; WS-BPEL

  JOURNAL NAME: Communications and Network, Vol.5 No.1B, November 7, 2013

  ABSTRACT: As the capability of an individual Web service is limited, it’s necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing web services together. A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite constructs in the model are sequence, concurrent, choice and loop. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Finally modeling composite processes of Web services based on CPN is applied to a case of naval vessel command and control system.