Grupo de Ingeniería del Software.Departamento de Informática y Sistemas.Universidad de Murcia.

METAMETADÉDALO

(Subproyecto: Desarrollo de sistemas de calidad basado en modelos y requisitos)

TIC2006-15175-C05-03 (2006-2008)

I Jornadas de trabajo. Ciudad Real, junio de 2007

Ambrosio Toval

Dédalo: líneas, miembrosDédalo: líneas, miembrosReutilización de requisitos (Modelos de Calidad, Metamodelos, Métodos de desarrollo de sistemas seguros, Ontologías, MDA)

• Joaquín Nicolás, Begoña Moros (TEUs)

• Joaquín Lasheras (becario FPI)

• Miguel Ángel Martínez (colaborador)

• Jesualdo Tomás Fernández Breis(Dr., Contratado)

• Rafael Valencia García (Dr., Interino)

V&V, Consistencia (Modelos de Calidad, MDA)

• José Luis Fernández (Dr., TEU)

• Francisco Javier Lucas (becario PRESSURE-UMU)

• Fernando Molina (becario SENECA)

IP: Ambrosio Toval (Dr. , CU)

Presentación por tesisPresentación por tesisReutilización de requisitos (Modelos de Calidad, Metamodelos, Métodos de desarrollo de sistemas seguros, Ontologías, MDA)

Doctorandos:• Joaquín Nicolás, Begoña Moros (TEUs)

• Joaquín Lasheras (becario FPI)

• Miguel Ángel Martínez (PAS,UMU)

V&V, Consistencia (Modelos de Calidad, MDA)

Doctorandos:

• Francisco Javier Lucas (PAS,UMU)

• Fernando Molina (becario SENECA)

Joaquín Nicolás Ros Joaquín Nicolás Ros (TEU)(TEU)

Tesis : “Una propuesta de gestión integrada de modelos y requisitos en líneas de productos software”

En el ámbito de los objetivos 1 y 6 de DEDALO... Objetivo 1 (DEDALO). Ampliar las capacidades

del proceso de ingeniería de requisitos SIREN con procesos genéricos basados en calidad, reutilización, trazabilidad, ingeniería ontológica y seguridad

Objetivo 6 (DEDALO). Validación de las estrategias propuestas sobre proyectos reales

ObjetivosObjetivos

Definir una propuesta de gestión de requisitos para líneas de producto que integre modelos y requisitos textuales y que preste atención al proceso de gestión de requisitos del producto Objetivo 1. Estudiar la reutilización de requisitos textuales,

definiendo un método de ingeniería de requisitos basado en reutilización que incluya un metamodelo de requisitos, un conjunto de técnicas, un modelo de proceso y una herramienta de soporte

Objetivo 2. Definir un metamodelo de variabilidad en una línea de productos software, que sea compatible con los resultados del Objetivo 1, y establecer un conjunto de técnicas que representen dicho modelo de variabilidad en el nivel de los requisitos

Objetivo 3. Definir un proceso de generación de documentación de requisitos textuales, en un proceso de desarrollo de software iterativo e incremental, que sincronice los modelos definidos en el Objetivo 2 con el metamodelo de requisitos textuales establecido en el Objetivo 1

Objetivo 4. Diseñar e implementar el prototipo de una herramienta que soporte los modelos definidos en 2 y el proceso de generación definido en 3

Objetivo 5. Validar los resultados anteriores en un caso de estudio real

Principales resultados Principales resultados obtenidosobtenidos

Definición de SIREN, un método de ingeniería de requisitos basado en reutilización Metamodelo de requisitos, técnicas, guías,

modelo de proceso, herramienta de soporte Catálogos de requisitos de seguridad

(MAGERIT) y protección de datos personales (LOPD/RMS)

Una propuesta de análisis del dominio Marco conceptual para el análisis del dominio:

modelo de características, modelo casos de uso genéricos, requisitos textuales, modelo conceptual, plantillas de atributos de calidad

Aplicación a los sistemas teleoperados para mantenimiento de cascos de buques (STO)

PublicacionesPublicacionesRevistas

A.Toval, J.Nicolás, B.Moros, F.García, Requirements Reuse for Improving Information Systems Security: A Practitioner's Approach. Requirements Engineering Journal (6) 205-219, 2002.

A.Toval, B.Moros, J.Nicolás, J.Lasheras, Eight Key Issues for an Effective Reuse-Based Requirements Process, Intl. Journal of Computer Systems Science and Engineering. Aceptado, pendiente de publicación.

J.Nicolás, J.Lasheras, A.Toval, F.J.Ortiz, B.Álvarez, A domain analysis experience in the teleoperated systems realm. Enviado a Information & Software Technology.

Capítulos de libro A.Toval, J.Nicolás, B.Moros, Requisitos Reutilizables de Seguridad en

Sistemas de Información y Bases de Datos. En “Seguridad en Bases de Datos” (ISBN: 84-931933-9-9), pp. 269-300, Ed. Dintel, Madrid, 2001.

A.Toval, J.Nicolás, B.Moros, SIREN: Un Proceso de Ingeniería de Requisitos Basado en Reutilización. En “Applying Requirements Engineering” (ISBN 84-96086-06-2), pp. 57-72, Ed. Catedral Publicaciones, Sevilla, 2002.

J.Nicolás, A.Toval, Gestión de Requisitos. En “Factorías de Software: Experiencias, Tecnologías y Organización”, Ed. RA-MA, Madrid, 2007 (fecha prevista).

PublicacionesPublicacionesCongresos y talleres

A.Toval, J.Nicolás, B.Moros, SIREN: Un Proceso de Ingeniería de Requisitos Basado en Reutilización, Jornadas de Ingeniería de Requisitos Aplicada, Sevilla, 11-12 de junio de 2001.

J.Lasheras, A.Toval, J.Nicolás, B.Moros, Soporte automatizado a la reutilización de requisitos, VIII Jornadas de Ingeniería de Software y Bases de Datos, Alicante, 12-14 de noviembre de 2003.

J.Lasheras, A.Toval, J.Nicolás, B.Moros, Definición de Requisitos de Seguridad con Fines de Reutilización, Primer Taller de Seguridad en Ingeniería del Software y Bases de Datos, Málaga, 9 de noviembre de 2004.

J.Lasheras, J.Nicolás, A.Toval, B. Moros, Hacia un Modelo del Dominio de los Sistemas Teleoperados a través de una Extensión de SIREN, II Jornadas de Trabajo DYNAMICA, Málaga, 11 de noviembre de 2004.

M.A.Martínez, J.Lasheras, J.Nicolás, A.Toval, Aplicación de un proceso de auditoría de datos personales basado en el método SIREN, III Jornadas de Trabajo DYNAMICA, Almagro (Ciudad Real), 21-22 de abril de 2005.

J.Nicolás, J.Lasheras, A.Toval, B.Moros, P.Sánchez, B.Álvarez, Ingeniería de requisitos basada en reutilización: una propuesta de aplicación a los sistemas teleoperados para limpieza de cascos de buques, III Jornadas de Trabajo DYNAMICA, Almagro (Ciudad Real), 21-22 de abril de 2005.

M.A. Martínez, J.Lasheras, J.Nicolás, A.Toval, Un proceso de auditoría de datos personales basado en Ingeniería de Requisitos, I Simposio sobre Seguridad Informática (incluido en CEDI 2005), Granada, 14-16 de septiembre de 2005.

J.Nicolás, J.Lasheras, A.Toval, F.J.Ortiz, B.Álvarez, Una experiencia de modelado de los sistemas teleoperados para limpieza de cascos de buques mediante características y casos de uso genéricos, IV Jornadas de Trabajo DYNAMICA, Archena (Murcia), 17-18 de noviembre de 2005.

J.Nicolás, J.Lasheras, A.Toval, F.J.Ortiz, B.Álvarez, A Collaborative Learning Experience in Modelling the Requirements of Teleoperated Systems for Ship Hull Maintenance, Learning Software Organizations + Requirements Engineering (LSO+RE 2006), Hannover, 27-28 de marzo de 2006.

Principales resultados Principales resultados pendientes a corto/medio pendientes a corto/medio

plazoplazo Generación de documentación

textual de requisitos a partir de los modelos del dominio Estudio del estado del arte en generación de

documentación de requisitos textuales a partir de modelos

Especificación de la traducción de los modelos del dominio a requisitos en lenguaje natural

Generación de documentos de requisitos textuales a partir de los modelos

Herramienta de soporte

RelacionesRelaciones

Relaciones con otros grupos (DEDALO) UPCT: caso de estudio STO – validación

Proyectos relacionados GARTIC/CenTIC – CARM (solicitado)

Transferencia tecnológica – SIREN IRGlobal – JCCLM (en proceso de

definición) Ingeniería de requisitos en desarrollo de

software global

Begoña Moros Valle Begoña Moros Valle (TEU)(TEU)

Tesis : Un proceso de Ingeniería de Requisitos dirigido por modelos centrado en reutilización

Objetivo principal: Definición de un metamodelo de

requisitos en el marco de un proceso de IR basado en reutilización que permita su integración en un enfoque de DSDM.

Desglose de Desglose de subobjetivossubobjetivos

Definición de REMM (Requirements Engineering Meta-Model)

Estudiar las transformaciones de REMM a otros metamodelos.

Definir un proceso de IR en el que integrar los modelos de requisitos (SIRENMM)

Implementar una herramienta de soporte (REMM-Studio) en el marco de Eclipse.

Aplicar a un caso de estudio Interacción proyecto MEDWSA

Resultados obtenidosResultados obtenidos REMM:

ICSOFT 2007: A model-driven engineering approach to requirements engineering. How these disciplines may benefit each other

REMM-Studio: TOOLS 2007: REMM-Studio: an Integrated

Model-Driven Environment for Requirements Specification, Validation and Formatting

JISBD 2007: REMM-Studio: un entorno integrado para dar soporte a un enfoque de Ingeniería de Requisitos dirigido por modelos (tool demo)

Resultados obtenidosResultados obtenidos SIREN y Reutilización de requisitos:

Requirements Engineering Journal: Requirements Reuse for Improving Information System Security: A practitioners’ Approach

International Journal of Computer System Science and Engineering: Eight key issues for an effective reused-based requirements process (Aceptado, pendiente de publicación)

(Otras contribuciones sobre SIREN en común con Joaquín Nicolás)

Colaboraciones grupo Colaboraciones grupo METAMETA

Interacción con MEDWSA (UPCT) Estancia mayo-agosto de 2007 Colaboraciones:

Transformación de modelos Aplicación a un caso de estudio

Grupos de interés: Requisitos MDA Aplicaciones industriales

Joaquín Lasheras VelascoJoaquín Lasheras Velasco (Becario FPI)(Becario FPI)

Tesis: “Método de ingeniería de requisitos de seguridad basado en reutilización y análisis de riesgos” Seguridad en Ingeniería de Requisitos

(Línea de trabajo 2 DEDALO) Desarrollo de software seguro

Metodologías, técnicas, estándares En concreto:

Ingeniería de requisitos y reutilización La ingeniería ontológica Análisis de riesgos e identificación de activos

Objetivos-Tareas Objetivos-Tareas DÉDALODÉDALO

Mejora de SIREN para dar soporte a la especificación de requisitos de seguridad de los SI desde las fases iniciales del desarrollo software (Tarea UMU 2.1)

Modelado ontológico de repositorios de requisitos de seguridad y certificación. (Tarea UMU 2.2)

Desarrollar y validar una metodología basada en tecnologías de la web semántica para la gestión de repositorios de requisitos de seguridad y certificación (Tarea UMU 2.3)

Adaptación y extensión de los catálogos de requisitos reutilizables de seguridad y protección de datos personales ya desarrollados en SIREN (Tarea UMU 2.4)

Se pondrá en práctica la metodología desarrollada en la tarea 2.1 con los aportes de las ontologías desarrolladas en las tareas 2.2 y 2.3. (Tarea UMU 2.5)

Desarrollo y validación de un método de producción de requisitos safety basado en análisis de riesgos, aplicándolo a los casos de estudio que se planteen dentro del proyecto. (Tarea UMU 2.6)

Integración de los aspectos de seguridad en el marco de CMMI (Tarea UMU 2.7)

Resultados obtenidosResultados obtenidosTrabajo con privacidad: catálogo LOPD

Mejora del catálogo y futura actualización de la LOPD

Publicaciones relacionadas con la Auditoria: Comunicación en Evento Common Europe de IBM

(colaboración con ISOTADER. Madrid, 2005) III DYNAMICA’05 (Almagro, 2005) II Taller de seguridad (SISBD’05) (Bilbao, 2005) I Simposio de Seguridad en CEDI’05 (Granada, 2005) Congreso internacional de auditoría IV CIASI’05

