Year: 2006
Type: report
Abstract: The paper presents a formal algebraic framework, where model transformation can be specified in a truly generic way: the source and the target metamodels are parameters of the entire procedure.In more detail, the operation is specified as a special diagram operation well known in category theory under the name of pull-back.At the heart of the approach is a mapping between the two metamodels, which governs the entire translation procedure.An essential feature of the framework is that this mapping is allowed to map elements of one metamodel to elements that can be derived in the other metamodel (by posing suitable queries to it) but are not immediately present in it.This makes the pattern applicable to a wide range of practically interesting situations.
Author: Zinovy Diskin
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W5071508