Programa General Miércoles

	Miércoles 19
8:00	8:00 - 9:00 Buses + Registro (Todo el día)
9:00	9:00 - 10:30 JISBD BBDD#1 DSDM#1				9:00 - 10:30 PROLE #S5				9:00 - 10:30 JCIS #S4
10:00
	10:30 - 11:00 Café
11:00	11:00 - 12:30 JISBD BBDD#2 DSDM#2				11:00 - 12:30 PROLE #S6				11:00 - 12:30 JCIS #S5
12:00
	12:30 - 13:30 @Turing - Charla invitada Maribel Fernandez. (KC London, UK)
13:00
	13:30 - 15:00 Comida
14:00
15:00	15:00 - 16:30 JISBD BBDD#3 DSDM#3				15:00 - 16:30 PROLE #S7				15:00 - 16:30 JCIS #S6
16:00
	16:30 - 17:00 Café
17:00	17:00 - 18:30 JISBD DSDM#4						17:00 - 18:30 JCIS Reunión RCS
18:00
	18:30 - 19:00 Buses Organización
19:00
20:00
	20:30 - 21:30 Panorámica Aguadulce
21:00
	21:30 - 23:30 Cena de Gala
22:00
23:00

Alias	Nombre
JISBD2012	XVII Jornadas de Ingeniería del Software y Bases de Datos
PROLE2012	XII Jornadas sobre Programación y Lenguajes
JCIS2012	VIII Jornadas de Ciencia e Ingeniería de Servicios
@Turing	Actividades Turing

Track #1: Bases de Datos, Almacenes de Datos, Minería de Datos, Recuperación de la información (BBDD)

Carlos Blanco Bueno, Eduardo Fernandez-Medina and Juan Trujillo. Modelado Seguro de Consultas OLAP y su Evolución. (Emergentes)

Elisa de Gregorio, Alejandro Maté, Hector Llorens, Juan Trujillo, Jan Jurjen. Modelado y Generación Automática de Requisitos de Cuadros de Mando. (Emergentes)

Francisco Javier Fernández Bejarano, Pedro José Abad Herrera, José Luis Álvarez Macías and José Luis Arjona Fernández. MiningDeepWeb: Herramienta para la Extracción de Información en la Web profunda mediante técnicas de minería de datos. (Herramientas)

Jose-Norberto Mazon, Jose Zubcoff, Irene Garrigos, Roberto Espinosa and Rolando Rodríguez. Open Business Intelligence: uso amigable de tecnicas de inteligencia de negocio sobre datos abiertos. (Emergentes)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]


Track #5: Desarrollo de Software Dirigido por Modelos (DSDM)

Javier Luis Canovas Izquierdo and Jordi Cabot. Creación Colaborativa de Lenguajes Específicos de Dominio. (Emergentes)

Javier Troya y Antonio Vallecillo. On the Modular Specification of Non-Functional Properties in DSVLs. (Emergentes)

Alfonso Rodriguez, Eduardo Fernandez-Medina, Juan Trujillo and Mario Piattini. Secure Business Process model specification through a UML 2.0 Activity Diagram profile. (Relevantes)

Feliu Trias, Valeria de Castro, Marcos López Sanz and Esperanza Marcos. Definición del dominio de las aplicaciones Web basadas en CMS: un Metamodelo Común para CMS. (Regulares)

María Gómez, Ignacio Mansanet, Joan Fons, and Vicente Pelechano. MOSKitt4SPL: Tool support for Developing Self-Adaptive Systems. (Herramientas)

Alvaro Jimenez, Veronica Bollati, Juan Manuel Vara and Esperanza Marcos. Aplicando los principios del DSDM al desarrollo de transformaciones de modelos en ETL . (Regulares)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Edelmira Pasarella, Fernando Orejas, Elvira Pino and Marisa Navarro. Semantics of structured normal logic programs.

Simone Santini. Regular queries in event systems with bounded uncertainty.

Pedro J. Morcillo, Gines Moreno, Jaime Penabad and Carlos Vázquez. String-based Multi-adjoint Lattices for Tracing Fuzzy Logic Computations.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Jenifer Verde, Juan Manuel Vara, Veronica Andrea Bollati and Esperanza Marcos. Desarrollo de puentes tecnológicos para soportar el modelado de interfaces de servicio.

Rubén Casado, Javier Tuya and Muhammad Younas. An Abstract Transaction Model for Testing the Web Services Transactions.

José María García, David Ruiz, and Antonio Ruiz-Cortés. A Model of User Preferences for Semantic Services Discovery and Ranking.

M.Carmen De Castro, Azahara Camacho-Magriñán and Inmaculada Medina-Bulo. Aplicación de la técnica de las pruebas metamórficas a una composición de servicios: Metasearch.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]






Track #1: Bases de Datos, Almacenes de Datos, Minería de Datos, Recuperación de la información (BBDD)

David Anton, Alfredo Goñi and Arantza Illarramendi. Diseño de un sistema de telerehabilitación basado en Kinect. (Emergentes)

Manuel A. Regueiro, Sebastián Villarroya, Gabriel Sanmartín and José R.R. Viqueira. Integración de observaciones medioambientales: Solución inicial y retos futuros. (Emergentes)

Sebastián Villarroya, Gabriel Álvarez, Roi Méndez and José R.R. Viqueira. Análisis espacio-temporal en sistemas de bases de datos lógico-funcionales. (Emergentes)

Ismael Navas-Delgado, Alejandro Del Real-Chicharro, Miguel Medina, Francisca Sánchez-Jiménez and Jose F Aldana Montes. Social Pathway Annotation: Extensions of the Systems Biology Metabolic Modelling Assistant. (Relevantes)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]


Track #5: Desarrollo de Software Dirigido por Modelos (DSDM)

Sesión 2
Chairs: Dr. Antonio Vallecillo y Dr. José Raul Romero

Encarna Sosa Sánchez, Pedro J. Clemente, Jose Maria Conejero and Roberto Rodriguez-Echeverria. Un proceso de modernización dirigido por modelos de sistemas web heredados hacia SOAs. (Emergentes)

Francisco Javier Bermúdez Ruiz and Jesús Joaquín García Molina. Un framework basado en modelos para la modernización de datos. (Regulares)

Iván Santiago, Juan Manuel Vara, María Valeria De Castro and Esperanza Marcos. iTrace: un framework para soportar el análisis de información de trazabilidad en proyectos de Desarrollo Software Dirigidos por Modelos. (Regulares)

Victor Manuel Bolinches Marin and José Angel Carsí Cubel. Diseño de niveles y uso de motores en el desarrollo de videojuegos dirigido por modelos. (Regulares)

Pedro Sánchez, Diego Alonso, Francisca Rosique, Bárbara Álvarez and Juan Ángel Pastor. Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications. (Relevantes)

Javier Espinazo Pagán, Jesús Sánchez Cuadrado and Jesús García Molina. Un repositorio NoSQL para acceso escalable a modelos. (Regulares)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Dragan Ivanovic, Manuel Carro and Manuel Hermenegildo. Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations.

Jesus M. Almendros-Jimenez and Luis Iribarne. PTL: A Prolog based Model Transformation Language.

Enrique Chavarriaga, Fernando Díez and Alfonso Díez. Intérprete PsiXML para gramáticas de mini-Lenguajes XML en aplicaciones Web.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Carlos Müller, Marc Oriol Hilari, Marc Rodríguez, Xavier Franch, Jordi Marco, Manuel Resinas and Antonio Ruiz-Cortés. SALMonADA: A Platform for Monitoring and Explaining Violations of WS-Agreement-Compliant Documents.

José María García, David Ruiz and Antonio Ruiz-Cortés. SOA4All Integrated Ranking: A Preference-based, Holistic Implementation.

José Antonio Martin, F. Martinelli and Ernesto Pimentel. Synthesis of Secure Adaptors.

Jose Antonio Dorado-Cerón, Juan Boubeta-Puig, Guadalupe Ortiz and Inmaculada Medina-Bulo. Detección de Ataques de Seguridad mediante la Integración de CEP y SOA 2.0.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]






Track #1: Bases de Datos, Almacenes de Datos, Minería de Datos, Recuperación de la información (BBDD)

Roberto Uribe-Paredes, Enrique Arias, Diego Cazorla and Jose L. Sanchez. Una estructura Metrica Generica para Busquedas por Rango sobre una Plataforma Multi-GPU. (Regulares)

Francisco Claude and Susana Ladra. Practical Representations for Web and Social Graphs. (Relevantes)

Luis G. Ares, Nieves R. Brisaboa, Alberto Ordóñez Pereira and Oscar Pedreira. Reducción de la Complejidad Externa en Búsquedas por Similitud usando Técnicas de Clustering. (Regulares)

Angel Luis Garrido, Oscar Gomez, Sergio Ilarri and Eduardo Mena. NASS: A Semantic Annotation Tool for Media. (Regulares)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]


Track #5: Desarrollo de Software Dirigido por Modelos (DSDM)

Sesión 3
Chairs: Dr. Antonio Vallecillo y Dr. José Raul Romero

Ricardo Perez-Castillo, Jose Antonio Cruz-Lemus, Ignacio Garcia-Rodriguez de Guzman and Mario Piattini. A Family of Case Studies on Business Process Mining. (Relevantes)

Maria Gomez, Joan Fons and Vicente Pelechano. Evolución de Sistemas Auto-Adaptables mediante Modelos en Tiempo de Ejecución. (Regulares)

Jesús Sánchez Cuadrado, Orlando Ávila García, Javier Luis Canovas Izquierdo and Adolfo Sánchez-Barbudo. Parametrización de las transformaciones horizontales en el modelo de herradura. (Emergentes)

Jesús Sánchez Cuadrado. Transformación de modelos con Eclectic . (Herramientas)

Manuel Wimmer, Loli Burgueño and Antonio Vallecillo. Prueba de Transformaciones de Modelos con TractsTool. (Herramientas)

Rober Morales-Chaparro, Juan Carlos Preciado and Fernando Sanchez-Figueroa. Desarrollo dirigido por modelos de visualización de datos para la Web. (Regulares)

Pedro J. Clemente, Juan Hernández, Jose Maria Conejero and Guadalupe Ortiz. Managing crosscutting concerns in component based systems using a model driven development approach. (Relevantes)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Jose Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro and Fernando Orejas. Invariant-Free Clausal Temporal Resolution.

Damián Adalid, Alberto Salmerón, María del Mar Gallardo and Pedro Merino. Testing Temporal Logic on Infinite Java Traces.

Laura Panizo and María del Mar Gallardo. Analyzing Hybrid Systems with JPF.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Cristina Cabanillas, Adela Del-Río-Ortega, Manuel Resinas and Antonio Ruiz-Cortés. RAL Solver: a Tool to Facilitate Resource Management in Business Process Models.

Cristina Cabanillas, Manuel Resinas, and Antonio Ruiz-Cortés. Defining and Analysing Resource Assignments in Business Processes with RAL .

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]






Track #5: Desarrollo de Software Dirigido por Modelos (DSDM)

Discusión y debate sobre temas de interés general.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]



[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]