archives

Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Leavens, Gary T., Wahls, Tim and Baker, Albert L. (1996) Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages. Technical Report TR96-16, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

Formal Semantics for Structured Analysis Style
Data Flow Diagram Specification Languages
by
Gary T. Leavens, Tim Wahls, and Albert L. Baker
Abstract
Using operational semantic techniques, we present a formal semantics
for an extended variant of structured analysis style data flow
diagrams.  This semantics is intended to serve as a semantic
foundation for many different specification languages that specify
concurrent systems using a graphical notation similar to data flow
diagrams.  Besides allowing one to specify how information is
processed, it allows one to specify the dynamic behavior of a
concurrent system.  We discuss various semantic issues, including the
need for a two-step firing rule and how the semantics supports the
notion of refinement.
Keywords: structured analysis, data flow diagram,
semantics of formal specification languages, refinement, concurrency.
1993 CR Categories:
D.2.1 [Software Engineering]
Requirements/Specifications -- languages, methodologies, tools;
D.2.2 [Software Engineering]
Tools and Techniques -- structured analysis, data flow diagrams,
D.2.10 [Software Engineering]
Design -- methodologies, representation;
D.3.1 [Programming Languages]
Formal Definitions and Theory -- semantics, syntax;
F.3.2 [Logics and Meanings of Programs]
Specifying and Verifying and Reasoning about Programs --
specification techniques;
F.3.2 [Logics and Meanings of Programs]
Semantics of Programming Languages -- operational semantics.

Subjects:All uncategorized technical reports
ID code:00000134
Deposited by:Staff Account on 03 December 1996



Contact site administrator at: ssg@cs.iastate.edu