(Madrid, 2005) Congreso internacional seguridad IV WOSIS’06

(Chipre, Mayo 2006) Revista JCR: Journal of Information Technology

(Enviado)

Resultados obtenidosResultados obtenidosTrabajo con ontologías de seguridad y análisis de

riesgos Mejora y actualización del catálogo versión MAGERIT 2.0 Integración con catálogo de LOPD para hacer un único catálogo de

seguridad Publicación en I taller de seguridad (SISBD’04, Málaga. Con

JISBD) , Definición de Requisitos de Seguridad con Fines de Reutilización

Publicación del trabajo de revisión sistemática de ontologías de seguridad aceptado en II simposio de seguridad CEDI 2007 (colaboración con UCLM)

Trabajo con herramientas CARE: desarrollo de SirenTool Publicación JISBD 2003, Soporte automatizado a la reutilización de

requisitos Revista JCR, Eight Key Issues for an Effective Reuse-Based

Requirements Process, Intl. Journal of Computer Systems Science and Engineering (Aceptado, pendiente de publicación)

Resultados obtenidosResultados obtenidosTrabajo con los Sistemas Teleoperados, colaboración

UPCT Modelado del Dominio

Desarrollo de un catálogo basado en características y casos de uso genéricos para la familia de productos y trabajo con requisitos no-funcionales a través de características de calidad y plantillas de atributo y sus relaciones

Presentaciones en II, III y IV DYNAMICA Congreso internacional A Collaborative Learning Experience in

Modelling the Requirements of Teleoperated Systems for Ship Hull Maintenance, Learning Software Organizations + Requirements Engineering (LSO+RE 2006)

Revista JCR: Information & Software Technology (Enviado) Análisis de Riesgos : Safety

Realizado análisis de riesgos a terceros (safety) según el estándar (ANSI 1999)

Publicación JISBD’04 Experiencia, Estrategias y Retos en la Incorporación de Requisitos de Seguridad en el Sistema EFTCoR

Colaboraciones y trabajos Colaboraciones y trabajos futurosfuturos

Colaboración con UCLM Trabajo de revisión sistemática de ontologías y la ontología de

análisis de riesgos TAREA UCLM - 6.4 (ESFINGE) Definir un modelo de madurez para la

gestión de la seguridad Adaptar la metodología SREP descrita por Daniel Mellado

UPCT: Caso de estudio de safety Herramienta CARE/Proyecto piloto requisitos seguridad CENTIC

Orientado a PYMES, experiencia regional Repositorio de técnicas

Adaptar otras técnicas para representar requisitos seguros (catálogo reutilizable de técnicas)

Adaptarse a otras metodologías (TROPOS, SREP …) Estudiar técnicas de priorización de requisitos (Berry 2007) y su

uso junto a la ontología Axiomas y lógica de primer orden Con SWRL (Semantic web rules language) podemos generar reglas

de predicado de 1º orden para aplicar consistencia e inferir (lo que ayuda a la priorización).

Doctorando: Líneas de investigación: Ingeniería de Requisitos de Calidad (Línea 1

UMU) CMMI (Adecuación de SIREN a CMMI)

Seguridad en Ingeniería de Requisitos (Línea 2 UMU)

Catálogo de requisitos de Protección de Datos Personales

Auditoría de Protección de Datos Personales basada en IR

Ingeniería del Software Basada en Componentes Selección/Negociación de Componentes/Requisitos Trazabilidad de requisitos a componentes

M. A. Martínez Aguilar M. A. Martínez Aguilar (PAS, (PAS, DEDALO)DEDALO)

ObjetivosObjetivos

Ingeniería de Requisitos de Calidad (UMU1)

Objetivos: Evaluar la calidad del modelo de proceso

SIREN (Tarea UMU 1.2) Mejora del proceso SIREN y adaptación a

CMMI (Tarea UMU 1.3) Validar el modelo de calidad definido en un

caso de estudio con las empresas colaboradoras (Tarea UMU 1.6)

ObjetivosObjetivos

Seguridad en Ingeniería de Requisitos (UMU2) Objetivos:

Mejora de SIREN para dar soporte a la especificación de requisitos de seguridad de los SI desde las fases iniciales del desarrollo software (Tarea UMU 2.1)

