DocumentCode
972152
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
Volume
18
Issue
4
fYear
1992
fDate
4/1/1992 12:00:00 AM
Firstpage
329
Lastpage
346
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.129221
Filename
129221
Link To Document