CD2Alloy: Class Diagrams Analysis Using Alloy

S. Maoz, J.O. Ringert. Expressive and Faster Class Diagrams Analysis using a New Translation to Alloy. Submitted.

• New materials made available to reviewers.

S. Maoz, J. O. Ringert, B. Rumpe: CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. In: Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 592-607, LNCS 6981, 2011.

• CD2Alloy plugin prototype implementation plugin for Eclipse (Oct. 2012)
• CD2Alloy plugin readme and installation instructions (Oct. 2012)
• Example CDs as Eclipse project (Oct. 2012)
• CD2Alloy complete translation report from CDs to Alloy and back to ODs (Oct. 2012)