This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Informal and Formal Requirements Specification Languages: Bridging the Gap
May 1991 (vol. 17 no. 5)
pp. 454-466

The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal and formal languages, respectively, two approaches are presented for integrating the two. The first approach uses the SA model of a system to guide the analyst's understanding of the system and the development of the VDM specifications. The second approach proposes a rule-based method for generating VDM specifications from a set of corresponding SA specifications. The two approaches are illustrated through a simplified payroll system case. The issues that emerge from the use of the two approaches are reported.

[1] D. Andrews and P. Gibbins,An Introduction To Formal Methods Of Software Development. Milton Keynes, UK: The Open University Press, 1988, Units 1-4.
[2] M. L. Bariff, "Information requirements analysis: Methodological review," Case Western Reserve Univ., unpublished paper, 1978.
[3] R. N. Charette,Software Engineering Environments: Concepts and Technology. New York; McGraw-Hill, 1986.
[4] C. Chedgey, S. Kearney, and H.-J. Kugler, "Using VDM in an object-oriented development method for ada software," inLecture Notes in Computer Science 252: VDM '87, VDM-A Formal Method at Work, D. Bjorner, C. B. Jones, M. Mac an Airchinnigh, and E. Neuhold, Eds. New York: Springer-Verlag, 1987, pp. 63-76.
[5] S. A. Conger, M.D. Fraser, R. A. Gagliano, K. Kumar, E. R. McLean, G.S. Gwen, and V.K. Vaishnavi, "A structured stepwise refinement method for VDM," inProc. 8th. Ann. Conf. Ada Technology, Atlanta, GA, Mar. 1990.
[6] R. J. Crispin, "Experiences using VDM in STC," inLecture Notes in Computer Science 252: VDM '87, VDM-A Formal Method at Work, D. Bjorner, C. B. Jones, M. Mac an Airchinnigh, and E. Neuhold, Eds. New York: Springer-Verlag, 1987, pp. 63-76.
[7] G. B. Davis, "Information analysis for information systems development," inSystems Analysis and Design: A Foundation for the 1980's, W. W. Cotterman, J.D. Cougar, N.L. Enger, and F. Harold, Eds. Amsterdam, The Netherlands: North-Holland 1981.
[8] G. B. Davis, "Strategies for information requirements determination,"IBM Syst. J., vol. 21, no. 1, 1982.
[9] T. DeMarco,Structured Analysis and System Specification. New York: Yourdon, 1978
[10] D.A. Duce and E. V. C. Fielding, "Formal specification of a small example based on GKS,"ACM Trans. Graphics, vol. 7, pp. 180-197, 1988.
[11] P. Ein-Dor and E. Segev,A Paradigm for Management Information Systems. Boston, MA: Heath/Lexington Books, 1981.
[12] P. Freeman and A. Wasserman,A Tutorial on Software Design Techniques, 3rd ed. Washington, DC: IEEE Computer Society Press, 1980.
[13] P. Freeman "Why Johnny can't analyse?"Systems Analysis and Design: A Foundation for the 1980's, W. W. Cotterman, J. D. Cougar, N.L. Enger, and F. Harold, Eds. Amsterdam, The Netherlands: North-Holland 1981.
[14] C. Gane and T. Sarson,Structured Systems Analysis: Tools and Techniques. Englewood Cliffs, NJ: Prentice-Hall, 1979.
[15] G. Goldkuhl, "Information systems requirements based on a language action view-A methodological outline," inProc. 6th Scandinavian Research Seminar Systemeering, Bergen, Norway, Aug. 1983.
[16] M. Haß"Development and application of a Meta-IV compiler," inLecture Notes in Computer Science 252: VDM '87, VDM-A Formal Method at Work, D. Bjorner, C. B. Jones, M. Mac an Airchinnigh, and E. Neuhold, Eds. New York: Springer-Verlag, 1987, pp. 118-140.
[17] J. Ivari, "Levels of abstraction as a conceptual framework for an information system, inProc. IFIP WG8.1 Working Conf. Information Systems Concepts: An In-Depth Analysis, Namur, Belgium, Oct. 18-20, 1989.
[18] C.B. Jones,Systematic Software Development Using VDM, Prentice Hall Int'l, 1986.
[19] K.D. Jones, "Support environments for VDM," inLecture Notes in Computer Science 252: VDM '87, VDM-A Formal Method at Work. D. Bjorner, C. B. Jones, M. Mac an Airchinnigh, and E. Neuhold, Eds. New York: Springer-Verlag, 1987, pp. 110-117.
[20] W. C. Kabat, W. Kozaczynski, and V. Lovegreen, "Logic based information system verification," inProc. 7th Int. Conf. Information Systems, L. Maggi, R. Zmud, and J. Wetherbe, Eds., San Diego, CA, Dec. 15-17, 1986, pp. 1-14.
[21] R.A. Kemmerer, "Integrating formal methods into the development process,"IEEE Software, pp. 37-50, Sept. 1990.
[22] Information Engineering Workbench/Workstation User Guides: Analysis, Planning and Design, Version 5.0, KnowledgeWare, Inc., Atlanta, GA, 1988.
[23] C.H. Kung, "Conceptual modeling in the context of software development,"IEEE Trans. Software Eng., vol. 15, pp. 1176-1187, Oct. 1989.
[24] B. Langefors,Theoretical Analysis of Information Systems, 4th ed. Lund, Sweden: Studentlitteratur, 1973.
[25] L. B. Methlie, "System requirements analysis-Methods and models," inThe Information Systems Environment, H. C. Lucaset al., Eds. Amsterdam, The Netherlands: North-Holland, 1980.
[26] R.T. Mittermeir, P. Hsia, and R.T. Yeh, "Alternatives to overcome the communication problems of formal requirements analysis," inRequirements Engineering Environments, Ohno, Ed. Amsterdam, The Netherlands: North-Holland 1982; see also,Information Analysis: Selected Readings, R. Galliers, Ed. Reading, MA: Addison-Wesley, 1987, pp. 153-165.
[27] J. D. Naumann, G. B. Davis, and J. D. McKeen, "Determining information requirements: A contingency method for selection of requirements assurance strategy,"J. Syst. Software, vol. 1 no. 4, 1980.
[28] W.T. Olle, J. Hagelstein, I. G. MacDonald, C. Rolland, H. G. Sol, F. J. M. Van Assche, and A. Verjjin-Stuart,Information Systems Methodologies: A Framework for Understanding. Reading, MA: Addison-Wesley, 1988.
[29] D. O'Neill, "VDM development with Ada as the target language," inLecture Notes in Computer Science 328: VDM '88, VDM-The Way Ahead, R. Bloomfield, L. Marshall, and R. Jones, Eds. New York: Springer-Verlag, 1988, pp. 116-123.
[30] J. S. Pedersen and M. H. Klein, "Using the Vienna Development Method (VDM) to formalize a communications protocol," Software Eng. Res. Inst., Carnegie Mellon Univ., Pittsburgh, PA, Tech. Rep. CMU/SEI-88- TR-26, ESD-TR-88-027, 1988.
[31] P. Place, Software Eng. Res. Inst., Carnegie Mellon Univ., Pittsburgh, PA, private communication, Feb. 1990.
[32] D. T. Ross, "Structured Analysis (SA): A language for communicating ideas,"IEEE Trans. Software Eng., vol. SE-3, pp. 16-34, Jan. 1977.
[33] D. T. Ross and K. E. Schoman Jr., "Structured analysis for requirements specification,"IEEE Trans. Software Eng., vol. SE-3, pp. 6-15, Jan 1977.
[34] U. Schmidt, and R. Voller, "Experience with VDM on Norsk data," inLecture Notes in Computer Science 252: VDM '87, VDM-A Formal Method at Work, D. Bjorner, C. B. Jones, M. Mac an Airchinnigh, and E. Neuhold, Eds. New York: Springer-Verlag, 1987, pp. 49-62.
[35] I. Shemer, "Systems analysis: A systemetic analysis of a conceptual model,"Commun. ACM, vol. 30 no. 6, pp. 506-512, June 1987.
[36] J. R. Valusek and D. G. Fryback, "Information requirements determination: Obstacles within, among, and between participants," inProc. End-User Computing Conf., ACM, 1985.
[37] A. Verrijn-Stuart, "Themes and trends in information systems: TC8, 1975-1985,"Comput. J., vol. 30, no. 2, pp. 97-109, 1987.
[38] 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.
[39] P. T. Ward and S. J. Mellor,Structured Development for Real-Time Systems. New York: Yourdon, 1985.
[40] R. J. Welke, "Current information system analysis and design approaches: Framework, overview, comments, and conclusions," inEducation and Large Information Systems, R. A. Buckingham, Ed. Amsterdam, The Netherlands: North-Holland, 1977
[41] R. J. Welke, "IS/DSS: DBMS support for information systems development," inDataBase Management: Theory and Applications, C. W. Holsapple and A. B. Whinston, Eds. 1983, pp. 195-250.
[42] J. M. Wing, "A specifier's introduction to formal methods,"Computer, vol. 23, no. 9, pp. 8-24, 1990.
[43] T. Wood-Harper, L. Antil, and D. Avison,Information Systems Definition: The Multi-view Approach. London: Blackwell, 1985.
[44] E. Yourdon, "Whatever happened to structured analysis?"Datamation, pp. 133-136, June 1, 1986.
[45] E. Yourdon,Modern Structured Analysis, Yourdon Press, New York, 1989.

Index Terms:
informal languages; requirements specification languages; structured analysis; Vienna development method; VDM; formal languages; rule-based method; payroll system; formal languages; formal specification; payroll data processing; specification languages; systems analysis
Citation:
M.D. Fraser, K. Kumar, V.K. Vaishnavi, "Informal and Formal Requirements Specification Languages: Bridging the Gap," IEEE Transactions on Software Engineering, vol. 17, no. 5, pp. 454-466, May 1991, doi:10.1109/32.90448
Usage of this product signifies your acceptance of the Terms of Use.