SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition

Authors:
Yu Tang;Luo Chen;Kai-Tao He;Ning Jing
Affiliations:
National University of Defense Technology, Changsha, P.R.China;National University of Defense Technology, Changsha, P.R.China;China Geological Survey, Beijing, P.R. China;National University of Defense Technology, Changsha, P.R.China
Venue:
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Year:
2004

Citing 0
Cited 8

An incremental analysis for resource conflicts to workflow specifications

Journal of Systems and Software
Modeling and analysis for grid service cooperative scheduling based on Petri nets

CDVE'07 Proceedings of the 4th international conference on Cooperative design, visualization, and engineering
Analytical quality assurance

Service research challenges and solutions for the future internet
An ECA-Rule-Based workflow management approach for web services composition

GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
A web service composition modeling and evaluation method used petri net

APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Web service composition: an approach using effect-based reasoning

ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Specifying and Composing Web Services with an Environment Ontology-Based Approach

International Journal of Web Services Research
Model-Driven Approaches to Service Composition

International Journal of Adaptive, Resilient and Autonomic Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The emergence of Web services has led to moreinterest into Web service composition, which is anactive area of research. The formidable problem ofefficient and effective composition of existing Webservices is the subject of much current attention. Thestudy of workflow model is one of the most importantparts and a key layer of Web service composition. Theexisting approaches have difficulties in modelingdynamic and complex service composition process, sowe propose a novel workflow model namedService/Resource Net (SRN) for Web servicecomposition, which is an extended Petri-net-basedmodel with some new elements, such as time, resourcetaxonomy, condition, etc. To establish formal conceptsystem of Web service taxonomy in SRN, we presentWeb service semigroup based on group theory.Moreover, meta-service is proposed based on thedefinition of generating element in cyclic monoid. Asthe supplement of traditional analysis methods of basicPetri net, some new methods based on graph theoryare presented for SRN analyzing and evaluating. Forsystem and methodology validation purpose, SRN isapplied to a case study in our research project.