A two-level formal semantics for the QVT language
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Capítulo de libro |
| Lengua: | español |
| Temas: | |
| Acceso en línea: | www.lifia.info.unlp.edu.ar/papers/2009/GiandiniPaper13.pdf Consultar en el Cátalogo |
| 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. |
| Notas: | Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 04/05/2011) |
| Descripción Física: | Datos electrónicos (1 archivo: 247 KB) |