Skip to main content
SpringerLink
Log in
Book cover

Concurrent Object-Oriented Programming and Petri Nets pp 514–533Cite as

Control Properties in Object-Oriented Specifications

  • Chapter
  • First Online:

  • 562 Accesses

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

Abstract

Verification and validation are becoming the most important activities in software engineering because of the stronger need to ensure and enhance quality. The system designers need to ensure the conformance of models with the functionalities of a target system and the correctness, safeness and reliability of its operating cycles. Many formal methods have been promoted to support such tasks and Petri nets formalism seems to be one of the most relevant one to evaluate control properties. But it lacks of structuration facilities to allow to handle large scale systems. The aim of this paper is to show that, for some guidelines, Petri nets can be integrated in usual object-oriented software methodologies in order to evaluate such properties. Hence, one can profit from contributions of both object and nets to handle quality in systems in a more satisfactory way.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. Bastide R., Approaches in Unifying Petri Nets and the Object-oriented Approach, In Proceedings of the First Workshop on Object-oriented Programming and Models of Concurrency, Torino, June 1995.

    Google Scholar 

  2. Baumgarten B., „On Internal and External Characterizations of PT-net building block Behaviour”, In Advances in Petri Nets, 1988, Rozenberg G. Ed., Springer Verlag, 1990, LNCS vol. 340, pages 44–61.

    Google Scholar 

  3. Boehm B., “Software Engineering Economics”, Prentice Hall, 1981.

    Google Scholar 

  4. Bruno G., Castella A., Agarwal R. & Pescarmona M.-P., “ CAB: An Environment for Developing Concurrent Applications”, In Proceedings of ICATPN’95, Torino, Italy, June 1995, De Michelis G. & Diaz M. Eds., Springer Verlag, LNCS vol. 935, pages 141–160.

    Google Scholar 

  5. Buchs D. & Guel. N., A Concurrent Object-oriented Petri Nets Approach for System Specification, In Proceedings of the International Conference on Application end Theory of Petri Nets, Aarhus, Denmark, 1991, LNCS vol. 524.

    Google Scholar 

  6. Colette P., “Application of the Composition Principle to Unity-Like Specification”, In Proceedings of TAPSOFT’93, Orsay, France, April 1993, Gaudel M.-C. & Jouannaud J.-P. Eds., LNCS vol. 668, pages 230–242.

    Google Scholar 

  7. Diagne A. & Estraillier P., “Formal Specification and Design of Distributed Systems”, In Proceedings of FMOODS’96, Paris, France, March 1996, Najm E. & Stefani J.-B. Eds, Chapman & Hall, pages 325–340.

    Google Scholar 

  8. Diagne A. & Kordon F., “A Multi-Formalism Prototyping Approach from Conceptual Description to Implementation of Distributed Systems”, In Proceedings of IEEE International Workshop on Rapid System Prototyping’96, Greece, Porto Caras, Thessaloniki, June 1996, IEEE Comp. Soc. Press, Num. 96TB100055, pages 102–107.

    Google Scholar 

  9. Gamma E., Helm R., Johnson R. & Vlissides J., “ Design Patterns: Elements of Reusable Object-oriented Software”, Addison Wesley Professional Computing Series, 1995.

    Google Scholar 

  10. Heiner M., “Petri Net Based Software Validation, Prospects and Limitations”, Technical Report TR92-022, GMD/First at Berlin Technical University, Germany, March 1992.

    Google Scholar 

  11. Jensen K., “ Coloured Petri Nets: A High Level Language for System Design and Analysis”, In Proceedings of the Advances in Petri Nets 1990, Rozenberg G. Ed., Springer Verlag, 1990, LNCS vol. 483, pages 342–416.

    Google Scholar 

  12. Lakos, C. A., “From Coloured Petri Nets to Object Petri Nets”, In Proceedings of ICATPN’95, Torino, Italy, June 1995, De Michelis G. & Diaz M. Eds., Springer Verlag, LNCS vol. 935, pages 278–297.

    Google Scholar 

  13. Lakos C. A. & Keen C. D., “An Open Software Engineering Environment Based on Object Petri Nets”, Technical Report TR95-6, Computer Science Department, University of Tasmania, Australia.

    Google Scholar 

  14. Matsuoka S. & Yonezawa A. Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages, In Research Directions in Concurrent Object-Oriented Programming, Agha G., Wegner P. & Yonezawa A. Eds., MIT Press, 1993, pages 107–150.

    Google Scholar 

  15. Mellor S.J. & Shlaer S., “A Deeper Look at.. Execution and Translation”, In Journal of Object Oriented Programming, 7(3), 1994, pages 24–26.

    Google Scholar 

  16. Murata T., “Petri Nets: Properties, Analysis and Applications”, In the Proceedings of the IEEE, 77(4), April 1989, pages 541–580.

    Google Scholar 

  17. Murata T. & Notomi M., “Hierarchical Reachability Graph of Bounded Nets For Concurrent Software Analysis”, In Transactions IEEE on Software Engineering, 20(5), May 1994, pages 325–336.

    Article  MATH  Google Scholar 

  18. Nierstrasz O., “Regular Types for Active Objects”, In Proceedings of the ACM OOPSLA’93, Washington DC, USA, October 1993, pages 1–15.

    Google Scholar 

  19. Pressman R. S., “Software Enginnering: A Practitionner’s Approach”, Mc Graw Hill 1992.

    Google Scholar 

  20. Puntigam F., “Coordination Requirements Expressed in Types for Active Objects”, In Proceedings of ECOOP’97, Jyväskylä, Finland, June 1997, Akşit M. & Matsuoka S. Eds., LNCS vol. 1241, pages 367–388.

    Google Scholar 

  21. Rumbaugh J., Blaha M., Premeralani W., Eddy F. & Lorensen W., “Object-Oriented Modeling and Design”, Prentice Hall, 1991.

    Google Scholar 

  22. Rumbaugh J. & Booch G., “Unified Method for Object-Oriented Development”, Version 1.0, Teaching Documentation Set, Rational Software Corporation, Santa Clara, USA, 1997.

    Google Scholar 

  23. Rushby J., “Formal Methods and the Certification of Critical Systems”, Technical Report CSL-93-7, Computer Science Laboratory, SRI International, Menlo Park CA 94025, USA, December 1993.

    Google Scholar 

  24. Sa J., Keane J. A., & Warboys B. C., “Software Process in a Concurrent, Formally-based Framework”, In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Beijing, China, October 1996, pages 1580–1585.

    Google Scholar 

  25. Schreiber G., “Functional Equivalence of Petri Nets”, In Proceedings of ICATPN’95, Torino, Italy, June 1995, De Michelis G. & Diaz M. Eds., Springer Verlag, LNCS vol. 935, pages 432–450.

    Google Scholar 

  26. Sibertin-Blanc C., “A Client-Server Protocol for the Composition of Petri Nets”, In Proceedings of ICATPN’93, Chicago, Illinois, USA, June 1993, Ajmone Marsan M. Ed., LNCS vol. 691, pages 377–396.

    Google Scholar 

  27. Sibertin-Blanc C., “Cooperative Nets”, In Proceedings of ICATPN’94, Zaragoza, Spain, June 1994, Valette R. Ed., LNCS vol. 815, pages 471–490.

    Google Scholar 

  28. Valmari A., “Compositional Analysis with Bordered Places Subnets”, In Proceedings of ICATPN’94, Zaragoza, Spain, June 1994, Valette R. Ed., LNCS vol. 815, pages 531–547.

    Google Scholar 

  29. Vogler W., “Modular Constructions and Partial Order Semantics of Petri Nets”, Springer Verlag, LNCS vol. 625.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’Informatique de Paris 6 (LIP6) Thème Systèmes Répartis et Coopératifs (SRC), Université Pierre & Marie Curie, 4 place Jussieu, F-75252, Paris Cedex 05, France

    A. Diagne

Authors
  1. A. Diagne
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Illinois at Urbana-Champaign, 1304 West Springfield Avenue, 61801-2987, Urbana, Illinois, USA

    Gul A. Agha

  2. Computer Science Department, University of Milan, via Comelico 39/41, 20135, Milan, Italy

    Fiorella De Cindio

  3. Leiden Institute of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Diagne, A. (2001). Control Properties in Object-Oriented Specifications. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-45397-0_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41942-6

  • Online ISBN: 978-3-540-45397-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation