Modeling and Analyzing Web Service Behavior with Regular Flow Nets

Authors:
Jingang Xie;Qingping Tan;Guorong Cao
Affiliations:
Computer College of National University of Defense Technology, Changsha, Hunan, P.R. China;Computer College of National University of Defense Technology, Changsha, Hunan, P.R. China;Computer College of National University of Defense Technology, Changsha, Hunan, P.R. China
Venue:
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Year:
2009

Citing 5
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
Automatic composition of transition-based semantic web services with messaging

VLDB '05 Proceedings of the 31st international conference on Very large data bases
YAWL: yet another workflow language

Information Systems
Modeling web services by iterative reformulation of functional and non-functional requirements

ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. To support automated service composition and adaptation, there should be a formal approach for modeling Web service behavior. In this paper we present a novel methodology of modeling and analyzing based on regular flow nets--extended from Petri nets and YAWL. Firstly, we motivate the formal definition of regular flow nets. Secondly, the formalism for dealing with symbolic marking is developed and it is used to define symbolic coverability tree. Finally, an algorithm for generating symbolic coverability tree is presented. Using symbolic coverability tree we can analyze the properties of regular flow nets we concerned. The technology of modeling and analyzing we proposed allows us to deal with cyclic services and data dependence among services.