| Author | Rosziati Ibrahim, Siow Yen Yen |
| On Pages | 60-69 |
| Volume No. | 1 |
| Issue No. | 2 |
| Issue Date | May 01, 2011 |
| Publishing Date | May 01, 2011 |
| Keywords | Context diagram, data flow diagram, formal method, consistency rules |
Abstract
A formal model for data flow diagram (DFD) rules is developed by introducing a syntax and semantics for its rules. DFD has been chosen because it is an approach for specifying, constructing and visualizing the model of a system graphically and has been in practical use on a very wide basis but still lacks formal and precise understanding. This formal model can be used to check the correctness of the diagrams and consistency among the diagrams.
Download link:
No comments:
Post a Comment