Publication Date

7-1996

Technical Report Number

TR93-28d

Subjects

Software, Computing Methodologies, Theory of Computation

Abstract

Using operational semantic techniques, an extended variant of structured analysis style data flow diagrams is given a formal semantics. This semantics allows one to describe both how information is processed and the dynamic behavior of the system. The ability to describe dynamic behavior is an extension to the traditional notion of data flow diagrams. This semantics can serve as a target for giving meaning to specification languages that use a graphical notation similar to data flow diagrams.

Comments

Copyright © Gary T. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle 1993, 1994, 1996. All rights reserved.

Share

COinS