Inom modelldriven mjukvaruutveckling har modellomvandling blivit en nyckelaktivitet. Det avser en mängd olika verksamheter som ändrar en modell för olika ändamål såsom analys, optimering och kodgenerering. De flesta av dessa omvandlingar måste vara dubbelriktade till t.ex. rapportera analysresultat, eller hålla samstämmighet mellan modeller. I flera tillämpningsorienterade papper har det visat sig att triple graf grammatik är ett lovande tillvägagångssätt för dubbelriktade modeller transformationer. Men hittills finns det inget formellt resultat som visar under vilket villkor motsvarande framåt- och bakåtomvandlingar är omvänt mot varandra i betydelsen informationsbevarande. Detta problem löses i denna uppsats baserat på allmänna resultat för teorin om algebraiska graftransformationer. Resultaten illustreras av en omvandling av klassmodeller till relationella databasmodeller som har blivit ett kvasistandardexempel för modellomvandling.
I REF har det undersökts under vilka förhållanden en given framåt omvandling har en omvänd bakåt omvandling, men semantisk korrekthet har ännu inte beaktats.
Information preserving bidirectional model transformations
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}