Tool support for validating UML and OCL models through automatic snapshot generation

  • Authors:

  • Martin Gogolla;Mark Richters;Jörn Bohling

  • Affiliations:

  • University of Bremen, Computer Science Department, Database Systems Group, D-28334 Bremen, Germany;University of Bremen, Computer Science Department, Database Systems Group, D-28334 Bremen, Germany;University of Bremen, Computer Science Department, Database Systems Group, D-28334 Bremen, Germany

  • Venue:
  • SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper studies tool support for the testing and certification of UML and OCL models as supported by the validation tool USE. We describe the features available in the UML/OCL tool USE and extend its features by introducing a language for defining properties of desired snapshots and by showing how such snapshots are generated. We explain the functionality offered by the USE tool. In particular, we demonstrate how the diverse windows, e.g., object diagram, class invariant, class extent, or OCL expression evaluation window, support the development process in early phases of software development.