How My Favorite Tool Supporting OCL Must Look Like

Abstract

At this time, to decide on which tool supporting OCL to use, is a difficult task. This is influenced by a number of objective factors, including: the user's needs, knowledge of existing tools, knowledge of the Object Constraint Language and of
the various possibilities of using it. Today, each tool maker states about implementing new features compared with the existent tools; moreover, different tools return different results when evaluating identical OCL specifications in the same context. A reason of this state of facts is due to the concepts which are incomplete or ambiguous specified in the standard. Therefore, before describing the criteria proposed
for assessing tools supporting OCL, the following topics are examined: features that distinguish OCL within the modeling languages family, some aspects incomplet or ambiguous described in the OCL specification, main functionalities that a
tool supporting OCL should implement, the universe of tools supporting OCL. In the end, five representative tools are characterized with respect to the functionalities proposed to be implemented by an ideal tool.