Open AccessTowards a Formal Foundation for DeMarco Data Flow Diagrams
Author(s) -
T.H. Tse
Publication year - 1989
Publication title -
the computer journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.319
H-Index - 64
eISSN - 1460-2067
pISSN - 0010-4620
DOI - 10.1093/comjnl/32.1.1
Subject(s) - computer science , data flow diagram , consistency (knowledge bases) , petri net , formal methods , programming language , flow (mathematics) , software engineering , artificial intelligence , database , mathematics , geometry
We describe a proposal for formalising data flow diagrams through extended Petri nets. We illustrate the usefulness of the approach by describing how it can be used to analyse the consistency of requirements specifications.postprin
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom