Formal user-centred models

摘要

As informal requirements are usually expressed in terms of the behaviour which the environment expects from a system, we proposed that the construction of a formal and executable user-centred model should be used as an intermediate step in the construction of a formal object-oriented specification. Rapid prototyping can be used to validate the user-centred model with respect to the requirements and the informal task of validating the object-oriented specification can be replaced by the formal task of verifying that it is equivalent to the user-centred model. As an example of this approach, we show its use within the Rigorous Object-Oriented Analysis (ROOA) method.