TRANSFORMING USE CASE MODELS TO CLASS MODELS AND OCL-SPECIFICATIONS

B. Roussev and J. Wu

Keywords

Software engineering, UML, objectoriented analysis, model transformation, analysis techniques

Abstract

In this paper we propose a process for generating formal objectoriented 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.

Important Links:



Go Back