Abstract:An application system for enterprises is a composite Web service that consists of a collection of Web services related by data and control flow. It's necessary to get formalizing and modeling techniques and graphic tools for reliable Web Service and its application construction. In this paper we present the formalization of Web services and the algorithm for constructing composition. Firstly, we propose a dynamic timed colored Petri net (DTCPN) to model and analyze a Web service. In this Petri net, the colors including parameters and user's QoS (Quality of Service) requirements represent data flow. The time delay of transition is a function of colors in input place instead of time constant, which shows the dynamic property of Web service. The DTCPN allows the modeling of dynamic behavior of large and complex systems. Secondly, we give an algorithm for constructing composition of DTCPN model for an application composed of Web services. In order to reduce the complexity of model and the state explosion problem in reachability analysis of Petri nets, we give a reduction algorithm of DTCPN for four basic structures of the Web service composition. Finally, we discuss the correctness and time and cost performance of the Web service composition by reducing DTCPN model and analyzing the reachable service graph.

Extended hierarchical color petri net-based test ease generation for composite services

GENERATING TEST CASES OF COMPOSITE SERVICES BASED ON OWL-S AND EH-CPN

Test Case Generation of Web Service Composition: an Approach Based on the Color Petri Net

Test Case Generation for Bpel-Based Web Service Composition Using Colored Petri Nets

Ontology-Based Test Case Generation for Testing Web Services

Petri net based web service interactive behavior compatibility analysis

Verifying web services composition based on hierarchical colored petri nets.

Hierarchical Colored Petri Nets Based Modeling and Analyzing for Web Service Composition

Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification

Hierarchical Colored Petri Net Description Model for Web Service Composition

Test Case Generation Method Based on Colored Petri Net for Train Control System.

Colored Petri Net-Based Service Composition Modeling and Verification

Hierarchical Models of Web Service Composition

An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.

Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow

Models of Web Services Composition Based Oil Timed Color Petri Nets

Application of Extended Colored Petri Net in Model for Web Service Composition

A Colored Petri Nets Model Based Cloud Test Generation Approach and Implementation System

Composition And Reduction Of Web Service Based On Dynamic Timed Colored Petri Nets

Automated GUI Test Case Generation Technology Based on Coloured Petri Nets Model

Web Service Composition and Analysis: A Petri-net Based Approach