In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 123-138. 1990.
Abstract: HOOD (Hierarchical Object Oriented Design) is the standard ESA (European Space Agency) method for the architectural design phase of the software life cycle. A large part of the information associated to HOOD objects is given in Ada (pseudo) code. In this way, it is easy to keep consistence between the two different phases of the software life cycle. However, pseudo code does not permit formal verification. To solve this problem, it was proposed ot integrate a Formal Specification Technique into the HOOD method. Petri nets have been selected for this purpose. The paper describes HOOD nets, a sub-class of Petri nets proposed for integration into the HOOD method.
Keywords: software engineering; hierarchical object oriented design; Ada; formal specification technique; HOOD net.