Modellomvandlingar kan användas inte bara för kod- eller plattformsspecifik modellgenerering, utan även för definition av denomineringssemantik, t.ex. använda processalgebras som semantik för visuell modellering språk. Denotiska semantik av programmeringsspråk är per definition kompositionella. För att kunna åtnjuta en liknande egenskap vid modellomvandlingar bör varje komponent i källmodellen kunna särskiljas i målmodellen och kartläggningen vara förenlig med syntaktisk och semantisk sammansättning. Eftersom typade grafer är en naturlig representation av visuella modeller, beskrivs ofta modellomvandlingar av typade graftransformationer. I detta dokument föreslås en formell definition av kompositionalitet för kartläggningar från maskinskrivna grafer till semantiska domäner. För att kontrollera sammansättningen har syntaktiska kriterier fastställts för genomförandet av kartläggningarna genom graftransformationer med negativa tillämpningsvillkor. Ett exempel på kompositionsomvandling presenteras som kartlägger arkitektoniska modeller som beskrivs i UML-komponentdiagram till CSP.
I REF studeras begreppet kompositionalitet vid modellomvandling.
Compositionality of Model Transformations
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}