Abstract
This paper presents a methodology which covers the development life-cycle from requirements analysis to validation. The methodology integrates the object-oriented methodology OMT with the formal description technique SDL. OMT is used for requirements analysis. Because OMT does not have a defined semantics it is not suited for design, OMT*, a dialect of OMT, is used for system level design and SDL is used for detailed module design. The methodology bridges the gap between analysis and design by using a consistent notation in both. Simulation of an SDL design allows designers to validate the internal correctness of the design and to check that its behaviour matches the behaviour specified in the analysis and system design models. The methodology is illustrated with a simple case study.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CCITT, Z.100, CCITT Specification and Description Language, 1988.
P.B. Checkland and J. Scholes. Soft Systems Methodology in Action, John Wiley & Sons Ltd., ISBN 0471927686, 1990.
INSYDE-Deliverable 1.2: “Application Guidelines”, ESPRIT-III Project P8641, Public Report, April 1995.
ITU-T, Z.100 Annex 1 (SDL’92 User Guidelines), ITU Specification and Description Language, Geneva, 1993.
ITU-T, Z.120, Message Sequence Chart (MSC), 1993.
I. Jacobson, M. Christerson, P. Jonsson, G. Overgaard. Object-oriented software engineering: a use case driven approach, Addison-Wesley, revised 4th edition, ISBN 0201544350, 1992.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object Oriented Modelling and Design, Prentice Hall, International Editions, ISBN 0136298419, 1991.
GEODE Simulator, Verilog SA, October 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this paper
Cite this paper
Sinclair, D., Clynch, G., Stone, B. (1996). An Object-Oriented Methodology from Requirements to Validation. In: Murphy, J., Stone, B. (eds) OOIS’ 95. Springer, London. https://doi.org/10.1007/978-1-4471-1009-5_24
Download citation
DOI: https://doi.org/10.1007/978-1-4471-1009-5_24
Publisher Name: Springer, London
Print ISBN: 978-3-540-76010-8
Online ISBN: 978-1-4471-1009-5
eBook Packages: Springer Book Archive