Mise en Correspondance Intermodèle
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une correspondance systématique entre modèles (éventuellement de signatures ou domaines différents) qui relie éléments, structure et satisfaction afin de comparer ou traduire du contenu sémantique entre modèles.