Directed graph based representation for software system design

V. Varadharajan*, K. D. Baker

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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 languageEnglish
Pages (from-to)21-28
Number of pages8
JournalSoftware Engineering Journal
Issue number1
Publication statusPublished - Jan 1987


Dive into the research topics of 'Directed graph based representation for software system design'. Together they form a unique fingerprint.

Cite this