Skip to main content
SpringerLink
Log in

Hood nets

  • Conference paper
  • First Online:
Advances in Petri Nets 1991 (ICATPN 1990)

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

Included in the following conference series:

Abstract

This paper describes an integration of the Petri Nets formalism in a pre-existing software design method: HOOD. The HOOD structure of the overall static framework of a system design remains unchanged: Petri Nets are only used to add a formal description of the dynamic behaviour of the system. HOOD Nets are the resulting sub-class of Petri Nets when HOOD structural constraints are described in the Petri Nets formalism.

The basic ideas presented in this paper were initially proposed in the Columbus consortium when the author was with Intecs Sistemi S.p.A.. The author is now consultant at Prisma Informatica S.p.A., via Campo di Marte 115, I-06100 PERUGIA, Tel. ++39-75-5004040, Fax. ++39-75-623143.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

10. References

  1. G. R. Andrews and F. B. Schneider "Concepts and Notations for Concurrent Programming", ACM Comp. Surv., Vol. 15, No. 1, March 1983.

    Google Scholar 

  2. Arvind, K.P. Gostelow, W.E. Plouffe "An Asynchronous Programming Language and Computing Machine", TR 114a, Dept. of Information and Computer Science, University of California, Irvine, December 1978.

    Google Scholar 

  3. Arvind and K.P. Gostelow "The U-Interpreter" in [COMPUTER 82].

    Google Scholar 

  4. M. Baldassari, G. Bruno, V. Russi, R. Zompi "PROTOB: a Hierarchical Object-Oriented CASE Tool for Distributed Systems" in C. Ghezzi and J. A. McDermid (eds.) "ESEC '89", LNCS 387, 1989.

    Google Scholar 

  5. G. Booch "Object-Oriented Development", IEEE Transactions on Software Engineering, Vol. 12, No. 2, February 1986.

    Google Scholar 

  6. G. Booch "Object-Oriented Design (with applications)", Benjamin Cummings, 1991.

    Google Scholar 

  7. W. Brauer, W. Reisig, G. Rozenberg (eds.) "Petri Nets: Central Models and Their Properties", LNCS 254, 1987.

    Google Scholar 

  8. P. Candido, R. Di Giovanni "Un modello per processi comunicanti con caratteristiche data-flow", tesi di laurea, Universita' di Pisa, 1984.

    Google Scholar 

  9. Special issue on Data-Flow Systems, Computer, Vol.15, no.2, February 1982.

    Google Scholar 

  10. F. De Cindio, G. De Michelis, L. Pomello, C. Simone "Superposed Automata Nets", in C. Girault and W. Reisig (eds.) "Application and Theory of Petri Nets", Informatik-Fachberichte 52, 1982.

    Google Scholar 

  11. R. Di Giovanni "Modeling HOOD objects by means of Petri Nets", COL-INT-SDE-TN-008, September 1989.

    Google Scholar 

  12. R. Di Giovanni "On the Translation of HOOD Nets into Ada", Proc. Ada Europe Int. Conf., Dublin, June 1990.

    Google Scholar 

  13. European Space Agency, Board for Software Standardization and Control "Esa software engineering standards", ESA PSS-05-0 issue 1, January 1987.

    Google Scholar 

  14. European Space Agency, HOOD Working Group "HOOD Reference Manual", WME/89-173/JB, Issue 3.0, September 1989.

    Google Scholar 

  15. European Space Agency, HOOD Working Group "HOOD User Manual", WME/89-353/JB, Issue 3.0, December 1989.

    Google Scholar 

  16. H. J. Generic "Predicate/Transition Nets", in [BRAUER 87].

    Google Scholar 

  17. T. Hildebrand "IRENA: Industrial Requirements Engineering based on Nets for value-added Applications", PCTE Newsletters, No. 2, November 1989.

    Google Scholar 

  18. T. Hildebrand and N. Treves "S-Cort: a Method for the Development of Electronic Payment Systems" in G. Rozenberg (ed.) "Advances in Petri Nets '89", LNCS 424, 1990.

    Google Scholar 

  19. C.A.R. HOARE "Communicating Sequential Processes" ACM Comm., Vol.21, No.8, August 1978.

    Google Scholar 

  20. P. Huber, K. Jensen, R. M. Shapiro "Hierarchies in Coloured Petri Nets", Proc. 10th ICPN, Bonn 1989.

    Google Scholar 

  21. P.L. Iachini and R. Di Giovanni "HOOD and Z for the Development of Complex Software Systems", Proceedings of the Third International Symposium of VDM Europe, Kiel, April 1990, LNCS 428.

    Google Scholar 

  22. K. Jensen "Coloured Petri Nets", in [BRAUER 87].

    Google Scholar 

  23. M. Paludetto, R. Valette, M. Courvoisier "Generation de code Ada a partir d'une approche orientee objects HOOD/Reseaux de Petri", Proc. III Int. Workshop on Software engineering & its applications, Toulouse, 3–7 December 1990.

    Google Scholar 

  24. W. Reisig "Place/Transition Systems", in [BRAUER 87].

    Google Scholar 

  25. P. S. Thiagarajan "Elementary Net Systems" in [BRAUER 87].

    Google Scholar 

  26. R. Valette, M. Paludetto, B. Porcher Labreuille, P. Farail "Approche orientee object HOOD et reseaux de Petri pour la conception de logiciel temps reel", Proc. Int. Workshop on Software engineering & its applications, Toulouse, 5–9 December 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Via Emilia 48, 56100, PISA, ITALY

    Raffaele Di Giovanni

Authors
  1. Raffaele Di Giovanni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Di Giovanni, R. (1991). Hood nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1991. ICATPN 1990. Lecture Notes in Computer Science, vol 524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019973

Download citation

  • DOI: https://doi.org/10.1007/BFb0019973

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47600-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation