Intermodellabbildung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine systematische Korrespondenz zwischen Modellen (gegebenenfalls unterschiedlicher Signaturen oder Domänen), die Elemente, Struktur und Erfüllbarkeit verknüpft, um semantische Inhalte zwischen Modellen zu vergleichen oder zu übersetzen.