Abstrakt. Vi presenterar CD2Alloy, en ny, kraftfull översättning av UML klassdiagram (CD) till legering. Till skillnad från befintliga översättningar, som bygger på en ytlig inbäddning strategi, och är därmed begränsade till att kontrollera konsekvens och generera överensstämmande objekt modeller av en enda CD, och stödja en begränsad uppsättning CD-språk funktioner, CD2Alloy använder en djupare inbäddningsstrategi. Istället för att kartlägga varje CD-konstruktion till en semantiskt likvärdig legeringskonstruktion definierar CD2Alloy (vissa) CD-konstruktioner som nya begrepp inom legering. Detta gör det möjligt att lösa flera analysproblem som omfattar mer än en cd och som inte kunde lösas genom tidigare verk, och stöder en utökad lista över cd-språkfunktioner. Idéerna implementeras i en prototyp Eclipse plug-in. Arbetet går vidare med den senaste tekniken inom cd-analys och kan också ses som en intressant fallstudie för olika möjliga översättningar av ett modellspråk till ett annat, deras styrkor och svagheter.
Författarna till CD2Alloy REF strävar efter en djup inbäddning genom att definiera klassdiagram konstruerar som nya begrepp inom legering, vilket till exempel möjliggör en jämförelse av två klassdiagram.
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited
{'venue': 'Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 592-607, LNCS 6981, 2011', 'journal': None, 'mag_field_of_study': ['Computer Science']}