上海大学学报（英文版）
上海大學學報（英文版）
상해대학학보（영문판）
JOURNAL OF SHANGHAI UNIVERSITY (ENGLISH EDITION)
2008年
4期
323-329
,共7页
张昭理%洪帆%XIAO Hai-jun
張昭理%洪帆%XIAO Hai-jun
장소리%홍범%XIAO Hai-jun
web service%colored Petri net (CPN)%web service composition%model
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN.
