Life-cycle inheritance: A petri-net-based approach

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

Volumn 1248, Issue , 1997, Pages 62-81

  van der Aalst, W M P ^a   Basten, T ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Inheritance; Object life cycle; Object orientation; Petri nets; Wbrkflow management

Indexed keywords

DYNAMICS; PETRI NETS; WORK SIMPLIFICATION;

FORMAL SPECIFICATION AND VERIFICATION; GRAPHICAL REPRESENTATIONS; INHERITANCE; INHERITANCE MECHANISMS; OBJECT LIFE CYCLE; OBJECT ORIENTATION; OBJECT ORIENTED MODEL; WORKFLOW MANAGEMENTS;

LIFE CYCLE;

EID: 84958956467     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63139-9_30     Document Type: Conference Paper

References (17)

1. W.M.P. van der Aalst. A Class of Petri Nets for Modeling and Analyzing Business Processes. Computing Science Report 95/26, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, 1995.
2. W.M.P. van der Aalst. Petri-Net-based Workflow Management Software. In A. Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, pages 114-118, Athens, Georgia, USA, May 1996.
3. J.C.M. Baeten and W.P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1990.
4. T. Basten. Branching Bisimilarity is an Equivalence indeed! Information Processing Letters, 58(3):141-147, May 1996.
5. T. Basten and W.M.P. van der Aalst. A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance = Encapsulation + Abstraction. Computing Science Report 96/05, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, The Netherlands, March 1996.
6. G. Booch. Object-Oriented Analysis and Design: With Applications. Benjamin/Cummings, Redwood City, CA, USA, 1994.
7. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995.
8. C.A. Ellis and G.J. Nutt. Modelling and Enactment of Workflow Systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th. International Conference, Proceedings, volume 691 of Lecture Notes in Computer Science, pages 1-16, Chicago, USA, June 1993. Springer-Verlag, Berlin, Germany, 1993.
9. R.J. van Glabbeek. What is Branching Time Semantics and Why to Use It? In Bulletin of the EATCS, number 53, pages 191-198. European Association for Theoretical Computer Science, June 1994.
10. R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555-600, 1996.
11. K.M. van Hee. Information Systems Engineering: A Formal Approach. Cambridge University Press, Cambridge, UK, 1994.
12. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1, Basic Concepts. EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1992.
13. T.M. Koulopoulos. The Workflow Imperative. Van Nostrand Reinhold, New York, USA, 1995.
14. C.A. Lakos. Pragmatic Inheritance Issues for Object Petri Nets. In TOOLS Pacific 1995, Proceedings, pages 309-321, Melbourne, Australia, 1995. Prentice-Hall.
15. W. Reisig. Petri Nets: An Introduction, volume 4 of EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1985.
16. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, USA, 1991.
17. P. Wegner and S.B. Zdonik, Inheritance as an Incremental Modification Mechanism or What like is and isn’t like. In S. Gjessing and K. Nygaard, editors, ECOOP '88, European Conference on Object-Oriented Programming, Proceedings, volume 322 of Lecture Notes in Computer Science, pages 55-77, Oslo, Norway, August 1988. Springer-Verlag, Berlin, Germany, 1988.