Personal tools
You are here: Home Publications

Scientific Papers

ISSI Research Papers

Paper information
Title
Soporte Formal para Entornos Visuales de Modelado
Published in
Actas de las I Jornadas de Trabajo MEDIUD (Metodologías de Desarrollo de Interfaces de Usuario Dinámicas). Ed. J. A. Gallud. Albacete (Spain). ISBN 84-609-3957-X. - 2004
Abstract
Las técnicas formales de modelado aportan propiedades como la precisión y la corrección, y permiten dar soporte automatizado al proceso de desarrollo de software. MOMENT es una herramienta de gestión de modelos que permite definirlos siguiendo una aproximación algebraica, y que se beneficia de las propiedades de precisión que aporta esta última. Sin embargo, la complejidad de estas técnicas suele provocar rechazo a la hora de utilizarlas en la práctica. Una alternativa para sortear este inconveniente consiste en la asociación de metáforas gráficas cercanas al usuario que oculten la complejidad asociada a las especificaciones algebraicas de forma que los usuarios trabajen en un ambiente sencillo y agradable. En este artículo se presenta una arquitectura que integra MOMENT en herramientas CASE que posean un entorno gráfico, pudiendo así utilizar sus capacidades visuales en la definición de los modelos soportados por MOMENT. Se presenta la implementación de esta arquitectura para una herramienta CASE concreta, y cómo se define la vista gráfica de un metamodelo definido algebraicamente utilizando su interfaz.


BibTeX
@misc{issi_web:id:115,
        title =  "Soporte Formal para Entornos Visuales de Modelado",
        author = "Artur Boronat Moll and Jose Angel Carsí Cubel and Isidro Ramos Salavert",
        booktitle = "Actas de las I Jornadas de Trabajo MEDIUD (Metodologías de Desarrollo de Interfaces de Usuario Dinámicas). Ed. J. A. Gallud. Albacete (Spain). ISBN 84-609-3957-X.",
        year = "2004",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = "Las técnicas formales de modelado aportan propiedades como la precisión y la corrección, y permiten dar soporte automatizado al proceso de desarrollo de software. MOMENT es una herramienta de gestión de modelos que permite definirlos siguiendo una aproximación algebraica, y que se beneficia de las propiedades de precisión que aporta esta última. Sin embargo, la complejidad de estas técnicas suele provocar rechazo a la hora de utilizarlas en la práctica. Una alternativa para sortear este inconveniente consiste en la asociación de metáforas gráficas cercanas al usuario que oculten la complejidad asociada a las especificaciones algebraicas de forma que los usuarios trabajen en un ambiente sencillo y agradable. En este artículo se presenta una arquitectura que integra MOMENT en herramientas CASE que posean un entorno gráfico, pudiendo así utilizar sus capacidades visuales en la definición de los modelos soportados por MOMENT. Se presenta la implementación de esta arquitectura para una herramienta CASE concreta, y cómo se define la vista gráfica de un metamodelo definido algebraicamente utilizando su interfaz."
}