Modelling of visualised data-flow diagrams using petri net model
作者:
Poh-TinLee,
K.P.Tan,
期刊:
Software Engineering Journal
(IET Available online 1992)
卷期:
Volume 7,
issue 1
页码: 4-12
年代: 1992
DOI:10.1049/sej.1992.0001
出版商: IEE
数据来源: IET
摘要:
In this paper, an approach to the modelling and implementation of data-flow diagrams (DFDs) using Petri nets is introduced. A direction is identified where visualisation and high-level semantics can be incorporated into data-flow diagrams to facilitate direct manipulation, interpretation and validation. At the automation level, visualised DFDs generate layouts for data-flow vectors and use Petri nets to safeguard the correctness of a specification. The Petri net model uses a set of constraints to enforce consistency, both within and across diagrams. At the visual level, visualised DFDs replace the traditional textual specifications of the process and data-flow components with graphical forms. The entity-relationship model is adopted as the hierarchical and logical view of data.
点击下载:
PDF
(898KB)
返 回