An integrated approach to teaching requirements modelling

  • Pat Allen
  • Lesley Semmens
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 895)


The production of a sound specification is fundamental to good software engineering. This paper introduces a conceptual framework for requirements modelling and goes on to discuss the role of mathematics in requirements specification.

An example of our teaching approach using some of Shlaer and Mellor's OOA notations together with the formal specification notation Z is given. This example shows how the three perspectives: data, process and event can be represented using both conventional graphical techniques and formal notations.

We describe the tools we use and are developing including a “specification assistant” which supports both graphical and formal representations of specifications. Examples of industrial practice are given.

Results from the use of an integrated approach on a range of university courses are discussed and evaluated.


Formal Method Event Response Structure Method Graphical Notation Formal Notation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Allen, P. M. & Semmens, L. T., Teaching formal and structured methods: an integrated approach, 2nd All-Ireland Conference on Teaching Computing, Dublin, September 1994.Google Scholar
  2. 2.
    Aujla, S., Bryant, T. & Semmens, L. T., A rigorous review technique: using formal notations within conventional development methods, Software Engineering Standards Symposium, Brighton, UK, August/September 1993, IEEE Computer Society.Google Scholar
  3. 3.
    Austin, S. & Parkin, G. I., Formal Methods: A Survey, National Physical Laboratory, Queens Road, Teddington, Middlesex, TW 110LW, UK, 1993.Google Scholar
  4. 4.
    Collins, B. P., Nicholls, J. E & Sorenson, I. H., Introducing formal methods: the CICS experience with Z, IBM United Kingdom Laboratories, Hursley Park, Winchester and Programming Research Group, Oxford University, 1988.Google Scholar
  5. 5.
    Fencott, P. C., Lockyer, M. A. & Taylor, P., Experiences in integrating structured and formal notations for real-time systems, Methods Integration Workshop, Leeds Metropolitan University, September 1991.Google Scholar
  6. 6.
    Hall, A., Seven myths of formal methods, IEEE Software, September 1990, 11–19.Google Scholar
  7. 7.
    Hall, A., Development of an Air Traffic Control System, BCS/FACS Workshop, Imperial College, London, December 1992.Google Scholar
  8. 8.
    Hamilton, V., Experiences of combining Yourdon and VDM, Methods Integration Workshop, Leeds Metropolitan University, September 1991.Google Scholar
  9. 9.
    Hodgson, R. & Dunne, S. E., Process, data, and behaviour (perspectives on system development), Information and Software Technology, 32 (8), 1990.Google Scholar
  10. 10.
    Jackson, M., Systems Development, Prentice-Hall, 1981.Google Scholar
  11. 11.
    Jones, C. B., Systematic Software Development Using VDM, Prentice-Hall, 1986.Google Scholar
  12. 12.
    Mellor, S. J. & Ward, P. T, Structured Development for Real-Time Systems, Yourdon Press, 1985.Google Scholar
  13. 13.
    Milner, R., Communication and Concurrency, Prentice-Hall, 1989.Google Scholar
  14. 14.
    Rawson, M. G., Allen, P. M, & Semmens, L. T., Z-Builder: a formal object-oriented method and tool, Technical Report, School of Computing and Maths, University of Huddersfield, 1994.Google Scholar
  15. 15.
    Semmens, L. T. & Allen, P. M., A formal definition of the Yourdon essential model, Technical Report IESl/91, Leeds Metropolitan University, Faculty of Information and Engineering Systems, 1991.Google Scholar
  16. 16.
    Semmens, L. T., France, R. B. & Docker, T. W. G., Integrated structured analysis and formal specification techniques, The Computer Journal, 35 (6), 600–610, 1992.Google Scholar
  17. 17.
    Shlaer, S. & Mellor, S. J., Object-Oriented Systems Analysis: Modeling the World in Data, Yourdon Press, Englewood Cliffs, N.J., 1988.Google Scholar
  18. 18.
    Spivey, J. M., The Z Notation: A Reference Manual, (2nd edition) Prentice-Hall, 1992.Google Scholar
  19. 19.
    SSADM Version 4 Reference Manual, NCC/Blackwell, Oxford, 1990Google Scholar
  20. 20.
    West, M. M. & Eaglestone, B. M., Software Development: Two approaches to animation of Z specifications using Prolog, Software Engineering Journal, 7 (4), 264–276, 1992.Google Scholar
  21. 21.
    Yourdon, E., Modern Structured Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Pat Allen
    • 1
  • Lesley Semmens
    • 2
  1. 1.School of Computing and MathematicsUniversity of HuddersfieldQueensgateUK
  2. 2.Faculty of Information and Engineering SystemsLeeds Metropolitan UniversityThe Grange, Beckett ParkUK

Personalised recommendations