Skip to main content
SpringerLink
Log in

Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance

  • Conference paper
  • First Online:
Applications and Theory of Petri Nets 2001 (ICATPN 2001)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2075))

Included in the following conference series:

Abstract

The behavioral-inheritance relations of [7,8] can be used to compare the life cycles of objects defined in terms of Petri nets. They yield partial orders on object life cycles (OLCs). Based on these orders, we define concepts such as the greatest common divisor and the least common multiple of a set of OLCs. These concepts have practical relevance: In component-based design, workflow management, ERP reference models, and electronic-trade procedures, there is a constant need for identifying commonalities and differences in OLCs. Our results provide the theoretical basis for comparing, customizing, and unifying OLCs.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science 1248, pages 407–426. Springer, Berlin, Germany, 1997.

    Google Scholar 

  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.

    Article  Google Scholar 

  3. W.M.P. van der Aalst. Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? BETA Working Paper Series, WP 46, Eindhoven University of Technology, The Netherlands, 2000.

    Google Scholar 

  4. W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. To appear in Theoretical Computer Science.

    Google Scholar 

  5. W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn. Component-Based Software Architectures: A Framework Based on Inheritance of Behavior. To appear in Science of Computer Programming.

    Google Scholar 

  6. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, Cambridge, UK, 1990.

    Google Scholar 

  7. T. Basten. In Terms of Nets: System Design with Petri Nets and Process Algebra. PhD thesis, Eindhoven University of Technology, The Netherlands, 1998.

    MATH  Google Scholar 

  8. T. Basten and W.M.P. van der Aalst. Inheritance of Behavior. Journal of Logic and Algebraic Programming, 47(2):47–145, 2001.

    Article  MATH  MathSciNet  Google Scholar 

  9. K. Bertet, M. Morvan, and L. Nourine. Lazy MacNeille Completion of a Partial Order. In G. Mineau and A. Fall, editors, Proc. of the 2nd Int. Symp. on Knowledge Retrieval, Use and Storage for Efficiency, KRUSE’ 97, pages 72–81, 1997

    Google Scholar 

  10. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, MA, 1998.

    Google Scholar 

  11. B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 1990.

    MATH  Google Scholar 

  12. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science 40. Cambridge University Press, Cambridge, UK, 1995.

    MATH  Google Scholar 

  13. R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555–600, 1996.

    Article  MathSciNet  Google Scholar 

  14. S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. Int. Thomson Computer Press, London, UK, 1996.

    Google Scholar 

  15. G. Keller and T. Teufel. SAP R/3 Process Oriented Implementation. Addison-Wesley, Reading, MA, 1998.

    Google Scholar 

  16. R.M. Lee. Distributed Electronic Trade Scenarios: Representation, Design, Prototyping. International Journal of Electronic Commerce, 3(2):105–120, 1999.

    Google Scholar 

  17. H.M. MacNeille. Partially ordered sets. Transactions of the American Mathematical Society, 42:416–460, 1937.

    Article  MATH  MathSciNet  Google Scholar 

  18. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541–580, 1989.

    Article  Google Scholar 

  19. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science 1491. Springer, Berlin, Germany, 1998.

    MATH  Google Scholar 

  20. H.M.W. Verbeek and W.M.P. van der Aalst. Woflan 2.0: A Petri-net-based Work-flow Diagnosis Tool. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, Lecture Notes in Computer Science 1825, pages 475–484. Springer, Berlin, Germany, 2000. http://www.tm.tue.nl/it/woflan.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Technology Management and Dept. of Computing Science, Eindhoven University of Technology, The Netherlands

    Wil M.P. van der Aalst

  2. Dept. of Electrical Engineering, Eindhoven University of Technology, The Netherlands

    Twan Basten

Authors
  1. Wil M.P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Twan Basten
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática e Ingeniería de Sistemas Centro Politécnico Superior, Universidad de Zaragoza, María de Luna, 3, 50015, Zaragoza, Spain

    José-Manuel Colom

  2. Department of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE1 7RU, UK

    Maciej Koutny

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Aalst, W.M., Basten, T. (2001). Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. In: Colom, JM., Koutny, M. (eds) Applications and Theory of Petri Nets 2001. ICATPN 2001. Lecture Notes in Computer Science, vol 2075. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45740-2_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-45740-2_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42252-5

  • Online ISBN: 978-3-540-45740-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation