Programa de Doctorado Programación Declarativa e Ingeniería de la Programación ( ) Alicia Martínez Rebollar

Transcripción

1 Suficiencia Investigadora Programa de Doctorado Programación Declarativa e Ingeniería de la Programación ( ) Alicia Martínez Rebollar

2 Contenido Curriculum 1. Formación Académica 2. Distinciones obtenidas 3. Experiencia en Investigación Participación en Proyectos Publicaciones Realizadas Periodo de Docencia( ) 1. Cursos de Doctorado 2. Trabajo de investigación Actividad Investigadora ( ) 1. Publicaciones i Realizadas Conclusiones 2

3 Curriculum FORMACIÓN ACADÉMICA Licenciatura en Informática Instituto Tecnológico de Zacatepec ( ) México. Obteniendo la titulación automática por promedio. Maestría en Ciencias Computacionales Centro Nacional de Investigación y Desarrollo Tecnológico (cenidet) Cuernavaca, Mor. México Tesis: Lenguaje visual para la especificación y desarrollo de sistema de software. 3

4 Curriculum... DISTINCIONES OBTENIDAS MEJOR TESIS DE MAESTRÍA A NIVEL NACIONAL otorgado por la Asociación Nacional de Instituciones de Educación en Informática, A. C. (ANIEI). México 1997 Premio a la MEJOR TESIS DE MAESTRÍA desarrollada en 1997, en el Centro Nacional de Investigación y Desarrollo Tecnológico (cenidet). 2do. Lugar en el Certamen Nacional Juvenil de Ciencia y Tecnología(CONADE), enel área Sistemas Computacionales e Informática. México

5 Curriculum... EXPERIENCIA EN INVESTIGACIÓN Participacion en proyectos de investigación IRIS: Ingeniería de Requisitos de software, proyecto financiado por CONACYT clave 28953A (Enero ) cenidet. AMbiente integrado de soporte para la Administración y desarrollo de Sistemas de Software. Proyecto financiado por COSNET clave P (enero 1996-septiembre 1997). Cenidet. Publicaciones realizadas Alicia Martínez, Máximo López, Hugo Estrada, Levis: Lenguaje visual para la especificación y desarrollo de sistemas de software, Congreso Internacional en Sistemas Computacionales e Inteligencia Artificial. Zacatepec, Mor. México Septiembre de Hugo Estrada, Javier Ortiz, Alicia Martínez, Ingeniería de requisitos de software, 2as Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software (IDEAS 1999). Alajuela- Costa Rica. 5

6 Curriculum... EXPERIENCIA EN INVESTIGACIÓN Publicaciones realizadas... Hugo Estrada, Alicia Martínez, Santaolaya R. Desarrollo de un sistema para la Administración y recuperación de componentes de software reusable para un ambiente integrado de desarrollo de sistemas, Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software (IDEAS 1998). Torres Brasil. Alicia Martínez, Máximo López, Formalismo de una gramática visual aplicada a una nueva notación de diseño, 6to. Congreso Internacional de Nuevas Tecnologías y Aplicaciones Informáticas. La Habana, Cuba, Febrero de Alicia Martínez, Máximo López Generador de Código en C, utilizando una notación de diseño detallado, X Congreso Nacional de ANIEI (Asociación Nacional de Instituciones tuc de Educación en Informática A.C.). Nuevo León, México. Octubre de Alicia Martínez, Máximo López Relaciones cuádruples y ubicación espacial de objetos en un lenguaje visual para una notación de diseño detallado,, IV Congreso Internacional de Investigación en Ciencias Computacionales (CICC 97), Durango, Mex. 6

7 Curriculum... EXPERIENCIA EN INVESTIGACIÓN Publicaciones realizadas... Alicia Martínez, Máximo López Especificación formal de un lenguaje de programación visual para desarrollo del diseño detallado de Warnier, 1er. Simposio de Control Automático, organizado por el Instituto de Cibernética, Matemáticas y Física (ICIMAF 97) en la ciudad de La Habana, Cuba. Alicia Martínez, Máximo López Desarrollo formal de una gramática visual para un lenguaje de programación visual publicado en el Simposio Internacional de computación del Instituto Politécnico Nacional. México Octubre de Otros Méritos Miembro numerario de la Academia Nacional de Ciencias Computacionales (ANaCC), de 1998 a la fecha. Miembro del Comité de Organización ió de las 3ras. Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software, IDEAS 2000, celebrado en Cancún, Quintana Roo, abril del Miembro del Comité Técnico del Congreso Internacional en Sistemas Computacionales e Inteligencia Artificial (CIenSCIA 99) celebradoeneli.t.de Zacatepec, México del 22 al 24 de septiembre de 1999.

8 Periodo de Docencia ( ) 2002) CURSOS DE DOCTORADO : 1. TECNOLOGÍA DE SOFTWARE PARA AMBIENTES WEB Oscar Pastor 5 Créd. 2. INGENIERÍA DE REQUISITOS ORIENTADA A OBJETOS 5 Créd. Isidro Ramos 3. INGENIERÍA DE SOFTWARE AUTOMÁTICA Profesores: M. Alpuente, S. Lucas, MªJosé Ramírez, G. Vidal 4 Créd. ** Optimal Implementation of Funcional Languages Prof. Simona Martín de la universidad Udine, Italia. ** Timed Concurrent Constraint t Programming Prof. Mauricio Gabbrielli de la universidad Udine, Italia. ** Temporal Logic and Model Checking Prof. Alberto Policriti itide launiversidad id dudine, Italia. 8

9 Periodo de Docencia ( )... CURSOS DE DOCTORADO : 4. TECNOLOGÍA MIDDLEWARE ORIENTADA A PROCESOS: 5Céd SISTEMAS DE FLUJO A PROCESOS Profesores: Hilario Canos, José Carsí 5 Créd. 5. INTRODUCCIÓN A LA INVESTIGACIÓN CIENTÍFICA Y 3Céd TECNOLÓGICA Profesor: Primo Yufera 3 Créd. PROYECTO DE INVESTIGACIÓN GENERACIÓN AUTOMATICA DE ESQUEMAS CONCEPTUALES OO-METHOD A PARTIR DE MODELOSDEPROCESOSDENEGOCIO 12 créd. 9

10 Periodo de Investigación ( )... PROYECTO DE INVESTIGACIÓN: Generación Automática de esquemas conceptuales OO-Method a partir de Modelos dl de Procesos de Negocio Objetivo: En este trabajo se exploran diferentes alternativas para generar especificaciones de software a partir de un modelo de negocios representados en el framework i*. Se ánaliza la posibilidad de generar las especificaciones directamente del modelo de negocios, así como de utilizar un modelo de requisitos intermedio. Cada una de las distintas alternativas es evaluada para determinar su factibilidad en la construcción de una extensión para OO-Method. 10

11 Periodo de Investigación ( )... PROYECTO DE INVESTIGACIÓN: Generación de un Modelo Conceptual utilizando un Modelo de Flujo de Productos de Trabajo (MFPT) Compras Requisición De Compra Req. Comp. Copia 1 Cliente Artículo Pago MFPT Req. Comp. Copia 2 Recepción Notificación Contabi - lidad Orden de compra Artículo Factura Proveedor Pago al Prov. Especificación en OASIS CONCEPTUAL SCHEMA Conference_Review_System Class Autor identification: (autorid) ; constant _attributes nombre : String ; EnviarArticulo(ntitulo, nautor, ncoautores, ntopicos, nabstract, nestatus) with Articulo; Valuations [cambiar_datos (nnombre, n , nfiliacion, ntelefono)] nombre = nnombre and n = and filiacion = nfiliacion and telefono = ntelefono; end_class Dependencias Modelo conceptual OASIS A1 A2 Dependencia de meta A1 A2 Dependencia de tarea A1 A2 Dependencia de recurso A1 A2 Dependencia de meta suave 11

12 Periodo de Investigación ( )... PROYECTO DE INVESTIGACIÓN Generación de un Modelo de Requisitos para interfaces de usuario a partir de un Modelo de Negocios Casos de uso list of interest of PcMember review paper list PcChair Revisar Reglas Enviar Artículo Artículo Asignar Artículo a PcMember Asignar Artículo a Revisor MSC System list of PcMember assign reviewers Indentify interest Modelo de negocios paper list assign paper PcMember reviewing paper Indentify interest Reglas Escenarios Interface de Usuario Modelo de requisitos

