Grupo de Ingeniería del Software. Departamento de Informática y Sistemas. Universidad de Murcia. META DÉDALO ( Subproyecto: Desarrollo de sistemas de calidad basado en modelos y requisitos ) TIC C05-03 ( ) I Jornadas de trabajo. Ciudad Real, junio de 2007 Ambrosio Toval

Dédalo: líneas, miembros Reutilizació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 tesis Reutilizació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 (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

Objetivos 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 obtenidos 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)

Publicaciones Revistas 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) , 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: ), pp , Ed. Dintel, Madrid, A.Toval, J.Nicolás, B.Moros, SIREN: Un Proceso de Ingeniería de Requisitos Basado en Reutilización. En “Applying Requirements Engineering” (ISBN ), pp , Ed. Catedral Publicaciones, Sevilla, 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).

Publicaciones Congresos 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, de junio de 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, de noviembre de 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 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 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), de abril de 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), de abril de 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, de septiembre de 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), de noviembre de 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, de marzo de 2006.

Principales resultados pendientes a corto/medio plazo 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

Relaciones 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 (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 subobjetivos 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 (SIREN MM ) Implementar una herramienta de soporte (REMM-Studio) en el marco de Eclipse. Aplicar a un caso de estudio Interacción proyecto MEDWSA

Resultados 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 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 META 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 Velasco (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 DÉ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 obtenidos Trabajo 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 obtenidos Trabajo 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 obtenidos Trabajo 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 futuros Colaboración con UCLM Trabajo de revisión sistemática de ontologías y la ontología de análisis de riesgos TAREA UCLM (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 (PAS, DEDALO)

Objetivos 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)

Objetivos 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)

Objetivos 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 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 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 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 (PAS, 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

Objetivos 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 obtenidos 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.

Publicaciones Capí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: , 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) octubre, ISBN: LNCS 3770 Springer, November 2005.

Publicaciones Congresos 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 Murcia (España). IADIS Press. ISBN: , 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 , online (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, 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, Francisco J. Lucas and Ambrosio Toval. Formalización Algebraica del Diagrama de Colaboraciones de UML. II Jornadas de trabajo DYNAMICA, 2004.

Principales resultados pendientes a corto/medio plazo 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.

Colaboraciones 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 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

Objetivos 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 Resultados 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: , 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 Murcia (España). IADIS Press. ISBN: 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)

Colaboraciones 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

Objetivos 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 Resultados 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

Colaboraciones 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)