TY - GEN
T1 - Verification of XRL
T2 - Proceedings of the Sixth Conference on Computer Supported Cooperative Work in Design
AU - Van der Aalst, W. M.P.
AU - Verbeek, H. M.W.
AU - Kumar, A.
PY - 2002
Y1 - 2002
N2 - XRL (eXchangeable Routing Language) is an instance-based workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL is instance-based, workflow definitions can be changed on the fly and sent across organizational boundaries. These features are vital for today's dynamic and networked economy. However, the features also enable subtle, but highly disruptive, cross-organizational errors. On-the-fly changes and one-of-a-kind processes are destined to result in errors. Moreover, errors of a cross-organizational nature are difficult to repair. In this paper, we show soundness properties of XRL constructs by using a novel, constructive approach. We also describe a software tool based on XML and Petri-net technologies for verifying XRL workflows.
AB - XRL (eXchangeable Routing Language) is an instance-based workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL is instance-based, workflow definitions can be changed on the fly and sent across organizational boundaries. These features are vital for today's dynamic and networked economy. However, the features also enable subtle, but highly disruptive, cross-organizational errors. On-the-fly changes and one-of-a-kind processes are destined to result in errors. Moreover, errors of a cross-organizational nature are difficult to repair. In this paper, we show soundness properties of XRL constructs by using a novel, constructive approach. We also describe a software tool based on XML and Petri-net technologies for verifying XRL workflows.
UR - http://www.scopus.com/inward/record.url?scp=0036990070&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0036990070&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:0036990070
SN - 0660184931
T3 - Proceedings of the International Conference on Computer Supported Cooperative Work in Design
SP - 427
EP - 432
BT - Proceedings of the International Conference on Computer Supported Cooperative Work in Design
A2 - Shen, W.
A2 - Lin, Z.
A2 - Barthes, J.-P.
A2 - Kamel, M.
A2 - Shen, W.
A2 - Lin, Z.
A2 - Barthes, J.-P.
A2 - Kamel, M.
Y2 - 12 July 2001 through 14 July 2001
ER -