Mapping OCL as a query and constraint language

• Autores: Carolina Inés Dania Flores
• Directores de la Tesis: Marina Soledad Egea González (dir. tes.) , Manuel García Clavel (dir. tes.)
• Lectura: En la Universidad Complutense de Madrid ( España ) en 2017
• Idioma: inglés
• Número de páginas: 124
• Títulos paralelos:
  • Traduciendo OCL como lenguaje de consultas y restricciones
• Tribunal Calificador de la Tesis: Narciso Martí Oliet (presid.) , Adrián Riesco Rodríguez (secret.) , Jordi Cabot Sagrera (voc.) , Martin Gogolla (voc.) , Alessandra Gorla (voc.)
• Enlaces
  • Tesis en acceso abierto en: Docta Complutense
• Resumen
  • español

    Esta tesis debe gran parte de su motivación inicial y enfoque final en el seminario ¿Automated Reasoning on Conceptual Schemas¿ en Dagstuhl. Incluso antes de asistir al seminario, sobre la base de nuestra propia experiencia, ya estábamos convencidos de la veracidad y la importancia de esta que resume muy bien las motivaciones finales de esta tesis: ¿La calidad de un sistema de información se determina en gran medida a principios del ciclo de desarrollo, es decir, durante la especificación de los requisitos y el modelado conceptual, ya que los errores introducidos en estas etapas suelen ser mucho más costosos de corregir que los errores cometidos durante el diseño o la implementación¿. Entre las preguntas de investigación que se siguieron durante el seminario, nos quedamos particularmente intrigados por la siguiente: ¿Las técnicas existentes y herramienta disponibles, están preparadas para ser utilizadas en un entorno industrial?¿ Todas estas cuestiones, pero especialmente la primera, han tenido también un impacto, de una manera u otra, en la configuración de nuestra propia agenda de investigación.

    Las conclusiones del mencionado grupo de trabajo fueron claras: ¿todavía hay muchas cosas por hacer para convencer a la industria sobre la aplicación práctica de las técnicas actuales para el razonamiento sobre esquemas estructurales. Se concluyó que tener herramientas prácticas es una condición necesaria para demostrar que todo esto funciona.¿ Como recientemente reportó Gogolla et al, ¿Aunque existe una variedad de herramientas para este propósito, la mayoría son en muchos sentidos, esta tesis doctoral es un intento para tratar, lo mejor posible y dentro de nuestros limitados recursos, las cosas que hay que hacer para convencer a la industria sobre la aplicación práctica de las técnicas actuales de razonamiento sobre esquemas estructurales¿, incluyen: explicaciones, puntos de referencia y escalabilidad.

    En este intento, nuestro enfoque ha sido crear herramientas bien fundamentadas y rigurosas que: (1) que puede ser utilizado por desarrolladores de software guiado por, (2) que pueda integrarse perfectamente con sus actividades habituales de modelado y entornos, y (3) que puedan contribuir eficazmente al desarrollo de modelos de alta calidad. Observemos que: (1) esto descarta, como soluciones válidas en este caso, herramientas que requiriesen , por parte del usuario, el aprendizajelearning de nuevos lenguajes de modelado. Segundo, (2) esto descarta también herramientas que requiriesen, por parte del usuario, la construcción manual de nuevos artefactos para interactuar con las herramientas. Finalmente, (3) esto descarta también herramientas que no provean: cobertura universal de las clases para estos problemas, tiempos de respuesta rápido; y respuestas claras y útiles. De manera más constructiva, esta tesis doctoral proporciona herramientas que cubren una clase muy amplia de los problemas para los que fueron diseñados. El mayor reto aquí fue definir una herramienta de razonamiento automatizado basada en SMT que pudiera manejar la lógica OCL de 4 valores. En segundo lugar, provee herramientas con tiempo de respuesta rápidas. El reto aquí fue comprender suficientemente bien la heurística de los diferentes SMT solvers para definir una traducción de OCL a lógica de primer orden que pudiese beneficiarse lo máximo posible, en términos de tiempo de respuesta, de las heurísticas implementadas en cada resolutor. En tercer lugar, era proporcionar herramientas con respuestas claras y útiles para los usuarios. Por último, en cuanto al desafío de los puntos de referencia, esta tesis doctoral evalúa las herramientas anteriormente citadas con diferentes puntos de referencia, utilizando siempre que sea posible puntos de referencia existentes, y creando nuevos cuando no estaban disponibles.

  • English

    This doctoral dissertation owes a great deal of its initial motivation and final focusto the very lively and insightful discussion that took place during the Dagstuhl Seminar“Automated Reasoning on Conceptual Schemas” (19-24 May, 2013) [18], which we havethe fortune to participate in.Even before attending the seminar, based on our own experience applying the modeldrivendevelopment methodology within the ActionGUI project [1], we were already convincedof the truthfulness and importance of three key statements contained in the seminar’spresentation, which summarize very well this dissertation’s ultimate motivations:“The quality of an information system is largely determined early in the developmentcycle, i.e., during requirements specification and conceptual modeling, since errorsintroduced at these stages are usually much more expensive to correct than errorsmade during design or implementation.”“Thus, it is desirable to prevent, detect, and correct errors as early as possible in thedevelopment process by assessing the correctness of the conceptual schemas built.”“The high expressivity of conceptual schemas requires to adopt automated reasoningtechniques to support the designer in this important task.”..