Transforming XPDL to Petri nets

Authors:
Haiping Zha;Yun Yang;Jianmin Wang;Lijie Wen
Affiliations:
School of Software, Tsinghua University, Beijing, P.R. China and Key Laboratory for Information System Security, Ministry of Education, P.R. China and Tsinghua National Laboratory for Information ...;Faculty of Information and Communication Technologies, Swinburne University of Technology, Melbourne, Australia;School of Software, Tsinghua University, Beijing, P.R. China and Key Laboratory for Information System Security, Ministry of Education, P.R. China and Tsinghua National Laboratory for Information ...;School of Software, Tsinghua University, Beijing, P.R. China and Key Laboratory for Information System Security, Ministry of Education, P.R. China and Tsinghua National Laboratory for Information ...
Venue:
BPM'07 Proceedings of the 2007 international conference on Business process management
Year:
2007

Citing 5
Cited 2

Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
Web services: a process algebra approach

Proceedings of the 2nd international conference on Service oriented computing
From BPEL4WS to OWL-S: Integrating E-Business Process Descriptions

SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management
The prom framework: a new era in process mining tool support

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

A method of verifying web service composition

Proceedings of the 2010 Symposium on Information and Communication Technology
Verifying workflow processes: a transformation-based approach

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

As a textual specification for process definition, XPDL lacks formal semantics which hinders the formal analysis and verification of business processes. In this paper, we provide a method for translating XPDL processes into Petri nets for the formal analysis of XPDL processes. The algorithm validity has been proved, and has also been verified by experiments on artificial and practical processes.