Adaptación y extensión de los catálogos de requisitos reutilizables de seguridad y protección de datos personales ya desarrollados en SIREN (Tarea UMU 2.4)

Integración de los aspectos de seguridad en el marco de CMMI (Tarea UMU 2.7)

ObjetivosObjetivos

Ingeniería del Software Basada en Componentes

Objetivos: Hacia un método de ISBC guiado por los

requisitos Negociación de requisitos Trazabilidad entre requisitos y

artefactos software Principios de agilidad en la IR

Resultados obtenidosResultados obtenidos Ingeniería de Requisitos de Calidad

Asistencia y presentación de trabajos en Red CALIPSO:

Técnicas de Mejora de la Calidad y la Productividad del Software en el Ámbito de la Ingeniería de Requisitos y la V&V de Modelos (Ciudad Real, Mayo de 2006).

Hacia un Desarrollo Basado en Componentes y Guiado por Requisitos (Sitges, Octubre de 2006).

Pendiente de publicación: Un enfoque práctico de la Ingeniería de Requisitos dentro del marco de CMMI. Revista del Colegio de Ingenieros de la Región de Murcia (CIIRM).

Definición del Curso de Promoción Educativa: I Edición Ingeniería de Requisitos y CMMI.

Resultados obtenidosResultados obtenidos Seguridad en Ingeniería de Requisitos

PFC donde se mejoraron los catálogos de requisitos de PDP y SEGURIDAD.

Publicaciones relacionadas con la auditoría de PDP en LA SEDA: Evento Common Europe de IBM (en colaboración con ISOTADER,

Madrid, 2005) III DYNAMICA’05 (Almagro, Abril de 2005) II SISBD’05 (Bilbao, Junio de 2005) I Simposio de Seguridad en CEDI’05 (Granada, Septiembre de 2005) IV CIASI’05 (Madrid, Diciembre de 2005) IV WOSIS’06 (Chipre, Mayo de 2006) Revista JCR: Journal of Information Technology (Enviado) En preparación: HEALTHINF 2008 (Enero de 2008, Portugal)

Catálogo SIREN PDP mejorado tras las dos auditoría y practicas de IR

Documentos (SRS y SyRS) en castellano. Web provisional (catalogo disponible, peticiones de cambio, histórico,

etc.)

Resultados obtenidosResultados obtenidos Ingeniería del Software Basada en

Componentes Publicaciones sobre el Estado del Arte de los

métodos de Selección de Componentes (en colaboración con A. Vallecillo)

Selección de Componentes basada en requisitos, en el marco de SIREN. (V Jornadas de trabajo DYNAMICA. Valencia, Noviembre de 2006)

Estado del Arte en Técnicas de Selección de Componentes, desde un punto de vista de Ingeniería de Requisitos. (JICT. Málaga, Abril de 2007)

Envío a libro de la editorial NOVA PUBLISHER

Francisco Javier Lucas Francisco Javier Lucas (PAS, (PAS, DEDALO)DEDALO)

Tesis: “Análisis de la Consistencia en el Marco de MDE (Model-Driven Engineering)”

Doctorando: En el ámbito de los objetivos 8 y 9 de DEDALO...

Objetivo 8 (DEDALO). Estudio de las distintas propuestas en el ámbito del desarrollo dirigido por modelos (MDE): definición de procesos genéricos dedicados a la V&V de modelos y transformaciones, estudio y ampliación de herramientas MDE con funcionalidades para la V&V, transformación y simulación de modelos.

Objetivo 9 (DEDALO). Identificación de estrategias que posibiliten la ampliación de la semántica de los metamodelos UML, así como nuevas características deseables que puedan aumentar la semántica de UML. Estudio de la equivalencia semántica entre diagramas

ObjetivosObjetivos

Definir una propuesta para la gestión de la consistencia entre modelos de forma completa en el ámbito MDE Objetivo 1. Estudiar la gestión de la consistencia de

modelos: técnicas utilizadas, tipos de consistencia tratados, capacidades de extensión y soporte en herramientas.

Objetivo 2. Estudio de una aproximación con la suficiente expresividad para:

Manejar la semántica estática y dinámica de los modelos implicados en el análisis de la consistencia.

Tratar cualquier tipo de inconsistencia de los identificados. Objetivo 3. Diseño o estudio de un lenguaje para la

