%0 Journal Article %T Web Service Automatic Composition Model Based on Colored Petri Nets %A Kai Nie %A Houxiang Wang %A Xiaopei Jing %A Zhihao Xie %J Communications and Network %P 101-105 %@ 1947-3826 %D 2013 %I Scientific Research Publishing %R 10.4236/cn.2013.51B023 %X 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. %K Web Service %K Colored Petri Net (CPN) %K Web Service Composition %K WS-BPEL %U http://www.scirp.org/journal/PaperInformation.aspx?PaperID=39140