Sciweavers

Share
CIBSE
2009
ACM

A two-level formal semantics for the QVT language

10 years 1 months ago
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.
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut
Added 28 May 2010
Updated 28 May 2010
Type Conference
Year 2009
Where CIBSE
Authors Roxana S. Giandini, Claudia Pons, Gabriela Pérez
Comments (0)
books