META
This presentation is the property of its rightful owner.
Sponsored Links
1 / 42

META PowerPoint PPT Presentation


  • 107 Views
  • Uploaded on
  • Presentation posted in: General

META. DÉ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, miembros.

Download Presentation

META

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Meta

META

DÉ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 miembros

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

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

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

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

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

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


Publicaciones1

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, 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 pendientes a corto medio plazo

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

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

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

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 (SIRENMM)

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

  • Aplicar a un caso de estudio

    • Interacción proyecto MEDWSA


Resultados obtenidos

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 obtenidos1

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

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

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

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 obtenidos2

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 obtenidos3

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 obtenidos4

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

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


M a mart nez aguilar pas dedalo

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

  • 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


Objetivos1

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)


Objetivos2

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)


Objetivos3

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 obtenidos5

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 obtenidos6

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 obtenidos7

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

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


Objetivos4

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 obtenidos1

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.


Publicaciones2

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: 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.


Publicaciones3

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 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 pendientes a corto medio plazo1

Principales resultados pendientes a corto/medio plazo

Análisis de lenguajes o aproximaciones para expresar relaciones y reglas de consistencia:

Selección en la literatura de problemas de consistencia:

Horizontal

Vertical

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

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

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


Objetivos5

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

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


  • Colaboraciones1

    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


    Objetivos6

    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 resultados1

    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


    Colaboraciones2

    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)


  • Login