Verification of XRL: An XML-based workflow language

被引：4

作者：

van der Aalst, WMP ^{[1
]}

Verbeek, HMW ^{[1
]}

Kumar, A ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Fac Technol & Management, NL-5600 MB Eindhoven, Netherlands

来源：

PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN | 2001年

关键词：

D O I：

10.1109/CSCWD.2001.942298

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：427 / 432

页数：6

共 50 条

[31] NetPDL: An extensible XML-based language for packet header description
Risso, F
Baldi, M
[J]. COMPUTER NETWORKS, 2006, 50 (05) : 688 - 706
[32] XML-based video annotation system for language learning environment
Hada, Y
Ogata, H
Yano, Y
[J]. SECOND INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING, VOL I, PROCEEDINGS, 2002, : 102 - 111
[33] An XML-based language for access control specifications in an RBAC environment
Stoupa, KE
Vakali, AI
[J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1717 - 1722
[34] X-TNL:: An XML-based language for trust negotiations
Bertino, E
Ferrari, E
Squicciarini, A
[J]. IEEE 4TH INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2003, : 81 - 84
[35] XML-based composite event model and its subscription language
Xu, Gang
Ma, Jian-Gang
Huang, Tao
[J]. Jisuanji Xuebao/Chinese Journal of Computers, 2007, 30 (01): : 81 - 90
[36] Ontology-supported and XML-based knowledge description language
Wang Xianghua
[J]. Journal of Systems Engineering and Electronics, 2004, (02) : 197 - 204
[37] XML-based programming
Pelegri-Llopart, E
[J]. DR DOBBS JOURNAL, 2003, 28 (06): : 10 - 10
[38] An XML-based language for the Research & Development pipeline management problem
Varma, VA
Pekny, JF
Reklaitis, GV
Subramanian, D
[J]. COMPUTERS & CHEMICAL ENGINEERING, 2003, 27 (10) : 1361 - 1379
[39] A highly-extensible, XML-based architecture description language
Dashofy, EM
van der Hoek, A
Taylor, RN
[J]. WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2001, : 103 - 112
[40] XML-based representation
Kelsey, RL
[J]. IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 1254 - 1258

← 1 2 3 4 5 →