An Integrated Software Development Methodology Based on Hierarchical Colored Petri Nets

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, which implements a non-FIFO strategy for electronic funds transfer. This application was built for the Marine Midland Bank of New York and Societé Générale. 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 and the implementation was supported with the automatic production of executable Standard Meta Language code.