CD2Formula plugin

Materials

• Eclipse Europa distribution with the CD2Formula plugin Version 2.0.0. To be used with Java 6. Please, make sure that the Java JDK Compiler compliance level of the Eclipse distribution once installed is Java 6.
• CD2Formula plugin readme and installation instructions
• Comparison between CD2Formula and CD2Alloy. This document presents the conducted experiments to compare CD2Formula and CD2Alloy.
• CDs used in the comparison between CD2Formula and CD2Alloy. This document describes in more detail, the class diagrams together with their Formula representation, used in the experiments conducted for the comparison of CD2Formula and CD2Alloy.
• Translation of several CDs elements. This document describes in detail the translation and reasoning of several CDs which include simple and multiple inheritance with different types of inheritance partitions, and strong composition.
• Examples of CDs as an Eclipse project. This project includes a set of CDs from those we used in our experiments and in the comparison, including also their translations to Formula.

CD2Formula Papers

• B. Pérez and I. Porres (2014). An Overall Framework for Reasoning About UML/OCL Models Based on Constraint Logic Programming and MDA. International Journal on Advances in Software vol 7 no 1 & 2, 370–380.
• B. Pérez and I. Porres (2013). Reasoning About UML/OCL Models Using Constraint Logic Programming and MDA. In: Proceedings of the Eighth International Conference on Software Engineering Advances (ICSEA’13), pp. 228-233.