Advertisement

Formalizing Requirements Systematically

  • Anthony Finkelstein
  • Colin Potts
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 143)

Abstract

“Structured Common Sense” (SCS) is a method for eliciting requirements and formalizing them in modal action logic (MAL). SCS was developed using the methodology of focussing on MAL’s principle concepts and abstract syntactic categories, and inventing or selecting techniques suitable for exactly those concepts. SCS is well suited to MAL because it is directly targeted on it.

We provide a brief review of MAL. The steps of SCS are outlined in more detail with illustrations from the specification of a simple system. The incorporation of temporal requirements, the structuring of larger specifications, iterative specification development and the role of tool support are discussed.

Index Terms

Requirements analysis Formal specification Modal logic Temporal logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Ross, D.T. & Shoman, K.E. ‘Structured analysis for requirements definition’ IEEE Trans. Software Emg. SE-3: 6–15, 1977CrossRefGoogle Scholar
  2. [2]
    De Marco, T. Structured Analysis and System Specification Yourdon, 1978Google Scholar
  3. [3]
    Mullery, G. ‘CORE — A method for controlled requirement specification’ Proc. 4th Int. Conf. Software Eng. IEEE Comp. Soc. Press, 1976Google Scholar
  4. [4]
    Guttag, J. & Horning, J.J. Formal Specification as a Design Tool Xerox Palo Alto Research Centre Report CSL-80–1, 1980Google Scholar
  5. [5]
    Zave, P. ‘The operational versus the conventional approach to software development’ Comm. ACM 27(2): 104–118, 1984CrossRefGoogle Scholar
  6. [6]
    Hoare, C.A.R. Communicating Sequential Processes Prentice-Hall, 1985Google Scholar
  7. [7]
    Maibaum, T.S.E. A Logic for the Formal Requirements Specification of Real-Time I Embedded Systems FOREST Report R3, GEC Research Laboratories, Marconi Research Centre, Great Baddow, Chelmsford, England, 1986Google Scholar
  8. [8]
    Cunningham, R.J., Finkelstein, A.C.W., Goldsack, S.J., Maibaum, T.S.E. & Potts, C. ‘Formal Requirements Specification — The FOREST Project’ Proc. 3rd Int. Workshop Software Specification & Design IEEE Comp. Soc. Press, 1985Google Scholar
  9. [9]
    Finkelstein, A.C.W. & Potts, C. ‘Structured Common Sense: The elicitation and formalization of system requirements’ in P.J. Brown and D.J. Barnes (Eds.) Software Engineering ‘86 Peter Peregrinus, 1986Google Scholar
  10. [10]
    Potts, C., Finkelstein, A.C.W., Aslett, M. & Booth, J. A Requirements Elicitation and Formalization Method for Real-Time/Embedded Systems, FOREST Report R2, GEC Research Laboratories, Marconi Research Centre, Great Baddow, Chelmsford, England, 1986Google Scholar
  11. [ll]
    Finkelstein, A.C.W. & Potts, C. Evaluation of Existing Requirements Extraction Strategies FOREST Report, Rl, GEC Research Laboratories, Marconi Research Centre, Great Baddow, Chelmsford, England, 1985Google Scholar
  12. [12]
    Jackson, M.A. ‘Constructive methods of program design’ Lecture Notes in Computer Science, 44: 236–262, Springer-Verlag, 1976Google Scholar
  13. [13]
    Jackson, M.A. Principles of Program Design Academic Press, 1975Google Scholar
  14. [14]
    Allen, J.F. ‘Maintaining knowledge about temporal intervals’ Comm. ACM 26(11): 832–843, 1983CrossRefzbMATHGoogle Scholar
  15. [15]
    Jordan, D., Glensiter, S.M.D., Tavendale, R.D. & Gallacher, R. Specification of a Support Environment for a Formal Requirements Specification Toolset FOREST Report R8, GEC Research Laboratories, Marconi Research Centre, Great Baddow, Chelmsford, England, 1986Google Scholar
  16. [16]
    Balzer, R., Cohen, D., Feather, M., Goldman, N., Swartout, W. & Wile, D. ‘Operational specification as the basis for specification validation’ in Ferrari, Boldognani & Goguen (Eds.) Theory and Practice of Software Technology North-Holland, 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Anthony Finkelstein
    • 1
  • Colin Potts
    • 1
  1. 1.Imperial College of Science and TechnologyLondonUK

Personalised recommendations