Reglas de traducción de restricciones entre OCL y LN

Mostrar todas las versiones(2)
Detalles Bibliográficos
Autor Principal: Lopez, Danae Claudia
Otros autores o Colaboradores: Ibargüengoytia, María Amalia, Pons, Claudia Fabiana
Formato: Tesis
Lengua:español
Datos de publicación: 2017
Temas:
DESARROLLO DE SOFTWARE DIRIGIDO POR MODELOS - MDD
MODELOS
lenguaje natural
Acceso en línea:http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=2881
Consultar en el Cátalogo
Descripción Física:115 p. : il. col. + 1 CD-ROM
Tabla de Contenidos:
  • Capítulo 1: Introducción
  • 1.1 - Objetivo
  • 1.2 - Motivación
  • 1.3 - Desarrollos propuestos
  • 1.4 - Resultados esperados
  • 1.5 - Organización de la tesina
  • Capítulo 2: Desarrollo de Software dirigido por modelos
  • 2.1- Desarrollo de software dirigido por modelos (MDD)
  • 2.2.1 - Elementos clave
  • 2.2.1.1 - Abstracción
  • 2.2.1.2 - Automatización
  • 2.2.1.3 - Estándares
  • 2.2 - Problemas que el MDD viene a resolver
  • 2.3 - Tipos de modelos
  • 2.3.1 - Modelo independiente de la computación (CIM)
  • 2.3.2 - Modelo independiente de la plataforma (PIM)
  • 2.3.3 - Modelo específico de la plataforma (PSM)
  • 2.3.4 - El modelo de implementación (Código)
  • 2.3.5 - Ciclo de vida
  • 2.3.6 - Otras clasificaciones
  • 2.4 - Metamodelos
  • 2.4.1 - Qué es un metamodelo?
  • 2.4.2 - Transformaciones
  • 2.4.3 - Arquitectura de 4 capas
  • 2.4.4 - MOF
  • 2.4.4.1 - ECORE
  • 2.4.4.2 - EMF
  • Capítulo 3: Lenguajes
  • 3.1 - Definición
  • 3.2 - Clasificación
  • 3.2.1 - Lenguaje Natural
  • 3.2.2 - Lenguaje Formal
  • 3.2.3 - Diferencias entre Lenguaje Natural y Lenguaje Formal
  • 3.3 - Gramática
  • 3.4 - Jerarquía de Chomsky
  • 3.5 - Representación de gramáticas libres de contexto
  • 3.5.1 - BNF
  • 3.5.2 - EBNF
  • 3.5.2.1 - Reglas en EBNF
  • 3.5.2.2 - Recursión en EBNF
  • 3.5.2.3 - Validación de reglas EBNF
  • 3.6 - Lenguaje Natural
  • 3.6.1 - Castellano
  • 3.6.2 - Lenguaje natural limitado o reducido
  • Capítulo 4: Lenguaje Formal, OCL
  • 4.1 - Definición
  • 4.2 - Descripción de OCL
  • 4.3 - Restricciones en OCL
  • 4.3.1 - Precondición
  • 4.3.2 - Postcondición
  • 4.3.3 - Body
  • 4.3.4 - Definición
  • 4.4 - Expresión de valor inicial
  • 4.5 - Valores básicos y tipos
  • 4.5.1 - Valores indefinidos
  • 4.5.2 - Ajustes de tipos
  • 4.5.3 - Uso de operadores infijos
  • 4.5.4 - Expresiones Let
  • 4.6 - Colecciones
  • 4.6.1 - Operaciones en colecciones
  • 4.7 - Tipos predefinidos en OCL
  • 4.8 - Propiedades y Objetos
  • 4.8.1 - Propiedades
  • 4.8.2 - Atributos
  • 4.8.3 - Operaciones
  • 4.8.4 - Asociaciones y navegación
  • 4.8.5 - Características de clases
  • 4.8.6 - Propiedades predefinidas en todos los objetos
  • 4.9 - Package Context
  • Capítulo 5: Transformación de modelos
  • 5.1 - Transformaciones de modelos
  • 5.2 - Tipos de transformaciones
  • 5.2.1 - Nivel de abstracción de los modelos de entrada y salida
  • 5.2.2 - Tipo de lenguaje que se utiliza para especificar las reglas
  • 5.2.3 - Direccionalidad en las transformaciones
  • 5.2.4 - Dependiendo de los modelos origen y destino
  • 5.2.5 - Tipo de modelo destino
  • 5.3 - M2M
  • 5.3.1 - Manipulación Directa
  • 5.3.2 - Relacional
  • 5.3.3 - Grafos
  • 5.3.4 - Enfoques basados en la estructura
  • 5.3.5 - Híbridos
  • 5.3.6 - Herramientas
  • 5.3.6.1 - ATL
  • 5.3.6.2 - QVT
  • 5.3.6.3 - Viatra
  • 5.3.6.4 - Epsilon
  • 5.4 – M2T
  • 5.4.1 - Visitante
  • 5.4.2 - Plantilla
  • 5.4.3 - Herramientas
  • 5.4.3.1 - MOFScript
  • 5.4.3.2 - Acceleo
  • 5.4.3.3 - XPAND
  • 5.5 – Conclusiones
  • Capítulo 6: Herramientas
  • 6.1 - Transformación de Modelos en ATL
  • 6.1.1 - Visión general de las transformaciones ATL
  • 6.1.2 - Estructura de las transformaciones ATL, Modules
  • 6.1.2.1 - Header
  • 6.1.2.2 - Import
  • 6.1.2.2 - Helpers
  • 6.1.2.3 - Tipo de dato, ATL Module
  • 6.1.3 - Reglas de transformación
  • 6.1.3.1 - Tipos de reglas
  • 6.1.3.2 - Semántica de la ejecución de reglas
  • 6.1.3.3 - Características imperativas de ATL
  • 6.2 - Xtext
  • 6.2.1 - Introducción
  • 6.2.2 - Estructura Xtext
  • 6.2.3 - Gramática
  • 6.2.3.1 - Generar artefactos del lenguaje
  • 6.2.3.2 - Ejecutar el plug-in generado
  • 6.2.4 - El generador
  • 6.2.4.1 - Arquitectura General
  • 6.2.5 - Serialización
  • 6.2.5.1 - Parse Tree Constructor
  • 6.3 - Plugin OCL
  • 6.3.1 - Classic OCL
  • 6.3.2 - Complete OCL
  • 6.3.3 - Metamodelo Unificado o Pivot
  • Capítulo 7: Traducción
  • 7.1 - Modelo Ecore - Biblioteca
  • 7.2 - Reglas de traducción - ATL
  • 7.3 - Gramática - Lenguaje Natural Reducido
  • 7.4 - Invariante simple
  • 7.5 - Invariante compuesta
  • 7.6 - Invariante operación de colección (size, isEmpty, notEmpty)
  • 7.7 - Invariante con iterador
  • 7.7.1 - Valor booleano como salida
  • 7.7.2 - Nueva Colección como salida
  • Capítulo 8: Herramienta Desarrollada
  • 8.1 - Diseño
  • 8.2 - Implementación
  • 8.3 - Manual de uso
  • Capítulo 9: Trabajos Relacionados
  • 9.1 - UML/OCL a especificaciones SBVR: Transformación desafiante
  • 9.2 - Parafraseando expresiones OCL con SBVR
  • 9.3 - Verbalización de reglas: Aplicación a restricciones OCL en el dominio Utility
  • 9.4 - De especificaciones de software de lenguaje natural a modelos de clase UML
  • 9.5 - Generación de restricciones OCL a partir de una especificación en LN
  • 9.6 - Usabilidad de OCL: un gran desafío en la adopción de UML 1
  • 9.7 – Conclusiones
  • Capítulo 10: Conclusiones y Trabajos Futuros
  • 10.1 - Conclusiones
  • 10.2 - Trabajos Futuros
  • Referencias Bibliográficas
  • Glosario

Ejemplares similares