In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 524; Advances in Petri Nets 1991, pages 227-252. Berlin, Germany: Springer-Verlag, 1991.
Abstract: This paper presents a new integrated software development methodology that uses SADT diagrams, Hierarchical CP-nets, Standard ML, and automatic mechanisms for translating SADT diagrams into Hierarchical CP-nets and for converting Hierarchical CP-nets into Standard ML executable code. A case study describes the development of a software application called the Debt Manager's Assistant. During application development, the requirements analysis and system specification were done with the aid of the Structural Analysis and Design Technique. The system design and verification used Hierarchical Colored Petri Nets.
Keywords: non-FIFO strategy (for) electronic funds transfer; bank application; hierarchical coloured net; diagram; integrated software development; structured analysis (and) design technique; standard meta language.