Formal Description and Verification of Web Service Composition Based on OOPN

Authors:
Jindian Su;Shanshan Yu;Heqing Guo
Affiliations:
College of Computer Science and Enginerring, South China University of Technology, Guangzhou, China 510006;School of Information and Technology, Computer Sciecent, Sun Yat-sen Unversity, Guangzhou, China 510275;College of Computer Science and Enginerring, South China University of Technology, Guangzhou, China 510006
Venue:
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Year:
2008

Citing 6
Cited 0

PROTOB: an object oriented methodology for developing discrete event dynamic systems

Computer Languages
OPNets: an object-oriented high-level Petri net model for real-time system modeling

Journal of Systems and Software - Special issue on object-orientation
A Formal Specification Framework for Object-Oriented Distributed Systems

IEEE Transactions on Software Engineering
Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs

Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Abstract Node Method for Integration of Object Oriented Design with Colored Petri Nets

ITNG '06 Proceedings of the Third International Conference on Information Technology: New Generations
An Object-Oriented Modular Petri Nets for Modeling Service Oriented Applications

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02

Quantified Score

Hi-index	0.00

Visualization

Abstract

To overcome the shortcomings of unable to demonstrate the characteristics of encapsulation, reusability and message-driven when using Petri nets to model Web service composition, this paper proposes object oriented Petri nets (OOPN) as the formal description and verification tool for Web service composition. Some basic concepts of OOPN, including class net, inheritance, object net and object net system, are given in the paper respectively and the mechanisms of "Gate" and "Port" are used to describe message transfer and synchronization relationships among objects. The OOPN expressions of various basic control flow structure and message synchronization relationships of Web service composition are also stated. Finally, we give a case study to show that our proposed method can more naturally and accurately demonstrate the encapsulation and message-driven characteristics of Web services.