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
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;
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
DOI :
10.1109/CMPSAC.1991.170179
