ECEASST 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 implement-ing 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 am-biguous 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 incom-plet 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