A two-level formal semantics for the QVT language

Mostrar todas las versiones(2)
Detalles Bibliográficos
Autor Principal: Giandini, Roxana Silvia
Otros autores o Colaboradores: Pons, Claudia Fabiana, Pérez, Gabriela
Formato: Capítulo de libro
Lengua:español
Temas:
INGENIERÍA (DISCIPLINA)
LENGUAJES DE PROGRAMACIÓN
QVT
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)

MARC

LEADER 00000naa a2200000 a 4500
003 AR-LpUFIB
005 20250423183023.0
008 230201s2009 ag o 000 0 spa d
024 8 |a DIF-M3126  |b 3230  |z DIF003036 
040 |a AR-LpUFIB  |b spa  |c AR-LpUFIB 
100 1 |a Giandini, Roxana Silvia  |9 45470 
245 1 0 |a A two-level formal semantics for the QVT language 
300 |a Datos electrónicos (1 archivo: 247 KB) 
500 |a 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) 
520 |a 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. 
534 |a Conferencia Iberoamericana en Software Engineering CIbSE (12nd : 2009 : Medellín) 
650 4 |a INGENIERÍA (DISCIPLINA)  |9 43042 
650 4 |a LENGUAJES DE PROGRAMACIÓN  |9 42697 
650 4 |a QVT  |9 46999 
700 1 |a Pons, Claudia Fabiana  |9 44762 
700 1 |a Pérez, Gabriela  |9 46361 
856 4 0 |u www.lifia.info.unlp.edu.ar/papers/2009/GiandiniPaper13.pdf 
942 |c CP 
952 |0 0  |1 0  |4 0  |6 A0238  |7 3  |8 BD  |9 77721  |a DIF  |b DIF  |d 2025-03-11  |l 0  |o A0238  |r 2025-03-11 17:03:03  |u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1380  |w 2025-03-11  |y CP 
999 |c 52890  |d 52890 

Ejemplares similares