Download Now Free registration required
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