A two-level formal semantics for the QVT language

Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In turn these output models may be transformed into another set of models until finally the output consists of program code that can be executed. Model transformation is the MDE engine. The QVT Language is a concrete linguistic object for expressing model transformations with a hybrid declarative/imperative nature. The semantics of the QVT is informally defined in natural language or by its translation to a formal language, but these approaches are only focused on one dialect of QVT: Relations Language or Operational Mappings Language. They do not cover the hybrid nature of QVT. In this paper we provide a formal semantics for the entire QVT language, embracing and synchronizing its two dimensions: declarative and operational.

• Type: Conference
• Year: 2009
• Where: CIBSE
• Authors: Roxana S. Giandini, Claudia Pons, Gabriela Pérez
• Keywords: CIBSE 2009, Model Driven Engineering, Model Transformations, Qvt Language, Software Engineering