Verification of XRL: An XML-based workflow language

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

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 languageEnglish (US)
Title of host publicationProceedings of the International Conference on Computer Supported Cooperative Work in Design
EditorsW. Shen, Z. Lin, J.-P. Barthes, M. Kamel, W. Shen, Z. Lin, J.-P. Barthes, M. Kamel
Pages427-432
Number of pages6
StatePublished - 2002
EventProceedings of the Sixth Conference on Computer Supported Cooperative Work in Design - London, Ont., Canada
Duration: Jul 12 2001Jul 14 2001

Other

OtherProceedings of the Sixth Conference on Computer Supported Cooperative Work in Design
CountryCanada
CityLondon, Ont.
Period7/12/017/14/01

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Cite this

Van der Aalst, W. M. P., Verbeek, H. M. W., & Kumar, A. (2002). 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.), Proceedings of the International Conference on Computer Supported Cooperative Work in Design (pp. 427-432)