An integrated approach to teaching requirements modelling
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.
KeywordsFormal Method Event Response Structure Method Graphical Notation Formal Notation
Unable to display preview. Download preview PDF.
- 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.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.Austin, S. & Parkin, G. I., Formal Methods: A Survey, National Physical Laboratory, Queens Road, Teddington, Middlesex, TW 110LW, UK, 1993.Google Scholar
- 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.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.Hall, A., Seven myths of formal methods, IEEE Software, September 1990, 11–19.Google Scholar
- 7.Hall, A., Development of an Air Traffic Control System, BCS/FACS Workshop, Imperial College, London, December 1992.Google Scholar
- 8.Hamilton, V., Experiences of combining Yourdon and VDM, Methods Integration Workshop, Leeds Metropolitan University, September 1991.Google Scholar
- 9.Hodgson, R. & Dunne, S. E., Process, data, and behaviour (perspectives on system development), Information and Software Technology, 32 (8), 1990.Google Scholar
- 10.Jackson, M., Systems Development, Prentice-Hall, 1981.Google Scholar
- 11.Jones, C. B., Systematic Software Development Using VDM, Prentice-Hall, 1986.Google Scholar
- 12.Mellor, S. J. & Ward, P. T, Structured Development for Real-Time Systems, Yourdon Press, 1985.Google Scholar
- 13.Milner, R., Communication and Concurrency, Prentice-Hall, 1989.Google Scholar
- 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.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.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.Shlaer, S. & Mellor, S. J., Object-Oriented Systems Analysis: Modeling the World in Data, Yourdon Press, Englewood Cliffs, N.J., 1988.Google Scholar
- 18.Spivey, J. M., The Z Notation: A Reference Manual, (2nd edition) Prentice-Hall, 1992.Google Scholar
- 19.SSADM Version 4 Reference Manual, NCC/Blackwell, Oxford, 1990Google Scholar
- 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.Yourdon, E., Modern Structured Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1989.Google Scholar