Mobility

UML/OCL Verification in Practice

Download Now Free registration required

Executive Summary

In the MDD approaches, models become the primary artifact of the development process and the basis for code generation. Identifying defects early, at the model-level, can help to reduce development costs and improve software quality. There is an emerging need for verification techniques usable in practice, i.e. able to find and notify defects in real-life models without requiring a strong verification background or extensive model annotations. Some promising approaches revolve around the satisfiability property of a model, i.e. deciding whether it is possible to create a well-formed instantiation of the model. The paper will discuss existing solutions to this problem in the UML/OCL context.

  • Format: PDF
  • Size: 95.9 KB