Web supported enactment of petri-net based workflows with xrl/flower

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3099, Issue , 2004, Pages 494-503

  Norta, Alexander ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINES; WEB SERVICES; WORLD WIDE WEB; XML;

CONCEPTS AND FEATURES; CONTROL FLOWS; PETRI NET REPRESENTATIONS; STATE OF THE ART; WEB SERVERS; WEB-BASED SYSTEM; WORK-FLOWS; XML TECHNOLOGY;

PETRI NETS;

EID: 30944463441     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27793-4_30     Document Type: Article

References (27)

1. W.M.P. van der Aalst. Structural Characterizations of Sound Workflow Nets. Computing Science Reports 96/23, Eindhoven University of Technology, Eindhoven, 1996.
2. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
3. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns Home Page, http://www.tm.tue.nl/it/research/patterns/.
4. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Advanced Workflow Patterns. In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18-29. Springer-Verlag, Berlin, 2000.
5. W.M.P. van der Aalst and A. Kumar. Xml based schema definition for support of interorganizational workflow. Information Systems Research, 14(1):23-7, March 2003.
6. W.M.P. van der Aalst, H.M.W. Verbeek, and A. Kumar. XRL/Wofian: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award). In K. Altinkemer and K. Chari, editors, Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), pages 30-45. Informs, Linthicum, MD, 2001.
7. BEA Systems, Intalio, SAP AG , Sun Microsystems. Web Service Choreography Interface (WSCI) 1.0 Specification, http://wwws.sun.com/software/xml/ developers/wsci/, 2003.
8. A. Berglund, S. Boag, and D. Chamberlin et al. XML Path Language (XPath) 2.0. http://www.w3.org/TR/2003AVD-xpath20-20030822, 2003.
9. BPML.org. Business Process Modeling Language (BPML) version 1.0. Accessed August 2003 from www.bpmi.org, 2003.
10. Workflow Management Coalition. XML Process Definition Language. http://www.wfmc.org/standards/docs/TC-1025_10_xpdl_102502.pdf, 2002.
11. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business Process Execution Language for Web-Services. http://www-106.ibm.com/developerworks/library/ws-bpel/, 2003.
12. IBM. Web Service Flow Language (WSFL) 1.0 Specification.
13. http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf, 2003.
14. B. Kiepuszewski. Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia, 2002.
15. B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst. Fundamentals of Control Row in Workflows. Acta Infonnatica, 39(3): 143-209, March 2003.
16. E. Kindler, J. Billington, and S. Christensen et ai. The petri net markup language: Concepts, technology, and tools. In W.M.P. van der Aalst and E. Best, editors, Proceedings of the 24th AInternational Conference,ICATPN 2003, number 2679 in Lecture Notes in Computer Science, pages 483-505, Eindhoven, The Netherlands, 2003. Springer Verlag, Berlin.
17. E. Kindler and M. Weber et al. Petri Net Kernel (PNK) Home Page. http://www.informatik.hu-berlin.de/top/pnk/, 2003.
18. E. Kindler and M. Weber et al. Petri Net Markup Language (PNML) Home Page. http://www.informatik.hu-berlin.de/top/pnml/, 2003.
19. E. Kindler and M. Weber. The petri net kernel - an infrastructure for building petri net tools. International Journal on Software Tools for Technology Transfer, 3(4):486-497, 2001.
20. A. Norta. XRL Home Page, http://www.tm.tue.nl/it/research/xrl/.
21. A. Norta. XRL/flower Home Page, http://www.tm.tue.nl/it/research/xrl/ flower.
22. S. Thatte. XLANG: Web Service for Business Process Design, 2003.
23. H.M.W. Verbeek and W.M.P. van der Aalst. Woflan Home Page, Eindhoven University of Technology, Eindhoven, The Netherlands, http://www.tm.tue.nl/it/ woflan.
24. H.M.W. Verbeek and W.M.P. van der Aalst. Woflan 2.0: A Petri-net-based Workflow Diagnosis Tool. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, volume 1825 of Lecture Notes in Computer Science, pages 475-484. Springer-Verlag, Berlin, 2000.
25. 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):246-279, 2001.
26. H.M.W Verbeek, A. Himschall, and W.M.P. van der Aalst. XRL/Flower: Supporting interorganizational workflows using XML/Petri-net technology. In C. Bussler, R. Hull, S. Mcllraith, M.E. Orlowska, B. Pernici, and J. Yang, editors, Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, pages 93-109. LNCS Springer, May 2002.
27. M. Weber and E. Kindler. The petri net markup language. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technology for Communication-Based Systems Advances in Petri Nets, number 2472 in Lecture Notes in Computer Science, page 455 p. Springer Verlag, Berlin, 2003.