Herramienta online para la creación y evaluación de especificaciones basadas en UML y OCL

Abstract

Este proyecto consiste en una herramienta online para crear, evaluar y compartir especificaciones en UML. Se trata de un entorno colaborativo de especificación textual que por lo tanto permite: Modelar, obtener diagramas de clase, instanciar objetos, obtener diagramas de objetos, especificar la definición de atributos derivados en OCL, obtener diagramas de objetos con atributos derivados ya evaluados y finalmente poder especificar restricciones invariantes. Aborda principalmente la utilización de varios DSLs (domain specific languages) ad-hoc diseñados cada uno con el propósito de cumplir una tarea de especificación concreta, para así finalmente integrarlos dentro de un editor de código web y sus conceptos análogos, como bien puede ser el linting, syntax highlighting, diagnóstico, auto-completado, etc. Finalmente, el propósito de este proyecto es el de crear un prototipo útil y un punto de vista documentado sobre cómo debería abordarse un reto similar, tan complejo y tan amplio. Como por ejemplo: el trabajo con parsers usando editores de código, la presentación gráfica de los diagramas de clases de alta calidad, la integración de múltiples lenguajes mediante un modelo semántico, cómo abordar la evaluación de especificaciones en una web frente a la indisponibilidad de herramientas web similares y la definición de una arquitectura para este caso de uso concreto, comparado con otras opciones y el porqué.

This project is an online tool for conceptual modeling and specification in UML. It is a collaborative and textual specification environment that allows: Modeling, obtaining class diagrams, instantiating objects, obtaining object diagrams, specifying the definition of derived attributes in OCL, obtaining object diagrams with derived attributes already evaluated, and finally to also be able to specify invariant constraints. This is a project that mainly deals with the use of several ad-hoc DSLs (domain specific languages) each one designed with the purpose of fulfilling a specific task, to be able to integrate them into a web code editor and its analogous concepts, such as linting, syntax highlighting, diagnostics, auto-completion, etc. Finally, the purpose of this project is to create an extensive prototype and a documented point of view on how to approach such a complex and broad challenge. For example: how to deal with parsing for code editors, how to be able to release high-quality class diagrams, the integration of multiple languages through a semantic model, how to approach the evaluation of specifications in a web application while facing the unavailability of some similar web tools and the definition of an architecture and technologies for this specific use case compared to other options and why.