The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - April (1992 vol.18)
pp: 329-346
ABSTRACT
<p>A method for associating a dataflow diagram (DFD) with a formal specification is described. The intention is to enhance the use of the DFD as a formal specification tool, thus gaining a tool that can be used to document application functionality in an understandable manner and, at the same time, be capable of producing a formal specification that can be used to rigorously investigate the semantic properties of the application. It is shown how the formal specifications characterizing semantic models ofDFDs can be used to investigate desired application properties of verify semantic decompositions of data transforms.</p>
INDEX TERMS
dataflow diagram; formal specification tool; application functionality; semantic properties; semantic decompositions; data transforms; diagrams; formal specification; systems analysis
CITATION
R.B. France, "Semantically Extended Dataflow Diagrams: A Formal Specification Tool", IEEE Transactions on Software Engineering, vol.18, no. 4, pp. 329-346, April 1992, doi:10.1109/32.129221
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool