Transit case study

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

Volumn 3099, Issue , 2004, Pages 391-410

  Verbeek, Eric ^a,b   Van Toorn, Robert Der ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b Deloitte Management and ICT Consultants   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; FORESTRY; PETRI NETS; TREES (MATHEMATICS);

ACCEPTABLE LIMIT; COMPARATIVE STUDIES; COMPUTATION TIME; DYNAMIC BEHAVIORS; EXHAUSTIVE SEARCH ALGORITHMS; KEY ISSUES; OBJECT ORIENTED MODEL; SEARCH TREES;

LIFE CYCLE;

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

References (17)

1. W.M.P. van der Aalst. Inheritance of dynamic behaviour in UML. In D. Moldt, editor, MOCA'02, Second Workshop on Modelling of Objects, Components, and Agents, pages 105-120, Aarhus, Denmark, August 2002. University of Aarhus, Report DAIMI PB - 561.
2. http://www.daimi. au.dk/CPnets/workshop02/moca/papers/.
3. W.M.P. van der Aalst. Inheritance of interorganizational workflows to enable business-to-business El-commerce. Electronic Commerce Research, 2(3):195-231, 2002.
4. W.M.P. van der Aalst and T. Basten. Identifying commonalities and differences in object life cycles using behavioral inheritance. In J.-M. Colom and M. Koutny, editors, Applications and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 32-52, Newcastle, UK, 2001. Springer, Berlin, Germany.
5. 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): 125-203, 2002.
6. T. Basten and W.M.P. van der Aalst. Inheritance of behavior. Journal of Logic and Algebraic Programming, 47(2):47-145, 2001.
7. G. Booch. Object-Oriented Analysis and Design: With Applications. Benjamin/Cunnings, Redwood City, California, USA, 1994.
8. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, USA, 1998.
9. J.F. Groote and F.W. Vaandrager. An efficient algorithm for branching bisimulation and stuttering equivalence. In M.S. Paterson, editor, Automata, Languages and Programming, volume 443 of Lecture Notes in Computer Science, pages 626-638, Warwick University, England, July 1990. Springer, Berlin, Germany.
10. Object Management Group. Omg unified modeling language. http://www.omg.com/uml/.
11. I. Jacobson, M. Ericsson, and A. Jacobson. The Object Advantage: Business Process Reengineering with Object Technology. Addison-Wesley, Reading, Massachusetts, USA, 1991.
12. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewoord Cliffs, New Jersey, USA, 1991.
13. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, USA, 1998.
14. R.A. van de Toorn. Component-Based Software Design with Petri Nets: an Approach Based on Inheritance of Behavior. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, January 2004. (forthcoming).
15. 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, Berlin, Germany, 2000.
16. H.M.W. Verbeek and T. Basten. Deciding life-cycle inheritance on Petri nets. In W.M.P. van der Aalst and E. Best, editors, 24th International Conference on Application and Theory of Petri Nets (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 44-63, Eindhoven, The Netherlands, June 2003. Springer, Berlin, Germany.
17. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnozing workflow processes using Woflan. The Computer Journal, 44(4):246-279, 2001.