Informal and Formal Requirements Specification Languages: Bridging the Gap

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]  Kevin D. Jones.  Support Environments for VDM , 1987, VDM Europe.

[2]  David A. Duce,et al.  Formal specification of a small example based on GKS , 1988, TOGS.

[3]  Alex A. Verrijn-Stuart,et al.  Themes and Trends in Information Systems: TC8, 1975-1985 , 1986, Comput. J..

[4]  John R. Valusek,et al.  Information requirements determination: obstacles within, among and between participants , 1985, SIGCPR '85.

[5]  P. Ein-Dor,et al.  A paradigm for management information systems , 1981 .

[6]  David E. Avison,et al.  Information Systems Definition: The Multiview Approach , 1985 .

[7]  Uwe Schmidt,et al.  Experience with VDM in Norsk Data , 1987, VDM Europe.

[8]  Itzhak Shemer,et al.  Systems analysis: a systemic analysis of a conceptual model , 1987, CACM.

[9]  Gordon B. Davis,et al.  Strategies for Information Requirements Determination , 1982, IBM Syst. J..

[10]  E. Yourdon.  What ever happened to structured analysis , 1986 .

[11]  Robert N. Charette,et al.  Software Engineering Environments: Concepts and Technology , 1986 .

[12]  David Chenho Kung,et al.  Conceptual Modeling in the Context of Development , 1989, IEEE Transactions on Software Engineering.

[13]  Hans-Jürgen Kugler,et al.  Using VDM in an Object-Oriented Development Method for Ada Software , 1987, VDM Europe.

[14]  Juhani Iivari,et al.  Levels of Abstraction as a Conceptual Framework for an Information System , 1989, ISCO.

[15]  Mark Klein,et al.  Using the Vienna Development Method (VDM) to Formalize a Communication Protocol , 1988 .

[16]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .

[17]  David O'Neil.  VDM development with Ada as the target language , 1988 .

[18]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[19]  Gordon B. Davis,et al.  Determining information requirements: A contingency method for selection of a requirements assurance strategy , 1984, J. Syst. Softw..

[20]  Richard A. Kemmerer,et al.  Integrating formal methods into the development process , 1990, IEEE Software.

[21]  Henk Sol,et al.  Information Systems Methodologies: A Framework for Understanding , 1988 .

[22]  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.

[23]  Manfred Haß.  Development and Application of a Meta IV Compiler , 1987, VDM Europe.

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

[25]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[26]  Börje Langefors,et al.  Theoretical analysis of information systems , 1973 .

[27]  Roland T. Mittermeir,et al.  Alternatives to Overcome the Communications Problem of Formal Requirements Analysis. , 1982 .

[28]  R. J. Crispin.  Experience Using VDM in STC , 1987, VDM Europe.

[29]  Richard J. Welke,et al.  IS/DSS: DBMS Support for Information Systems Development , 1981, NATO ASI DBM.

[30]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[31]  Douglas T. Ross,et al.  Structured Analysis (SA): A Language for Communicating Ideas , 1977, IEEE Transactions on Software Engineering.