Abstract In Model Driven Engineering (Mde), modeller är förstklassiga medborgare, och modellomvandling är Mdes "hjärta och själ". Eftersom modellomvandlingar utförs för en familj av (överensstämmande) modeller, blir deras giltighet en avgörande fråga. I detta dokument föreslås att man undersöker frågan om den formella kontrollen av modellens omvandlingsegenskaper genom ett tredimensionellt tillvägagångssätt: omvandlingen i fråga, de berörda intressenas egenskaper och de formella kontrollmetoder som används för att fastställa egenskaperna. Detta arbete är avsett för en dubbel publik. För nykomlingar, ger det en handledning introduktion till området för formell verifiering av modeller transformationer. För läsare som är mer förtrogna med formella metoder och modellomvandlingar föreslås en litteraturgenomgång (även om den inte är systematisk) av fältens bidrag. Sammantaget gör detta arbete det möjligt att bättre förstå utvecklingen, trenderna och nuvarande praxis inom området för verifiering av modellers omvandling. Detta arbete öppnar en intressant forskningslinje för att bygga en konstruktion av modelltransformeringsverifiering som styrs av begreppet modelltransformerings intention.
Icke desto mindre skulle vi kunna tänka oss att anpassa de tekniker som används vid den formella kontrollen av modellbaserad transformation REF för att bevisa att vi bevarar semantiken i våra modeller i sammanställningen.
Formal Verification Techniques for Model Transformations: A Tridimensional Classification
{'venue': 'Journal of Object Technology', 'journal': 'Journal of Object Technology', 'mag_field_of_study': ['Computer Science']}