Tesis doctoral de Feliciano Sese Muniategui
Las técnicas de modelado conceptual son un componente esencial en un gran número de métodos de desarrollo de sistemas de información. Sin embargo, normalmente dedican muy poca –o ninguna- atención al problema de la validación del esquema conceptual. en este trabajo se explora una técnica que, partiendo del esquema conceptual, permite realizar especificaciones del sistema de información que son formales e inteligibles para los usuarios. La técnica que se propone está basada en la axiomatización de los formularios de empresa. Para ello, se define una gramática que permite expresar mediante fórmulas los formularios de empresa y se presenta un procedimiento que permite transformar el esquema conceptual en fórmulas de dicha gramática. El esquema conceptual así transformado representa el conjunto de axiomas del cálculo que, mediante un conjunto de reglas de inferencia que se proponen, permite obtener, como teoremas del cálculo, los formularios que utilizará el usuario. De esta manera, el usuario puede validar el esquema conceptual a través de los formularios que utilizará, y además se consigue una especificación formal del sistema a construir que los programadores no malinterpretarán. para comparar la propuesta con otras aproximaciones al problema, se estudian propuestas concretas de las áreas de la ingeniería del software, la ingeniería ontológica, el diseño ontológico, el modelado conceptual, la normalización de bases de datos y los métodos formales de especificación de sistemas. Se muestra que las posiciones que mantienen dichas propuestas respecto a la noción de información son distintas y en algunos casos contradictorias. Para mostrar esto, se estudian las diferentes posiciones que han mantenido a lo largo de la historia distintos filósofos frente a la noción de información. una comprensión más profunda de las premisas filosóficas que se asumen, normalmente de manera implícita, en los distintos méto
Datos académicos de la tesis doctoral «Propuesta de un metodo de validacion de esquemas conceptuales y analisis comparativo de la nocion de informacion en los metodos de desarrollo de sistemas de informacion«
- Título de la tesis: Propuesta de un metodo de validacion de esquemas conceptuales y analisis comparativo de la nocion de informacion en los metodos de desarrollo de sistemas de informacion
- Autor: Feliciano Sese Muniategui
- Universidad: Ramón llull
- Fecha de lectura de la tesis: 16/02/2007
Dirección y tribunal
- Director de la tesis
- Eduard Bonet Guino
- Tribunal
- Presidente del tribunal: nuria Agell jané
- daniel Arenas vives (vocal)
- ton Sales porta (vocal)
- ellen Christiaanse (vocal)