Abstrakt. Att kontrollera överensstämmelsen mellan ett objektdiagram (OD) och ett klassdiagram (CD) är ett viktigt analysproblem. Flera variationer i semantiken hos CD-skivor och OD-skivor, som används i olika sammanhang och för olika ändamål, skapar dock en utmaning för analysverktyg. För att ta itu med denna utmaning i detta dokument undersöker vi semantiskt konfigurerbar modellanalys. Vi formaliserar variabiliteten i språken semantik med hjälp av en funktionsmodell: varje konfiguration som modellen tillåter inducerar en annan semantik. Dessutom utvecklar vi en parametriserad analys som kan omedelbart anpassas till varje juridisk konfiguration av funktionsmodellen. Analysen är alltså semantiskt konfigurerad och dess resultat ändras enligt semantiken som induceras av den valda funktionskonfigurationen. Ideerna implementeras med hjälp av en parametriserad omvandling till legering. Arbetet kan ses som ett fallstudieexempel för en formell och automatiserad metod för att hantera semantisk variation i modellering av språk.
Maoz m.fl. REF-studiens överensstämmelse mellan ett objektdiagram och ett klassdiagram.
Semantically Configurable Consistency Analysis for Class and Object Diagrams
{'venue': 'Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand. pp. 153-167, LNCS 6981, 2011.', 'journal': None, 'mag_field_of_study': ['Computer Science']}