extensión de la propuesta de forma que sea posible: Definir nuevas inconsistencias (propuesta extensible). Integrar más fácilmente durante el proceso de desarrollo de

software. Objetivo 4. Implementar la aproximación y la integración

dentro de una herramienta CASE, dando soporte completo a la propuesta

Objetivo 5. Validar los resultados anteriores en un caso de estudio real.

Principales resultados Principales resultados obtenidosobtenidos

Estudio del Estado del Arte sobre la gestión de la consistencia de modelos.

Análisis formal de problemas de consistencia horizontal entre modelos.

Requisitos para una gestión adecuada de la consistencia de modelos.

Estudio de la extensibilidad del enfoque a través de un lenguaje conocido por los modeladores.

PublicacionesPublicacionesCapítulos de libro Internacionales

F. Molina, F.J. Lucas, A. Toval, J.M. Vara, P. Cáceres and E. Marcos. Towards Quality Web Information Systems through Precise Model Driven Development . Idea Group Reference (Aceptado, pendiente de publicación).

Congresos y talleres Internacionales

F.J. Lucas, A. Toval. A Survey on UML Model Consistency. Seventh International Conference on Quality Software (QSIC’ 07, IEEE) 11-12, October, 2007 Portland, Oregon, USA (Enviado)

F.J. Lucas, F. Molina, A. Toval, M.V. De Castro, P. Cáceres, and E. Marcos. PreciseWIS Development. International Conference on Web Engineering, ICWE ’06. Menlo Park, California (USA). ACM Proceedings. ISBN: 1-59593-352-2, 2006.

F. J. Lucas and Ambrosio Toval Álvarez. A Precise Approach for the Analysis of the UML Models Consistency. BPUML’ 05: 1st International Workshop on Best Practices of UML, dentro del 24th Int. Conf. on Conceptual Modeling (ER 2005), Klagenfurt (Austria). 24-28 octubre, 2005. ISBN: 3-540-29395-7. LNCS 3770 Springer, November 2005.

PublicacionesPublicacionesCongresos y talleres Nacionales e Iberoamericanos

F. Molina, F.J. Lucas, A. Toval, J.M. Vara, and E. Marcos. Soporte CASE para el Desarrollo Preciso de Sistemas de Información Web. Conferencia Ibero-Americana IADIS WWW/Internet 2006. Murcia (España). IADIS Press. ISBN: 972-8924-20-8, 2006.

F.J. Lucas, Molina F., and A. Toval. Una propuesta de Verificación y Validación en el marco de MDA. DSDM ’05: II Taller sobre Desarrollo Dirigido por Modelos. MDA y Aplicaciones. CEUR Workshop Proceedings, ISSN 1613-0073, online http://CEUR-WS.org/Vol-157/. (2005), 2005.

F.J. Lucas, F. Molina, A. Toval, M.V. De Castro, P. Cáceres, and E. Marcos. Desarrollo Preciso de Sistemas de Información Web. Actas de las III Jornadas DYNAMICA, 2005.

Francisco J. Lucas and Ambrosio Toval. Verificación Formal de Propiedades y Transformaciones en el Diagrama de Colaboraciones de UML. II Jornadas de trabajo DYNAMICA, 2004.

Francisco J. Lucas and Ambrosio Toval. Formalización Algebraica del Diagrama de Colaboraciones de UML. II Jornadas de trabajo DYNAMICA, 2004.

Principales resultados Principales resultados pendientes a corto/medio pendientes a corto/medio

plazoplazo Análisis de lenguajes o aproximaciones para

expresar relaciones y reglas de consistencia:1. Selección en la literatura de problemas de

consistencia: Horizontal Vertical

2. Definición de estas relaciones de consistencia haciendo uso del lenguaje elegido.

Especificación de una semántica operacional de dicho lenguaje en Maude para chequear dichos problemas de consistencia.

Validación de los resultados.

ColaboracionesColaboraciones

Con otros grupos (DEDALO) Grupo de trabajo: Transformaciones

MDA / Herramienta MOMENT Grupo de Investigación DSIE (UPCT).

Proyectos relacionados: FoMDAs. Grupo de Investigación

KYBELE (U. Rey Juan Carlos). Otras colaboraciones:

Dr. Jon Whittle (George Mason University).

Fernando Molina (Becario Fernando Molina (Becario Séneca)Séneca)

Becario Predoctoral de la Fundación Séneca

Líneas de investigación: Desarrollo Preciso de SIW Metodología para el desarrollo de

BD Seguras en el ámbito de MDA

ObjetivosObjetivos

Desarrollo preciso de SIW Objetivos:

Definición precisa de metamodelos, transformaciones y propiedades en el ámbito del desarrollo de SIW

Generación automática de modelos de navegación

Inclusión de características de usabilidad/accesibilidad en el modelado de SIW

Trabajo actual y Trabajo actual y ResultadosResultados

Resultados principales: F. Molina, F. J. Lucas, A. Toval, J. M. Vara, P. Cáceres and E. Marcos.

Towards Quality Web Information Systems Through Precise Model Driven Development. Pendiente de publicación en el Handbook of Research on Web Information Systems Quality.

F.J. Lucas, F. Molina, A. Toval, M.V. De Castro, P. Cáceres, and E. Marcos. PreciseWIS Development. International Conference on Web Engineering, ICWE ’06. Menlo Park, California (USA). ACM Proceedings. ISBN: 1-59593-352-2, 2006.

Molina F., Lucas, F.J., Toval, A., Vara, J.M., Marcos, E.: Soporte CASE para el Desarrollo Preciso de Sistemas de Información Web. Conferencia Ibero-Americana IADIS WWW/Internet 2006. Murcia (España). IADIS Press. ISBN: 972-8924-20-8

Trabajo a corto/medio plazo: En el marco de FoMDAs: Formalización de (Meta-) Modelos y

transformaciones en un marco MDA para el Desarrollo Automático de SIW:

Soporte para la generación automática de modelos de navegación en MIDAS (PFC)

Verificación automática de propiedades sobre modelos de navegación Inclusión de características de usabilidad/accesibilidad en el desarrollo de

SIW. Trabajo en curso, a enviar a 1st International Workshop on Web Usability and Accessibility (IWWUA 2007)

ColaboracionesColaboraciones

Desarrollo preciso de SIW Colaboraciones:

En el ámbito de META. Grupo de Trabajo de demostración de propiedades. Posible colaboración con UCLM y UPV en el ámbito de

definición de métricas sobre modelos para el desarrollo de SIW

Externas a META. URJC, en el marco del proyecto FoMDAs: Formalización

de (Meta-) Modelos y transformaciones en un marco MDA para el Desarrollo Automático de SIW (URJC-CM-2006-CET-038 )

Red Temática sobre Maude

ObjetivosObjetivos

Metodología para el desarrollo de BD Seguras en el ámbito de MDA

Objetivos: Definición de una metodología completa que

alinee el desarrollo de BD seguras con la filosofía MDA

Definición de metamodelos y requisitos de seguridad Definición de transformaciones y generación de

código Soporte CASE …

Trabajo Actual y Trabajo Actual y ResultadosResultados

Metodología para el desarrollo de BD Seguras en el ámbito de MDA

Trabajo realizado: Definición del plan de trabajo Primera versión de la revisión sistemática sobre modelado CIM

Resultados: Molina, F., Lucas F.J., Fernández-Medina, E., Piattini, M., Toval,

A.: Extending OCL to Manage Security Requirements in MDA. 1st International Workshop on Algebraic Foundations for OCL and Applications, WAFOCA’06. Valencia (Spain). (2006)

Molina, F., Fernández-Medina, E., Piattini, M., Toval. Una revisión sistemática sobre modelado CIM orientada al desarrollo de BD Seguras. Enviado al IV Taller sobre Desarrollo Dirigido por Modelo y aplicaciones (CEDI 2007).

Trabajo a corto/medio plazo: Definición formal del modelado CIM para BD Seguras Abordar el resto de tareas necesarias para la metodología

ColaboracionesColaboraciones Metodología para el desarrollo de BD

Seguras en el ámbito de MDA Colaboraciones:

En el ámbito de META. Grupo de Trabajo de Requisitos de Seguridad. Colaboración con UCLM

Externa a META. RETISTRUST: Red Temática de Investigación en el

campo de la Seguridad y Confianza para los Sistemas de Información en una Sociedad Conectada

Red Temática sobre Desarrollo de Software Dirigido por Modelos (DSDM)