An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams

Using operational semantic techniques, an extended variant of structured analysis style data ow 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 ow diagrams. This semantics can serve as a target for giving meaning to speci cation languages that use a graphical notation similar to data ow diagrams.

[1]  T. H. Tse.  A Unifying Framework for Structured Analysis and Design Models: A Prototype System to Implement the Unifying Framework , 1991 .

[2]  T. H. Tse,et al.  Towards a Formal Foundation for DeMarco Data Flow Diagrams , 1989, Comput. J..

[3]  Egidio Astesiano,et al.  Inductive and Operational Semantics , 1989, Formal Description of Programming Concepts.

[4]  David L. Coleman,et al.  Formalized structured analysis specifications , 1992 .

[5]  David A. Schmidt.  Denotational Semantics: A Methodology for Language Development by Phil , 1987 .

[6]  Robert B. France,et al.  From structured analysis to formal specifications: state of the theory , 1994, CSC '94.

[7]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[8]  G.D. Plotkin,et al.  LCF Considered as a Programming Language , 1977, Theor. Comput. Sci..

[9]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[10]  Robert B. France,et al.  Semantically Extended Data Flow Diagrams: A Formal Specification Tool , 1992, IEEE Trans. Software Eng..

[11]  Elod Knuth.  A unifying framework for structured analysis and design models : T.H. Tse, (Cambridge University Press, Cambridge, United Kingdom, 1991), Price £19.50/$34.50, ISBN 0-521-39196-2.☆ , 1992 .

[12]  J. Michael Spivey,et al.  An introduction to Z and formal specifications , 1989, Softw. Eng. J..

[13]  J. Davenport.  Editor , 1960 .

[14]  Arthur H. M. ter Hofstede,et al.  Formalization of techniques: chopping down the methodology jungle , 1992, Inf. Softw. Technol..

[15]  Robert B. France.  A predicative basis for structured analysis specification tools , 1993, Inf. Softw. Technol..

[16]  Jorgen P. Bansler,et al.  A reappraisal of structured analysis: design in an organizational context , 1993, TOIS.

[17]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[18]  Kuldeep Kumar,et al.  Informal and Formal Requirements Specification Languages: Bridging the Gap , 1991, IEEE Trans. Software Eng..

[19]  Gianna Reggio,et al.  SMoLCS-Driven Concurrent Calculi , 1987, TAPSOFT, Vol.1.

[20]  D.,et al.  The Semantics of Data Flow DiagramsP , 1993 .

[21]  Robert B. France,et al.  A Two-Dimensional View of Integrated Formal and Informal Specification Techniques , 1995, ZUM.

[22]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[23]  Lesley Semmens,et al.  Using Yourdon and Z: an Approach to Formal Specification , 1990, Z User Workshop.

[24]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[25]  Matthew Hennessy,et al.  Semantics of programming languages - an elementary introduction using structural operational semantics , 1990 .

[26]  Søren Christensen,et al.  Modelling and Simulation of a Network Management System using Hierarchical Coloured Petri Nets: Extended version , 1994 .

[27]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[28]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[29]  M. A. Jackson,et al.  Structured Systems Analysis: Tools and Techniques , 1980 .

[30]  Kurt Jensen,et al.  Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.