| Autor: |
Zhang, Zhao-li, Hong, Fan, Xiao, Hai-jun |
| Zdroj: |
Journal of Shanghai University; Aug2008, Vol. 12 Issue 4, p323-329, 7p |
| Abstrakt: |
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. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink