DocumentCode
2614206
Title
A formal approach to the semantic specification of data flow diagrams
Author
Liu, Tong ; Tang, C.S. ; Zhang, Rui
Author_Institution
Inst. of Software, Acad. Sinica, Beijing, China
fYear
1991
fDate
11-13 Sep 1991
Firstpage
237
Lastpage
242
Abstract
Dataflow diagrams (DFDs) are modeled as networks of concurrent processes. With the use of the temporal logic language XYZ/E, the formal basis of the semantic specification of DFD can be ensured, and the system properties such as safety and liveness can be easily characterized. A verification methodology is proposed which is based on the formal semantics of DFD. The implementation of the tools which can support the formal specification, verification, and simulation of DFD are also briefly described
Keywords
formal languages; formal specification; parallel languages; temporal logic; concurrent processes; data flow diagrams; formal approach; formal basis; formal semantics; liveness; safety; semantic specification; simulation; system properties; temporal logic language XYZ/E; verification methodology; Analytical models; Design for disassembly; Flow graphs; Formal languages; Formal specifications; Graphics; Logic; Safety; Software engineering; Workstations;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International
Conference_Location
Tokyo
Print_ISBN
0-8186-2152-4
Type
conf
DOI
10.1109/CMPSAC.1991.170179
Filename
170179
Link To Document