By Topic

A formal approach to the semantic specification of data flow diagrams

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Liu, T. ; Inst. of Software, Acad. Sinica, Beijing, China ; Tang, C.S. ; Zhang, R.

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

Published in:

Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International

Date of Conference:

11-13 Sep 1991