Model transformation based verification of web services composition

Authors:
YanPing Yang;QingPing Tan;Yong Xiao
Affiliations:
School of Computer Science, National University of Defense Technology, Changsha, P.R. China;School of Computer Science, National University of Defense Technology, Changsha, P.R. China;National Lab of Parallel Distributed Processing, Changsha, P.R. China
Venue:
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Year:
2005

Citing 10
Cited 0

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1

Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Model Checking of Workflow Schemas

EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
The Use of Information Capacity in Schema Integration and Translation

VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Model Checking Programs

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Verification of Web Service Flows with Model-Checking Techniques

CW '02 Proceedings of the First International Symposium on Cyber Worlds (CW'02)
Analysis and simulation of Web services

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Verifying web services composition based on hierarchical colored petri nets

Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Transformation BPEL to CP-Nets for Verifying Web Services Composition

NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current Web services composition proposals, such as BPEL, BPSS, BPMN and WSCI, provide notations for describing the control and message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in the proposed notations. In this paper, we present to analyze and verify Web services composition by using CP-nets. CP-nets combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. These services composition proposals can be transformed by model transformation rules into CP-nets, which can be used to analyze the performance and to investigate behavioral properties by CP-nets specialized tools.