Transforming use case models to class models and OCL-specifications

  • Authors:

  • B. Roussev;J. Wu

  • Affiliations:

  • University of the Virgin Islands, Kingshill, VI;Florida Atlantic University, Boca Raton, FL

  • Venue:
  • International Journal of Computers and Applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.