A two-level formal semantics for the QVT language

Título:

A two-level formal semantics for the QVT language

Autor:

Giandini, Roxana Silvia

Colaboradores:

; Pons, Claudia Fabiana; Pérez, Gabriela

Temas:

INGENIERÍA (DISCIPLINA)LENGUAJES DE PROGRAMACIÓNQVT

En:

Conferencia Iberoamericana en Software Engineering CIbSE (12nd : 2009 : Medellín)

Resumen:

Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one more models, 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 by its translation to a formal language, but these approaches are only focused on one dialect of QVT: Relations Language 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 synchronizing its two dimensions: declarative operational.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

Datos electrónicos (1 archivo: 247 KB)

Idioma:

Español

Publicación:

, 2009

Puede solicitar más fácilmente el ejemplar con: A0238

Ver estantes