Applied use of Ehrenfeucht Fraisse Games — Model Transformation
The Object-Role Model Unifying Metamodel
I’ve released my research publicly so that it can be enjoyed by all, link below:
Applied Use of Ehrenfeucht Fraisse Games in Conceptual Model Management and Model Transformation
In essence, the thesis is that the model transformation technology behind the Boston Architecture behind the Boston Multi-Model Conceptual Modelling software and as aspired to by the likes of the Object Management Group (OMG) et al, is best described generically as an applied Ehrenfeucht Fraisse Game (EFG). A generic core metamodel (per Fagin et al) is exploited by way of differentiated interpretation using EFGs.
Object-Role Modeling and Ambiguity — Exploited for gain
The Boston Architecture relies on Object-Role Modeling, and theorems under Finite Model Theory (FMT) in general, being ambiguous when viewed through the lens of an Ehrenfeucht Fraisse Game. This ambiguity can be exploited for productive gain in transformation of conceptual models from one language to another. Common points of structure between different conceptual modelling languages become homomorphic points of structure between differentiated interpretations of the same set of theorems under a common metamodel.
The overall picture of the architecture is below: