Inom model-Driven Engineering-paradigm baseras programvaruutveckling på definitionen av modeller som ger olika syn på det system som ska konstrueras och modellomvandlingar som stöder en (semi)automatisk utvecklingsprocess. Verifieringen av modeller och modellomvandlingar är avgörande för att förbättra kvaliteten och tillförlitligheten hos de produkter som utvecklats med hjälp av detta paradigm. I detta sammanhang har kontrollen av en modellomvandling tre huvudkomponenter: själva omvandlingen, de egenskaper som berörs och de kontrolltekniker som används för att fastställa egenskaperna. I detta dokument presenterar vi en uttömmande genomgång av litteraturen om verifiering av modellomvandlingar som analyserar dessa tre komponenter. Vi tar också ett problembaserat tillvägagångssätt som exemplifierar de aspekter av intresse som skulle kunna verifieras på en modellomvandling och visa hur detta kan göras. Slutligen drar vi slutsatsen att det behövs en integrerad miljö för att ta itu med den heterogena kontrollen av modellomvandlingar.
En färsk översikt över metoderna för kontroll av modellomvandling finns i REF.
Verification of Model Transformations
{'venue': 'CLEI Selected Papers', 'journal': 'Electr. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}