This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
April 1992 (vol. 18 no. 4)
pp. 329-346

A method for associating a dataflow diagram (DFD) with a formal specification is described. The intention is to enhance the use of the DFD as a formal specification tool, thus gaining a tool that can be used to document application functionality in an understandable manner and, at the same time, be capable of producing a formal specification that can be used to rigorously investigate the semantic properties of the application. It is shown how the formal specifications characterizing semantic models ofDFDs can be used to investigate desired application properties of verify semantic decompositions of data transforms.

[1] E. Astesiano, A. Giovini, and G. Reggio, "Data in a concurrent environment," inProc. Int. Conf. on Concurrency. New York: Springer-Verlag, 1988.
[2] E. Astesiano and G. Reggio, "SMoLCS-driven concurrent calculi," inProc. TAPSOFT'87. New York: Springer-Verlag, 1987.
[3] E. Astesiano, G. Reggio, and M. Wirsing, "Relational specifications and observational semantics," inMathematics Basis for Computer Science(Lecture Notes in Comput. Sci., vol. 249). New York: Springer-Verlag, 1986.
[4] R. Balzer and N. Goldman, "Principles of good software specification and their implications for specification languages," inSoftware Specification Techniques. Reading, MA: Addison-Wesley, 1986.
[5] T. DeMarco,Structured Analysis and System Specification. Englewood Cliffs, NJ: Prentice-Hall, 1978.
[6] T. W. G. Docker, "A flexible software analysis tool,"Inform. Software Techn., vol. 29, no. 1, 1987.
[7] T. W. G. Docker, "SAME--A structured analysis tool and its implementation in Prolog," inLogic Program., Proc. 5th Int. Conf. Symp.Cambridge, MA: MIT Press, 1988.
[8] R. B. France, "A formal framework for data flow diagrams with control extensions," Ph.D. thesis, Massey Univ. (New Zealand), 1990.
[9] R. B. France and T. W. G. Docker, "A formal basis for structured analysis," inProc. Software Engineering'88, 1988.
[10] R. B. France, T. W. G. Docker, and C. H. E. Phillips, "Towards the integration of formal and informal techniques in software development environments," inProc. New Zealand Comput. Conf. NZCS, 1987.
[11] C. Gane and T. Sarson,Structured Systems Analysis: Tools and Techniques. Englewood Cliffs, NJ: Prentice-Hall, 1979.
[12] H. Gomaa, "Software development for real-time systems,"Commun. ACM, vol. 29, no. 7, 1986.
[13] D.J. Hatley and I. Pirbhai,Strategies for Real-Time System Specification, Dorset House, New York, 1987.
[14] P. Naur, "Formalization in program development,"Bit, vol. 22, 1982.
[15] P. Naur, "Intuition in software development," inFormal Methods and Software Development(Lecture Notes in Comput. Sci., vol. 186). New York: Springer-Verlag, 1985.
[16] L. Peters,Advanced Structured Analysis and Design. Englewood Cliffs, NJ: Prentice-Hall, 1988.
[17] C. A. Richter, "An assessment of structured analysis and structured design," inProc. Workshop on the Software Process and Software Environ. SIGSOFT(Software Eng. Notes, vol. 11, no. 4, 1986).
[18] L. Semmens and P. Allen, "Using Yourdon and Z: an approach to formal specification," inProc. Z User Workshop. New York: Springer-Verlag, 1991.
[19] P. Shoval, "ADISSA: architectural design of information systems based on structured analysis,"Inform: Syst., vol. 13, pp. 193-210, 1988.
[20] P. T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 198-210, Feb. 1986.
[21] M. Wirsing and M. Broy, "An analysis of semantic models for algebraic specifications," inTheoretical Foundations of Programming Methodology. Norwell, MA: Reidel, 1982.
[22] M. Woodman, "Yourdon dataflow diagrams: a tool for disciplined requirements analysis,"Inform. Software Tech., vol. 30, p. 9, 1988.
[23] R. Yeh, P. Zave, A. P. Conn, and G. E. Cole, "Software requirements: new directions and perspectives," inHandbook of Software Engineering. New York: Van Norstrand Reinhold, 1984.
[24] E. Yourdon,Modern Systems Analysis. Englewood Cliffs, NJ: Prentice-Hall, 1989.

Index Terms:
dataflow diagram; formal specification tool; application functionality; semantic properties; semantic decompositions; data transforms; diagrams; formal specification; systems analysis
Citation:
R.B. France, "Semantically Extended Dataflow Diagrams: A Formal Specification Tool," IEEE Transactions on Software Engineering, vol. 18, no. 4, pp. 329-346, April 1992, doi:10.1109/32.129221
Usage of this product signifies your acceptance of the Terms of Use.