Formalizing Requirements Systematically
“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 TermsRequirements analysis Formal specification Modal logic Temporal logic
Unable to display preview. Download preview PDF.
- De Marco, T. Structured Analysis and System Specification Yourdon, 1978Google Scholar
- Mullery, G. ‘CORE — A method for controlled requirement specification’ Proc. 4th Int. Conf. Software Eng. IEEE Comp. Soc. Press, 1976Google Scholar
- Guttag, J. & Horning, J.J. Formal Specification as a Design Tool Xerox Palo Alto Research Centre Report CSL-80–1, 1980Google Scholar
- Hoare, C.A.R. Communicating Sequential Processes Prentice-Hall, 1985Google Scholar
- 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
- 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
- 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
- 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
- [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
- Jackson, M.A. ‘Constructive methods of program design’ Lecture Notes in Computer Science, 44: 236–262, Springer-Verlag, 1976Google Scholar
- Jackson, M.A. Principles of Program Design Academic Press, 1975Google Scholar
- 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
- 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