Abstract | ||
---|---|---|
The object constraint language (OCL) plays an important role in the elaboration of precise models. Although OCL was designed
to be both formal and simple, OCL specifications may be difficult to understand and evolve, particularly those containing
complex or duplicated expressions. In this paper, we discuss how refactoring techniques can be applied in order to improve
the understandability and maintainability of OCL specifications. In particular, we present several potentially bad constructions
often found in OCL specifications and a collection of refactorings that can be applied to replace such constructions by better
ones. We also briefly discuss how refactorings can be automated and how model regression testing can be used to increase our
confidence that the semantics of an OCL specification has been preserved after manually performed refactorings. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/s10270-006-0023-y | Software and System Modeling |
Keywords | DocType | Volume |
object constraint language,regression testing | Journal | 6 |
Issue | ISSN | Citations |
2 | 1619-1374 | 10 |
PageRank | References | Authors |
0.71 | 14 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alexandre L. Correa | 1 | 62 | 8.77 |
Cláudia Werner | 2 | 71 | 5.57 |