WS-Net: A Petri-net Based Specification Model for Web Services

Authors:
Jia Zhang;Jen-Yao Chung;Carl K. Chang;Seong W. Kim
Affiliations:
Northern Illinois University, DeKalb, IL;IBM T.J. Watson Research, Yorktown Heights, New York;Iowa State University, Ames, IA;Samsung Advanced Institute of Technology, Korea
Venue:
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Year:
2004

Citing 0
Cited 15

Web service interfaces

WWW '05 Proceedings of the 14th international conference on World Wide Web
Efficient and adaptive discovery techniques of Web Services handling large data sets

Journal of Systems and Software
Web services choreography and orchestration in Reo and constraint automata

Proceedings of the 2007 ACM symposium on Applied computing
A framework for web science

Foundations and Trends in Web Science
A Survey of Formal Verification for Business Process Modeling

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
A modelling approach to service-oriented architecture

Enterprise Information Systems
Design and Analysis of the Composed Telecom Services

Service-Oriented Computing - ICSOC 2007 Workshops
Negotiating and Enforcing QoS and SLAs in Grid and Cloud Computing

GPC '09 Proceedings of the 4th International Conference on Advances in Grid and Pervasive Computing
A structural verification of web services composition compatibility

Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
SEPL--a domain-specific language and execution environment for protocols of stateful Web services

Distributed and Parallel Databases
Contemporary web service discovery mechanisms

Journal of Web Engineering
Designing service-based applications: teaching the old dogs new tricks ...or is it the other way around?

CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Automatic code generation for the orchestration of web services with reo

ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs

International Journal of Web Services Research
Message choreography modeling

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The emerging paradigm of web services opens a newway of web application design and development toquickly develop and deploy web applications byintegrating independently published web servicescomponents to conduct new business transactions. Asresearch aiming at facilitating web services integrationand verification, WS-Net is an executable architecturaldescription language incorporating the semantics ofColored Petri-net with the style and understandability ofobject-oriented concepts. WS-Net describes each webservices component in three layers: interface net declaresthe services that the component provides to othercomponents; interconnection net specifies the servicesthat the component acquires to accomplish its mission;and interoperation net describes the internal operationalbehaviors of the component. As an architectural modelthat formalizes the architectural topology and behaviorsof each web services component as well as the entiresystem, WS-Net facilitates the verification and monitoringof web services integration.