XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows
Tóm tắt
In this paper, we present XRL/Woflan. XRL/Woflan is a software tool using state-of-the-art Petri-net analysis techniques for verifying XRL workflows. The workflow language XRL (eXchangeable Routing Language) supports cross-organizational processes. XRL uses XML for the representation of process definitions and Petri nets for its semantics. XRL is instance-based, therefore, 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. XRL/Woflan uses eXtensible Stylesheet Language Transformations (XSLT) to transform XRL specifications to a specific class of Petri nets, and to allow users to design new routing constructs, thus making XRL extensibe. The Petri-net representation is used to determine whether the workflow is correct. If the workflow is not correct, anomalies such as deadlocks and livelocks are reported.
Tài liệu tham khảo
W.M.P. van der Aalst, The application of Petri nets to workflow management, The Journal of Circuits, Systems and Computers 8(1) (1998) 21-66.
W.M.P. van der Aalst, Interorganizational workflows: An approach based on message sequence charts and Petri nets, Systems Analysis-Modelling-Simulation 34(3) (1999) 335-367.
W.M.P. van der Aalst, Loosely coupled interorganizational workflows: Modeling and analyzing work-flows crossing organizational boundaries, Information and Management 37(2) (March 2000) 67-75.
W.M.P. van der Aalst, Process-oriented architectures for electronic commerce and interorganizational workflow, Information Systems 24(8) (2000) 639-671.
W.M.P. van der Aalst and K. Anyanwu, Inheritance of interorganizational workflows to enable business-to-business e-commerce, in: Proceedings of the 2nd International Conference on Telecommunications and Electronic Commerce (ICTEC'99), eds. A. Dognac, E. van Heck, T. Saarinnen et al., Nashville, Tennessee (October 1999) pp. 141-157.
W.M.P. van der Aalst and T. Basten, Inheritance of workflows: An approach to tackling problems related to change, Theoretical Computer Science 270(1-2) (2002) 125-200.
W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski and A.P. Barros, Advanced workflow patterns, in: 7th International Conference on Cooperative Information Systems (CoopIS 2000), eds. O. Etzion and P. Scheuermann, Lecture Notes in Computer Science, Vol. 1901 (Springer, Berlin, 2000) pp. 18-29.
W.M.P. van der Aalst, G. De Michelis and C.A. Ellis, eds., Proceedings of Workflow Management: Net-Based Concepts, Models, Techniques and Tools (WFM'98), Lisbon, Portugal, June 1998 (UNINOVA, Lisbon, 1998).
W.M.P. van der Aalst and A. Kumar, XML based schema definition for support of interorganizational workflow, Information Systems Research 14(1) (2003) 23-46.
W.M.P. van der Aalst, H.M.W. Verbeek and A. Kumar, Verification of XRL: An XML-based workflow language, in: Proceedings of the 6th International Conference on CSCW in Design (CSCWD 2001), eds. W. Shen, Z. Lin, J.-P. Barthès and M. Kamel, London, Ontario, Canada (July 2001) pp. 427-432.
W.M.P. van der Aalst and M. Weske, The P2P approach to interorganizational workflows, in: Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), eds. K.R. Dittrich, A. Geppert and M.C. Norrie, Lecture Notes in Computer Science, Vol. 2068 (Springer, Berlin, 2001) pp. 140-156.
N.R. Adam, V. Atluri and W. Huang, Modeling and analysis of workflows using Petri nets, Journal of Intelligent Information Systems 10(2) (1998) 131-158.
Amazon.com, Inc. Amazon.com, http://www.amazon.com (1999).
Barnes and Noble, bn.com. http://www.bn.com (1999).
R.W.H. Bons, R.M. Lee and R.W. Wagenaar, Designing trustworthy interorganizational trade procedures for open electronic commerce, International Journal of Electronic Commerce 2(3) (1998) 61-83.
T. Bray, J. Paoli, C.M. Sperberg-McQueen and E. Maler, eXtensible Markup Language (XML) 1.0, 2nd edn., http://www.w3.org/TR/REC-xml (2000 <http://www.w3.org/TR/REC-xml (2000>).
C.A. Ellis, Information control nets: A mathematical model of office information flow, in: Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, Colorado (ACM Press, 1979) pp. 225-240.
C.A. Ellis and G.J. Nutt, Modelling and enactment of workflow systems, in: Application and Theory of Petri Nets 1993, ed. M. Ajmone Marsan, Lecture Notes in Computer Science, Vol. 691 (Springer, Berlin, 1993) pp. 1-16.
Enabling Electronic Business with ebXML, White Paper, http://www.ebxml.org/white_papers/ whitepaper.htm.
D. Georgakopoulos, H. Schuster, A. Cichocki and D. Baker, Managing process and service fusion in virtual enterprises, Information Systems 24(6) (1999) 429-456.
P. Grefen, K. Aberer, Y. Hoffner and H. Ludwig, CrossFlow: Cross-organizational workflow management in dynamic virtual enterprises, International Journal of Computer Systems, Science, and Engineering 15(5) (2001) 277-290.
A.H.M. ter Hofstede, M.E. Orlowska and J. Rajapakse, Verification problems in conceptual workflow specifications, Data and Knowledge Engineering 24(3) (1998) 239-256.
S. Jablonski and C. Bussler, Workflow Management: Modeling Concepts, Architecture, and Implementation(International Thomson Computer Press, London, UK, 1996).
M. Jungel, E. Kindler and M. Weber, The Petri Net Markup Language, in: Proceedings of AWPN 2000-7th Workshop Algorithmen und Werkzeuge für Petrinetze, ed. S. Philippi, Research Report 7/2000 (Institute for Computer Science, University of Koblenz, Germany, 2000) pp. 47-52.
E. Kindler, A. Martens and W. Reisig, Inter-operability of workflow applications: Local criteria for global soundness, in: Business Process Management: Models, Techniques, and Empirical Studies, eds. W.M.P. van der Aalst, J. Desel and A. Oberweis, Lecture Notes in Computer Science, Vol. 1806 (Springer, Berlin, 2000) pp. 235-253.
A. Kumar and J.L. Zhao, Workflow support for electronic commerce applications, Decision Support Systems 32(3) (2000) 265-278.
P. Lawrence, ed., Workflow Handbook 1997, Workflow Management Coalition(Wiley, New York, 1997).
A. Lazcano, G. Alonso, H. Schuldt and C. Schuler, The WISE approach to electronic commerce, International Journal of Computer Systems, Science, and Engineering 15(5) (2001) 345-357.
R.M. Lee, Distributed electronic trade scenarios: Representation, design, prototyping, International Journal of Electronic Commerce 3(2) (1999) 105-120.
R.M. Lee and R.W.H. Bons, Soft-coded trade procedures for open-edi, International Journal of Electronic Commerce 1(1) (1996) 27-49.
M. Merz, B. Liberman and W. Lamersdorf, Using mobile agents to support interorganizational workflow-management, International Journal on Applied Artificial Intelligence 11(6) (1997) 551-572.
M. Merz, B. Liberman and W. Lamersdorf, Crossing organisational boundaries with mobile agents in electronic service markets, Integrated Computer-Aided Engineering 6(2) (1999) 91-104.
G. De Michelis, C. Ellis and G. Memmi, eds., Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, Zaragoza, Spain (June 1994).
T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE 77(4) (1989) 541-580.
W. Reisig and G. Rozenberg, eds., Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Vol. 1491 (Springer, Berlin, 1998).
A. Reuter and F. Schwenkreis, Contracts-a low-level mechanism for building general-purpose work-flow management-systems, Data Engineering Bulletin 18(1) (1995) 4-10.
W. Sadiq and M.E. Orlowska, FlowMake Product Information, Distributed Systems Technology Centre, Queensland, Australia. http://www.dstc.edu.au/Research/Projects/FlowMake/productinfo/index. html.
W.Sadiq and M.E. Orlowska,Analyzing process models using graph reduction techniques,Informa-tion Systems 25(2) (2000) 117–134.
H.M.W. Verbeek and W.M.P. van der Aalst, Woflan 2.0: A Petri-net-based workflow diagnosis tool, in: Application and Theory of Petri Nets 2000, eds. M. Nielsen and D. Simpson, Lecture Notes in Computer Science, Vol. 1825 (Springer, Berlin, 2000) pp. 475–484.
H.M.W. Verbeek, T. Basten and W.M.P. van der Aalst, Diagnosing workflow processes using Woflan, The Computer Journal (British Computer Society) 44(4) (2001) 246–279.
Workflow Management Coalition Workflow Standard — Workflow Process Definition Interface — XML Process Definition Language, WFMC-TC-1025, Draft 0.03a (22 May 2001).
Workflow Management Coalition Workflow Standard-Interoperability Wf-XML Binding, WFMCTC-1023, Version 1.1 (14 November 2001).