Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Experimentation in software engineering: an introduction
Experimentation in software engineering: an introduction
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
A Quantitative Evaluation of Maintainability Enhancement by Refactoring
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Practical analysis for refactoring
Practical analysis for refactoring
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
An Experimental Investigation of Formality in UML-Based Development
IEEE Transactions on Software Engineering
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Measuring UML models using metrics defined in OCL within the SQUAM framework
Proceedings of the 14th international conference on Model driven engineering languages and systems
Hi-index | 0.00 |
The Object Constraint Language (OCL) is a OMG standard that plays an important role in the elaboration of precise models. However, it is not hard to find models and metamodels containing overly complex OCL expressions. Refactoring is a technique that can be used in this context since its goal is to reduce complexity by incrementally improving the internal software quality. Indeed several refactorings have already been proposed to improve the quality of OCL expressions. This paper presents the results of an empirical study that investigates the impact of poor OCL constructs, also known as OCL Smells, and OCL refactorings on the understandability of OCL expressions. Current results show that most refactorings significantly improve the understandability of OCL specifications.