Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 21-28 |
| Number of pages | 8 |
| Journal | Software Engineering Journal |
| Volume | 2 |
| Issue number | 1 |
| Publication status | Published - Jan 1987 |