Title :
Semantically extended dataflow diagrams: a formal specification tool
Author :
France, Robert B.
Author_Institution :
Inst. for Adv. Comput., Maryland Univ., College Park, MD, USA
fDate :
4/1/1992 12:00:00 AM
Abstract :
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 of DFDs can be used to investigate desired application properties of verify semantic decompositions of data transforms
Keywords :
diagrams; formal specification; systems analysis; application functionality; data transforms; dataflow diagram; formal specification tool; semantic decompositions; semantic properties; Application software; Communication system control; Concurrent computing; Design for disassembly; Documentation; Economic forecasting; Formal languages; Formal specifications; Programming; Testing;
Journal_Title :
Software Engineering, IEEE Transactions on
