Verification of XRL: An XML-based workflow language

W. M.P. Van der Aalst; H. M.W. Verbeek; A. Kumar

doi:10.1109/CSCWD.2001.942298

Verification of XRL: An XML-based workflow language

W. M.P. Van der Aalst, H. M.W. Verbeek, A. Kumar

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

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.

Original language	English
Title of host publication	Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001
Editors	W. Shen, Z. Lin, J.-P. Barthes, M. Kamel, W. Shen, Z. Lin, J.-P. Barthes, M. Kamel
Place of Publication	Ottawa, Canada
Publisher	NRC Research Press
Pages	427-432
Number of pages	6
ISBN (Print)	0660184931
DOIs	https://doi.org/10.1109/CSCWD.2001.942298
Publication status	Published - 2001
Event	6th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2001) - London, Canada Duration: 12 Jul 2001 → 14 Jul 2001 Conference number: 6

Conference

Conference	6th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2001)
Abbreviated title	CSCWD 2001
Country/Territory	Canada
City	London
Period	12/07/01 → 14/07/01

Access to Document

10.1109/CSCWD.2001.942298

Cite this

Van der Aalst, W. M. P., Verbeek, H. M. W., & Kumar, A. (2001). Verification of XRL: An XML-based workflow language. In W. Shen, Z. Lin, J.-P. Barthes, M. Kamel, W. Shen, Z. Lin, J.-P. Barthes, & M. Kamel (Eds.), Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001 (pp. 427-432). NRC Research Press. https://doi.org/10.1109/CSCWD.2001.942298

@inproceedings{c8a327264d2d4800b6765addd7a49e25,

title = "Verification of XRL: An XML-based workflow language",

abstract = "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.",

author = "{Van der Aalst}, {W. M.P.} and Verbeek, {H. M.W.} and A. Kumar",

year = "2001",

doi = "10.1109/CSCWD.2001.942298",

language = "English",

isbn = "0660184931",

pages = "427--432",

editor = "W. Shen and Z. Lin and J.-P. Barthes and M. Kamel and W. Shen and Z. Lin and J.-P. Barthes and M. Kamel",

booktitle = "Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001",

publisher = "NRC Research Press",

note = "6th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2001), CSCWD 2001 ; Conference date: 12-07-2001 Through 14-07-2001",

}

Van der Aalst, WMP, Verbeek, HMW & Kumar, A 2001, Verification of XRL: An XML-based workflow language. in W Shen, Z Lin, J-P Barthes, M Kamel, W Shen, Z Lin, J-P Barthes & M Kamel (eds), Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001. NRC Research Press, Ottawa, Canada, pp. 427-432, 6th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2001), London, Canada, 12/07/01. https://doi.org/10.1109/CSCWD.2001.942298

Verification of XRL: An XML-based workflow language. / Van der Aalst, W. M.P.; Verbeek, H. M.W.; Kumar, A.
Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001. ed. / W. Shen; Z. Lin; J.-P. Barthes; M. Kamel; W. Shen; Z. Lin; J.-P. Barthes; M. Kamel. Ottawa, Canada: NRC Research Press, 2001. p. 427-432.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Verification of XRL

T2 - 6th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2001)

AU - Van der Aalst, W. M.P.

AU - Verbeek, H. M.W.

AU - Kumar, A.

N1 - Conference code: 6

PY - 2001

Y1 - 2001

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

U2 - 10.1109/CSCWD.2001.942298

DO - 10.1109/CSCWD.2001.942298

M3 - Conference contribution

SN - 0660184931

SP - 427

EP - 432

BT - Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001

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.

PB - NRC Research Press

CY - Ottawa, Canada

Y2 - 12 July 2001 through 14 July 2001

ER -

Verification of XRL: An XML-based workflow language

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this