Abstract
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XRL/flower uses XML technology and is implemented in Java on top of the Petri-net Kernel PNK. Standard XML tools can be deployed to parse, check, and handle XRL documents. The XRL enactment application is complemented with a Web server, allowing actors to interact with the system through the internet. A database allows the enactment engine and the Web server to exchange information with each other. Since XRL is instance based, a modelled workflow serves as a template that needs to be copied and may be possibly refined for enactment. For that purpose XRL constructs are automatically translated into Petri-net constructs. As a result, the system is easy to extend: For supporting a new control flow primitive, the engine itself does not need to change. Furthermore, the Petri net representation can be analyzed using state-of-the-art analysis techniques and tools.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
van der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven (1996)
van der Aalst, W.M.P.: The Application of Petri Nets toWorkflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns Home Page, http://www.tm.tue.nl/it/research/patterns/
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Advanced Workflow Patterns. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 18–29. Springer, Heidelberg (2000)
van der Aalst, W.M.P., Kumar, A.: Xml based schema definition for support of interorganizational workflow. Information Systems Research 14(1), 23–47 (2003)
van der Aalst, W.M.P., Verbeek, H.M.W., Kumar, A.: XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award). In: Altinkemer, K., Chari, K. (eds.) Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST 2001), pp. 30–45. Informs, Linthicum (2001)
BEA Systems, Intalio, SAP AG , Sun Microsystems. Web Service Choreography Interface (WSCI) 1.0 Specification (2003), http://wwws.sun.com/software/xml/developers/wsci/
Berglund, A., Boag, S., Chamberlin, D., et al.: XML Path Language (XPath) 2.0 (2003), http://www.w3.org/TR/2003/WD-xpath20-20030822
BPML.org. Business Process Modeling Language (BPML) version 1.0. (2003), Accessed August 2003 from www.bpmi.org
Workflow Management Coalition. XML Process Definition Language (2002), http://www.wfmc.org/standards/docs/TC-1025_10_xpdl_102502.pdf
Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web-Services (2003), http://www-106.ibm.com/developerworks/library/ws-bpel/
IBM. Web Service Flow Language (WSFL) 1.0 Specification (2003), http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf
Kiepuszewski, B.: Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia (2002)
Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of Control Flow in Workflows. Acta Informatica 39(3), 143–209 (2003)
Kindler, E., Billington, J., Christensen, S., et al.: The petri net markup language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)
Kindler, E., Weber, M., et al.: Petri Net Kernel (PNK) Home Page (2003), http://www.informatik.hu-berlin.de/top/pnk/
Kindler, E., Weber, M., et al.: Petri Net Markup Language (PNML) Home Page (2003), http://www.informatik.hu-berlin.de/top/pnml/
Kindler, E., Weber, M.: The petri net kernel - an infrastructure for building petri net tools. International Journal on Software Tools for Technology Transfer 3(4), 486–497 (2001)
Norta, A.: XRL Home Page, http://www.tm.tue.nl/it/research/xrl/
Norta, A.: XRL/flower Home Page, http://www.tm.tue.nl/it/research/xrl/flower
Thatte, S.: XLANG: Web Service for Business Process Design (2003)
Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan Home Page, Eindhoven University of Technology, Eindhoven, The Netherlands, http://www.tm.tue.nl/it/woflan
Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 475–484. Springer, Heidelberg (2000)
Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes Using Woflan. The Computer Journal, British Computer Society 44(4), 246–279 (2001)
Verbeek, H.M.W., Hirnschall, A., van der Aalst, W.M.P.: XRL/Flower: Supporting interorganizational workflows using XML/Petri-net technology. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol. 2512, pp. 93–109. Springer, Heidelberg (2002)
Weber, M., Kindler, E.: The petri net markup language. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, p. 455. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Norta, A. (2004). Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-27793-4_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22236-1
Online ISBN: 978-3-540-27793-4
eBook Packages: Springer Book Archive