The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Petri Net-Based Specification Model Towards Verifiable Service Computing
|
|
Author(s): Jia Zhang (Northern Illinois University, USA), Carl K. Chang (Iowa State University, USA)and Seong W. Kim (Samsung Advanced Institute of Technology, Korea)
Copyright: 2007
Pages: 37
Source title:
Enterprise Service Computing: From Concept to Deployment
Source Author(s)/Editor(s): Robin Qiu (The Pennsylvania State University, USA)
DOI: 10.4018/978-1-59904-180-3.ch012
Purchase
|
Abstract
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: the 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 and understandability of the object-oriented concept and Web-services concept. As an architectural model that formalizes the architectural topology and behaviors of each Web-service component as well as the entire system, WS-Net facilitates the simulation, verification, and automated composition of Web services.
Related Content
|
Margee Hume, Paul Johnston.
© 2017.
19 pages.
|
|
Jessy Nair, D. Bhanu Sree Reddy.
© 2017.
27 pages.
|
|
Joseph R. Muscatello, Diane H. Parente, Matthew Swinarski.
© 2017.
19 pages.
|
|
Klaus Wölfel.
© 2017.
33 pages.
|
|
Rui Pedro Marques.
© 2017.
21 pages.
|
|
Ebru E. Saygili, Arikan Tarik Saygili.
© 2017.
17 pages.
|
|
Aparna Raman, D. P. Goyal.
© 2017.
41 pages.
|
|
|