TRANSFORMING USE CASE MODELS TO CLASS MODELS AND OCL-SPECIFICATIONS

摘要

In this paper we propose a process for generating formal object-oriented specifications in OCL and class diagrams from the use case model of a system through a clearly defined sequence of model transformations. The algebraic invariant of business values exchanged in a use case guides the design of statechart descriptions for the actors and counter-actors, collectively called agents, of a use case. Each state in a statechart corresponds to a system state characterized by sending or receiving a business object to or from the system's environment. The system class model and OCL specifications are derived from the agents' statecharts. The proposed approach fills the gap between the outside behavioral system description as offered by use cases and the "first cut" at software architecture, the analysis level class model.