Computer Science ›› 2009, Vol. 36 ›› Issue (10): 146-149.
Previous Articles Next Articles
LI Jing-xia, YAN Chun-gang
Online:
Published:
Abstract: The development of Web service technology provides us a kind of platform-independent, self-described, localion-transparent software module. Utilizing Web service composition technology, business demand can be met ctuickly and flexibly. As Web service composition becomes more and more complexity, design of composition process became more and more error-prone. We put forward a model for Web service composition description based on extended colored Petri net. This model is independent of any process description languages, supports hierarchical process description and
Key words: Hierarchical colored Petri net, Model driven architecture, Web service composition, Correctness analysis
LI Jing-xia, YAN Chun-gang. Verification Mechanism for Web Service Composition Based on Extended Colored Petri Net[J].Computer Science, 2009, 36(10): 146-149.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I10/146
Cited