Transformation BPEL to CP-Nets for Verifying Web Services Composition

Authors:
YanPing Yang;QingPing Tan;JinShan Yu;Feng Liu
Affiliations:
National University of Defense Technology;National University of Defense Technology;National University of Defense Technology;National University of Defense Technology
Venue:
NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
Year:
2005

Citing 0
Cited 6

Verifying web services composition based on hierarchical colored petri nets

Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Modeling and verifying BPEL using synchronized net

Proceedings of the 2008 ACM symposium on Applied computing
CoBTx-Net: A model for business collaboration reliability verification

Information Systems Frontiers
Transformational design of business processes for SOA

CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Model transformation based verification of web services composition

GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Verifying web services composition

ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Business Process Execution Language (BPEL) is a promising language describing the Web services composition in form of business processes, but lack of a sound formal semantic, which hinders the formal analysis and verification of business processes specified in it. This paper presents the transformation of BPEL to Colored Petri nets (CP-nets) in a constructive way. Therefore we can translate composition specified in BPEL into CP-nets, which can be analyzed and verified by many specialized tools. So we make tool support available for verifying BPEL composition.