In this paper, a model for representing and analyzing the design of a software system is proposed. The scheme is based on Petri net formalism and allows representation of both control and data flows in an integrated manner. Both the structure and the behavior of the system can be modeled using this scheme. Analysis and verification of some behavioral properties provide a certain degree of design validation prior to implementation.
|Number of pages||8|
|Journal||Software Engineering Journal|
|Publication status||Published - Jan 1987|