A feedback technique for unsatisfiable UML/OCL class diagrams
Article first published online: 24 JUN 2013
Copyright © 2013 John Wiley & Sons, Ltd.
Software: Practice and Experience
Volume 44, Issue 11, pages 1379–1393, November 2014
How to Cite
2014), A feedback technique for unsatisfiable UML/OCL class diagrams, Softw. Pract. Exper., 44, pages 1379–1393, doi: 10.1002/spe.2211, and (
- Issue published online: 7 OCT 2014
- Article first published online: 24 JUN 2013
- Manuscript Accepted: 9 MAY 2013
- Manuscript Revised: 8 MAY 2013
- Manuscript Received: 7 MAY 2012
- model slicing;
- feedback technique and slicing UML/OCL models with feedback
In Model-Driven Development (MDD), detection of model defects is necessary for correct model transformations. Formal verification tools and techniques can to some extent verify models. However, scalability is a serious issue in relation to verification of complex UML/OCL class diagrams. We have proposed a model slicing technique that slices the original model into submodels to address the scalability issue. A submodel can be detected as unsatisfiable if there are no valid values for one or more attributes of an object in the diagram or if the submodel provides inconsistent conditions on the number of objects of a given type. In this paper, we propose a novel feedback technique through model slicing that detects unsatisfiable submodels and their integrity constraints among the complex hierarchy of an entire UML/OCL class diagram. The software developers can therefore focus their revision efforts on the incorrect submodels while ignoring the rest of the model. Copyright © 2013 John Wiley & Sons, Ltd.