By Topic

WS-Net: a Petri-net based specification model for Web services

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Jia Zhang ; Dept. of Comput. Sci., Northern Illinois Univ., DeKalb, IL, USA ; C. K. Chang ; Jen-Yao Chung ; S. W. Kim

The emerging paradigm of Web services opens a new way of Web application design and development to quickly develop and deploy Web applications by integrating independently published Web services components to conduct new business transactions. As research aiming at facilitating Web services integration and verification, WS-Net is an executable architectural description language incorporating the semantics of colored Petri-net with the style and understandability of object-oriented concepts. WS-Net describes each Web services component in three layers: interface net declares the services that the component provides to other components; interconnection net specifies the services that the component acquires to accomplish its mission; and interoperation net describes the internal operational behaviors of the component. As an architectural model that formalizes the architectural topology and behaviors of each Web services component as well as the entire system, WS-Net facilitates the verification and monitoring of Web services integration.

Published in:

Web Services, 2004. Proceedings. IEEE International Conference on

Date of Conference:

6-9 July 2004