Advertisement

Hood nets

  • Raffaele Di Giovanni
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 524)

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.

Keywords

HOOD Object-Oriented Design data-flow and control-flow computational models 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

10. References

  1. [ANDREWS 83]
    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 78]
    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 82]
    Arvind and K.P. Gostelow "The U-Interpreter" in [COMPUTER 82].Google Scholar
  4. [BALDASSARI 89]
    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. [BOOCH 86]
    G. Booch "Object-Oriented Development", IEEE Transactions on Software Engineering, Vol. 12, No. 2, February 1986.Google Scholar
  6. [BOOCH 91]
    G. Booch "Object-Oriented Design (with applications)", Benjamin Cummings, 1991.Google Scholar
  7. [BRAUER 87]
    W. Brauer, W. Reisig, G. Rozenberg (eds.) "Petri Nets: Central Models and Their Properties", LNCS 254, 1987.Google Scholar
  8. [CANDIDO 84]
    P. Candido, R. Di Giovanni "Un modello per processi comunicanti con caratteristiche data-flow", tesi di laurea, Universita' di Pisa, 1984.Google Scholar
  9. [COMPUTER 82]
    Special issue on Data-Flow Systems, Computer, Vol.15, no.2, February 1982.Google Scholar
  10. [DE CINDIO 82]
    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. [DI GIOVANNI 89]
    R. Di Giovanni "Modeling HOOD objects by means of Petri Nets", COL-INT-SDE-TN-008, September 1989.Google Scholar
  12. [DI GIOVANNI 90]
    R. Di Giovanni "On the Translation of HOOD Nets into Ada", Proc. Ada Europe Int. Conf., Dublin, June 1990.Google Scholar
  13. [ESA 87]
    European Space Agency, Board for Software Standardization and Control "Esa software engineering standards", ESA PSS-05-0 issue 1, January 1987.Google Scholar
  14. [ESA 89a]
    European Space Agency, HOOD Working Group "HOOD Reference Manual", WME/89-173/JB, Issue 3.0, September 1989.Google Scholar
  15. [ESA 89b]
    European Space Agency, HOOD Working Group "HOOD User Manual", WME/89-353/JB, Issue 3.0, December 1989.Google Scholar
  16. [GENRICH 87]
    H. J. Generic "Predicate/Transition Nets", in [BRAUER 87].Google Scholar
  17. [HILDEBRAND 89]
    T. Hildebrand "IRENA: Industrial Requirements Engineering based on Nets for value-added Applications", PCTE Newsletters, No. 2, November 1989.Google Scholar
  18. [HILDEBRAND 90]
    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. [HOARE 78]
    C.A.R. HOARE "Communicating Sequential Processes" ACM Comm., Vol.21, No.8, August 1978.Google Scholar
  20. [HUBER 89]
    P. Huber, K. Jensen, R. M. Shapiro "Hierarchies in Coloured Petri Nets", Proc. 10th ICPN, Bonn 1989.Google Scholar
  21. [IACHINI 90]
    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. [JENSEN 87]
    K. Jensen "Coloured Petri Nets", in [BRAUER 87].Google Scholar
  23. [PALUDETTO 90]
    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. [REISIG 87]
    W. Reisig "Place/Transition Systems", in [BRAUER 87].Google Scholar
  25. [THIAGARAJAN 87]
    P. S. Thiagarajan "Elementary Net Systems" in [BRAUER 87].Google Scholar
  26. [VALETTE 88]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Raffaele Di Giovanni
    • 1
  1. 1.PISAITALY

Personalised recommendations