Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
A Petri Net-Based Specification Model Towards Verifiable Services Computing, Jia Zhang, Carl K. Chang, Seong W. Kim
A Petri Net-Based Specification Model Towards Verifiable Services Computing, Jia Zhang, Carl K. Chang, Seong W. Kim
Jia Zhang
The emerging paradigm of Web services opens a new way of engineering enterprise Web applications via rapidly developing and deploying Web applications, by composing independently published Web service components to conduct new business transactions. However, how to formally validate and reason about the properties of an enterprise system composed of Web service components remains a challenge. This chapter introduces an advanced topic of enterprise service computing – formal verification and validation of enterprise Web services. The authors introduce a Web Services Net (WS-Net), which is an executable architectural description language incorporating the semantics of Colored Petri Nets with the style …