Enhancing the Understandability of OCL Specifications

Alexandre CorreaCláudia WernerMárcio Barros

OCL (Object Constraint Language) is the OMG standard language for the precise specification of constraints associated to MOF-compliant models and meta-models. Although OCL has been created with the intention to be a simpler language when compared to traditional formal specification languages, it is common to find specifications containing OCL constraints that are difficult to understand and evolve. This paper presents a set of potential problematic constructions often found in specifications written in OCL and a set of refactorings that can be applied to remove them. We also present an experimental study that has been performed to evaluate the effects of applying those strategies on the understandability of OCL specifications.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: