An Object-Oriented Methodology from Requirements to Validation

摘要

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 require-ments 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.