Issue No. 04 - April (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.129221
<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>
dataflow diagram; formal specification tool; application functionality; semantic properties; semantic decompositions; data transforms; diagrams; formal specification; systems analysis
R. France, "Semantically Extended Dataflow Diagrams: A Formal Specification Tool," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 329-346, 1992.