Tesis doctoral de Carvalho Almeida Santos Inació Fernando
En esta tesis se investiga el alcance del concepto de modelo de producto en el modelado de edificio sólo como soporte a la verificación automática y exhaustiva de normas de diseño de edificios y se plantea un conjunto de conceptos relacionados, como: metamodelo de producto, modelo normativo de producto y metamodelo integrado específico. Además, se considera en particular la utilización del modelo de edificio ifc y del lenguaje formal de modelado uml, así como la aplicación del planteamiento a un reglamento específico de edificios de vivienda (la norma portuguesa rgeu). en el trabajo se refiere, como revisión: el análisis de distintos modelos de edificio y de métodos y lenguajes de modelado. Como definición metodológica, se incluye: la formalización de un marco conceptual: la justificación de las opciones específicas: el desarrollo de un esquema de correspondencia entre los lenguajes express y uml; la evaluación detallada y la traducción a uml del modelo ifc; y la evaluación de la norma rgeu. Finalmente, como producción, se presenta; el desarrollo del modelo de edificio rgeu; la especificación de un metamodelo integrado ifc-rgeu; y un ejemplo de aplicación a un edificio concreto.
Datos académicos de la tesis doctoral «Modelización de edificios de viviendas para la verificación automática de requisitos formales asociados a las normas generales de construcción, un desarrollo basado en los estándares ifc y uml«
- Título de la tesis: Modelización de edificios de viviendas para la verificación automática de requisitos formales asociados a las normas generales de construcción, un desarrollo basado en los estándares ifc y uml
- Autor: Carvalho Almeida Santos Inació Fernando
- Universidad: Sevilla
- Fecha de lectura de la tesis: 10/02/2003
Dirección y tribunal
- Director de la tesis
- Francisco Hernández Rodríguez
- Tribunal
- Presidente del tribunal: alberto Donaire rodríguez
- Sánchez steiger garí§ao adolfo (vocal)
- Antonio Martín navarro (vocal)
- Silva marques tavares farinha María fátima (vocal)