13 Periodo de Investigación ( )... PROYECTO DE INVESTIGACIÓN: Generación de un Modelo conceptual a partir de un Modelo de Negocios Modelos de Negocios Heurísticas Lista interés Artículo Revisor Obtener lista de interés Identificar cinflictos ctos Asignar artículos Asignar artículo Generar lista Generar lista PcMember de artículos Sistema SW PcMemberId TópicosInteres EnviaListaInterés() ArticuloId titulo autor coautores abstract EnviarArticulo() AsignarPaperPcMember() Ai AsignarPaperREvisor REi RevisorId nombre filiación Registro() Especificación KAOS CONCEPTUAL SCHEMA Conference_Review_System Class Autor identification: (autorid) ; constant _attributes nombre : String ; EnviarArticulo(ntitulo, nautor, ncoautores, ntopicos, nabstract, nestatus) with Articulo; Valuations [cambiar_datos (nnombre, n , nfiliacion, ntelefono)] nombre = nnombre and n = and filiacion = nfiliacion and telefono = ntelefono; end_class Especificación OASIS CONCEPTUAL SCHEMA Conference_Review_System Class Autor identification: (autorid) ; constant _attributes nombre : String ; EnviarArticulo(ntitulo, nautor, ncoautores, ntopicos, nabstract, nestatus) with Articulo; Valuations [cambiar_datos (nnombre, n , nfiliacion, ntelefono)] nombre = nnombre and n = and filiacion = nfiliacion and telefono = ntelefono; end_class PcMember PcMemberId nombre filiación telefono Registro() Autor AutorId nombre filiación telefono Registro() Notificación articuloid direccionenvio claridad relevancia comentarios estatus PcChair nombre filiación telefono Registro() Revision articuloid claridad relevancia comentarios final estatus EnviarRevision() EnviarNotificacion()

14 Actividad Investigadora ( ) PUBLICACIONES REALIZADAS Generación de Especificaciones de Requisitos de software a partir de Modelos de Negocios: un enfoque basado en metas. Hugo Estrada, Alicia Martínez, Oscar Pastor: V Workshop on Requirements Engineering(WER i 2002). El Modelo de Negocios como origen de especificaciones de requisitos de software: una aproximación metodológica. Alicia Martínez, Hugo Estrada, Oscar Pastor 9no. Congreso Internacional de Investigación en Ciencias Computacionales (CIICC 02) Cd. De Puebla, México del 23 al 25 de octubre del From Early Requirements to User Interface Prototyping: A methodological approach.alicia Martínez, Hugo Estrada, Juan Sánchez, Oscar Pastor, 17th IEEE International Conference Automated Software Engineering (ASE2002), September 23-27, 2002 Edinburgh University Conference and Training Centre Edinburgh, UK. 14

15 Actividad Investigadora ( ) PUBLICACIONES REALIZADAS DerivaciónD i ió automática ái de un Esquema Conceptual Ejecutable a partir de un Modelo Organizacional. Hugo Estrada, Alicia Martínez, Oscar Pastor, Javier Ortiz, Erika Nieto, 5º Workshop Iberoamericano de Ingeniería de Requisitos it y ambientes de Software (Ideas2002), La habana, Cuba, Págs Automatic Generation of Conceptual schemas based in a Workflow Hugo Estrada, Alicia Martínez, Oscar Pastor:, Proceedings of the IV Workshop on Requirements Engineering(WER01), BuenosAires Argentina. Un Enfoque para la Formalización de Modelos de Flujo de Productos de Trabajo Hugo Estrada, Javier Ortiz, Alicia Martínez 7th. Congreso Internacional de Investigación en Ciencias Computacionales (CIICC'00) 00), Tamaulipas, México, Octubre del

16 Conclusiones Cursos de Doctorado y Trabajos de investigación completados Exploración de diferentes alternativas para generar especificaciones de software a partir de un modelo denegocios representados td en el framework i* Publicaciones en Congresos (ASE, WER, IDEAS, CIICC) 16