archives

An Executable Semantics for a Formalized Data Flow Diagram Specification Language


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Wahls, Tim, Baker, Albert L. and Leavens, Gary T. (1993) An Executable Semantics for a Formalized Data Flow Diagram Specification Language. Technical Report TR93-27, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

An Executable Semantics for a Formalized
Data Flow Diagram Specification Language
by
Tim Wahls, Albert L. Baker, and Gary T. Leavens
TR93-27
Abstract
While traditional Data Flow Diagrams (DFDs) are popular, they lack the
formality needed in a good specification technique.  We provide an executable
semantics for a subset of RT-SPECS, a formalization of DFDs, using the
programming language Standard ML.  RT-SPECS is a formal notation for specifying
concurrent and real-time software that relies on model-based specification of
abstract datatypes.  Processes are specified using assertions rather than
algorithms.  Because our semantics of RT-SPECS is written in SML, it is also an
interpreter, yielding a directly executable specification language.

Subjects:All uncategorized technical reports
ID code:00000061
Deposited by:Staff Account on 15 November 1993



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