Skip to main content
SpringerLink
Log in
Book cover

International Andrei Ershov Memorial Conference on Perspectives of System Informatics

PSI 2001: Perspectives of System Informatics pp 279–286Cite as

A Net-Based Multi-tier Behavior Inheritance Modelling Method

  • Conference paper
  • First Online:

  • 365 Accesses

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

Abstract

A multi-tier methodology is required in order to make a smooth transformation from one stage to the next in the course of software development under a consistent conceptual framework. We present, in this paper, a multi-tier behavior inheritance modelling method based on Petri Nets, which is illustrated through STLEN and DCOPN that are two net models serving as the tools for describing behaviors at two consecutive modelling tiers respectively.

This work was Supported by the National Natural Science Foundation of China under grant No. 69973003, and by the China NKBRSF (973) under grant G1999032706.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Charles Lakos. From Colored Petri Nets to Object Petri Nets. Proceedings of 16th Int. Conference on the Application and Theory of Petri Nets, LNCS 935, Turin, Italy, Springer-Verlag,1995.

    Google Scholar 

  2. E. Batiston, A, Chizzoni, Fiorella De Cindo. Inheritance and Concurrency in CLOWN. Proceedings of the “Application and Theory of Petri Net 1995” workshop on “object-oriented programs and models concurrency”, Torino, Italy 1995.

    Google Scholar 

  3. C. Sibertin-Blanc. Cooperative Nets. Proceedings of 15th Int. Conference on the Application and Theory of Petri Nets. LNCS 815, Zaragoza, Spain, Springer-Verlag, 1994.

    Google Scholar 

  4. D. Buchs and N. Guel.. CO-OPN: A Concurrent Object Oriented Petri Net Approach. Proceedings of 12th Int. Conference on the Application and Theory of Petri Nets, LNCS 524, Gjern, Denmark, 1991.

    Google Scholar 

  5. R. Valk. Petri Nets as Token Objects-An Introduction to Elementary Object Nets. Proceedings of 19th Int. Conference on the Application and Theory of Petri Nets, LNCS 1420, Springer-Verlag, 1998.

    Google Scholar 

  6. U. Becker and D. Moldt. Object-oriented Concepts for Colored Petri Nets. Proceedings of IEEE Int. Conference on System, Man and Cybernetics, vol. 3, 1993, pp 279–286.

    Google Scholar 

  7. A. Newman, S.M. Shatz, and X. Xie. An Approach to Object System Modelling by State-Based Object Petri Nets. Journal of Circuits, Systems and Computers, Vol.8, No.1,1998, pp 1–20.

    Article  Google Scholar 

  8. W.M.P. Vander Aalst and J. Basten. Life-Cycle Inheritance: A Petri-Net-Based Approach. 18th Int. Conference on the Application and Theory of Petri Nets, LNCS1248, Toulouse, France, Springer-Verlag, 1997.

    Google Scholar 

  9. S. Wang, J. Yu and C. Yuan. A Pragmatic Behavior Subtyping Relation Based on Both States and Actions. To appear in Journal of Computer Science and Technology, vol.16,No.5, 2001.

    Google Scholar 

  10. S. Wang. A Petri Net Modelling Method for Concurrent Object-Oriented Systems. Ph.D thesis, Peking University, June 2001.

    Google Scholar 

  11. S. Christensen, N.D. Hansen. Colored Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Proceedings of 14th Int. Conference on the Application and Theory of Petri Nets, LNCS 691, Chicago, USA, Springer-Verlag, 1993.

    Google Scholar 

  12. Satoshi Matsuoka and Akinori Yonezawa. Analysis of Inheritance Anomaly in Object-oriented Concurrent Programming Languages. In Research Directions in Concurrent Object-oriented Programming, edited by G. Agha, P. Wegner and A. Yonezawa, The MIT Press, 1993, pp 107–150.

    Google Scholar 

  13. P. Wegner, S.B. Zdonik. Inheritance as an Incremental Modification Mechanism or What Like is and Isn’t Like. In ECOOP’88 Proceedings. Lecture Notes in Computer Science 322, pp 55–77, Springer-Verlag, 1988.

    Google Scholar 

  14. C. Yuan: Principles of Petri Nets, Electronic Industry Press, Beijing, China, 1998.

    Google Scholar 

  15. P. America. Designing an Object-oriented Programming Language with Behavioural Subtyping. In Proc. of REX School/Workshop on Foundations of Objectoriented Languages(REX/FOOL), Noordwijkerhout, the Netherlands, May, 1990,LNCS 489, Springer-Verlag, 1991, pp 60–90.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, Peking University, 100871, Beijing, China

    Shengyuan Wang, Jian Yu & Chongyi Yuan

Authors
  1. Shengyuan Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jian Yu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chongyi Yuan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Informatics and Mathematical Modelling, Technical University of Denmark, Bldg.322, 106-108, Richard Petersens Plads, 2800, Lyngby, Denmark

    Dines Bjørner

  2. Computer Science Department, Technical University of Munich, Arcisstr.21, 80290, Munich, Germany

    Manfred Broy

  3. A.P.Ershov Institute of Informatics Systems, Acad.Lavrentjev ave.,6, 630090, Novosibirsk, Russia

    Alexandre V. Zamulin

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, S., Yu, J., Yuan, C. (2001). A Net-Based Multi-tier Behavior Inheritance Modelling Method. In: Bjørner, D., Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2001. Lecture Notes in Computer Science, vol 2244. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45575-2_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-45575-2_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43075-9

  • Online ISBN: 978-3-540-45575-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation