In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 161-179. 1990.
Abstract: The paper presents a case study for a new integrated software development methodology that uses SADT diagrams, hierarchical CP-nets, Standard ML, and automatic mechanims for translating SADT diagrams into hierarchical CP-nets and for converting hierarchical CP-nets into Standard ML executable code. The case study describes the development of a softweare application called Debt Manager's Assistant. During application development, the system specification and requirements analysis were done with the aid of the Structured Analysis and Design Technique. The system design and verification used Hierarchical Colored Petri nets.
Keywords: electronic funds transfer; hierarchical coloured net; SADT diagram; structured analysis (and) design technique.