Section 3.6. References

3.6. References

1. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros, "Workflow Patterns," Distributed and Parallel Databases, 14(1):5-51, 2003.

2. W. M. P. van der Aalst and A. H. M. ter Hofstede, "YAWL: Yet Another Workflow Language,"Information Systems, 30(4):245-275, 2005.

3. P. Wohed, W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, and N. Russell, "Pattern-based Analysis of UML Activity Diagrams," BETA Working Paper Series, WP 129, Eindhoven University of Technology, Eindhoven, 2004.

4. R. Milner, A Calculus of Communicating Systems, Secaucus, NJ, Springer, 1980.

5. R. Milner, Communicating and Mobile Systems: The Pi-Calculus, Cambridge University Press, Cambridge, 1999.

6. P. Gardner, "Models of Concurrent Computation" (course notes), http://www.doc.ic.ac.uk/~pg/Concurrency/course.html

7. >L. Wischik, "Pi Calculus: Automata, State, Actions, and Interactions," http://www.ebpml.org/pi-calculus.htm.

8. G. T. Leavens,"Overview of the Pi-Calculus," http://www.cs.iastate.edu/~leavens/FoCBS/henderson-node5.html

9. W. M. P. van der Aalst and K. M. van Hee, Workflow Management: Models, Methods, and Systems, MIT Press, Cambridge, MA, 2004.

10. W. M. P. van der Aalst and A. H. M. ter Hofstede, "Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Language," in K. Jensen (editor), Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1-20, University of Aarhus, Denmark, August 2002.

11. B. Kiepuszewski, A. H. M. ter Hofstede, W. M. P. van der Aalst, "Fundamentals of Control Flow in Workflows," Acta Informatica, 39(3):143-209, 2003

12. M. Dumas, A. H. M ter Hofstede, "UML Activity Diagrams as a Workflow Specification Language," in Proceedings of the International Conference on the Unified Modeling Language (UML), Toronto, Canada, October 2001.

13. M. R. Garey, Computers and Intractability, New York, W. H. Freeman, 1979.

14. M. Havey, "Workflow and State Machines in Weblogic Integration: The Process-Oriented Application," Weblogic Developer's Journal, January 2004.

15. P. Fontaine, "Insure Yourself with XML!" http://www.infoloom.com/gcaconfs/WEB/paris2000/S25-04.HTM.

16. M. Davis, Engines of Logic: Mathematics and the Origin of the Computer, New York, Norton, 2001

17. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Reading, Massachusetts, Addison Wesley, 1999.

18. S. White, "Process Modeling Notations and Workflow Patterns," BPTrends, March 2004.

19. Object Management Group, OMG Unified Modeling Language Specification, Version 1.5, http://www.omg.org/technology/documents/formal/uml.htm, March 2003.

20. P. Loos and P. Fettke, "Towards an Integration of Business Process Modeling and Object-Oriented Software Development," in I. Ivan, I. Rosca (eds.), Information Society-Proceeding of the Fifth International Symposium on Economic Informatics (IE 2001, Bucharest, May 9-12, 2001), pp. 835-843, http://archiv.tu-chemnitz.de/pub/2001/0044/data/2001_IE_Symposium.pdf.