Programa SISTEDES 2015

Transcripción

1
2
Programa General
Lunes 14
Martes 15
Miércoles 16
Jueves 17
09:00-10:30
GD1 (Convención)
IWSC (Murcia)
JCIS1.1 (Valencia)
PROLE4 (Palma)
10:30-11:00
Pausa café
09:00-10:30
ASV1 (Murcia)
JCIS2.1 (Valencia)
PROLE7 (Palma)
SBSE1 (Convención)
10:30-11:00
Pausa café
11:00-12:00
ASV2 (Murcia)
JCIS2.2 (Valencia)
PROLE Meeting
(Palma)
SBSE2 (Convención)
08:00-09:00
Registro
09:00-10:30
DSDM1 (Convención)
PROLE1 (Palma)
10:30-11:00
Pausa café
11:00-12:00
Inauguración
(Convención)
12:00-13:30
Charla invitada JISBD,
CARLO GUEZZI
(Convención)
13:30-15:00
Almuerzo
(Las Arenas)
15:00-16:30
DSDM2 (Convención)
PROLE2 (Palma)
16:30-17:00
Pausa café
17:00-20:00
Registro
17:00-19:00
DSDM3 (Convención)
PROLE3 (Palma)
20:00-21:30
Cóctel en el Casino
11:00-12:00
GD2 (Convención)
JCIS1.2 (Valencia)
PROLE5 (Palma)
PSM (Murcia)
12:00-13:30
12:00-13:30
Charla invitada JCIS,
Charla invitada PROLE,
MICHAEL P.
ROBERTO GIACOBAZZI
PAPAZOGLOU
(Convención)
(Convención)
13:30-15:00
13:30-15:00
Almuerzo
Almuerzo
(Las Arenas)
(Las Arenas)
15:00-16:30
15:00-16:30
JCIS2.3 (Valencia)
CP (Murcia)
Tema Abierto
GD3 (Convención)
(Murcia)
JCIS1.3 (Valencia)
PROLE8 (Palma)
PROLE6 (Palma)
SBSE3 (Convención)
16:30-17:00
16:30-17:30
Pausa café
Pausa café + Sesión de
17:00-19:00
Demos
Tutorial.
17:30-18:00
Armando Fox
Premio SISTEDES
(University of
(Convención)
California,
18:00-19:30
Berkeley)(Convención)
Asamblea SISTEDES
(Convención)
19:15 (estricto)
Traslado en autobús
19:30
20:30-23:00
Visita en barco a la
Cena oficial en el
bahía
restaurante Deluz
Contenidos
Programa de las Jornadas JISBD ......................................................... 5
Programa de las Jornadas PROLE.......................................................13
Programa de las Jornadas JCIS ..........................................................17
Charlas invitadas ..............................................................................21
Carlo Ghezzi: Evaluating Research (And Researchers): Should We
Care? -A Software Engineering Perspective ........................................ 21
Michael P. Papazoglou: New Generation Service Systems &
Applications: The Road Ahead ............................................................. 23
Roberto Giacobazzi: Obscuring Code - Unveiling And Veiling
Information In Programs ..................................................................... 25
Tutorial ............................................................................................27
Armando Fox: Desarrollando software como servicio ........................ 27
Eventos sociales ...............................................................................28
Martes 15 de septiembre, 20:00. Cóctel en el Casino del Sardinero .. 28
Miércoles 16 de septiembre, 19:15. Visita a la bahía .......................... 29
Jueves 17 de septiembre, 20:30. Cena de Gala ................................... 30
Información útil ...............................................................................31
Moverse por Santander ....................................................................... 31
Ir a la estación de autobuses y la estación de tren de Santander ....... 32
Ir al aeropuerto de Santander ............................................................. 32
Organizadores ..................................................................................33
Programa de las Jornadas JISBD
Lunes, 14 de septiembre
17:00-20:00
Registro de participantes
Martes, 15 de septiembre
08:00-09:00
09:00-10:30
10:30-11:00
11:00-12:00
12:00-13:30
13:30-15:00
15:00-16:30
DSDM1 (Desarrollo de Software Dirigido por Modelos)
(Moderador: Antonio Vallecillo) (Sala Convención)
“CEViNEdit: mejorando el proceso de creación y
personalización de editores gráficos cognitivamente eficaces
con GMF”.
David Granada, Ángel Moreno, Juan Manuel Vara, Verónica
Andrea Bollati and Esperanza Marcos.
“Automatización para la edición de modelos basada en vistas
de dominio”.
César Cuevas, Patricia López Martínez and Jose M. Drake.
“PyEmofUC: Un entorno MDE/EMOF minimalista”.
José M. Drake, César Cuevas, Juan Ramón Fernández
Castañera and Patricia López Martínez.
Pausa café
Inauguración (Sala Convención)
Charla invitada JISBD 2015: “Evaluating research (and
researchers): should we care?--A software engineering
Perspective”. (Sala Convención).
Carlo Ghezzi (Politecnico di Milano, Italia).
Almuerzo (Sala Las Arenas)
(Moderador: Salvador Trujillo) (Sala Convención)
“Model Driven NoSQL Data Engineering”.
Diego Sevilla, Severino Feliciano Morales and Jesus GarciaMolina.
5
16:30-17:00
17:00-19:00
20:00-21:30
“Achieving software-assisted knowledge generation through
model-driven interoperability”.
Patricia Martin-Rodilla, Giovanni Giachetti and Cesar GonzalezPerez.
“Mediación semántica A* basada en MDE para la generación
de arquitecturas en tiempo de ejecución”.
Javier Criado, Luis Iribarne and Nicolás Padilla.
“SociAALML: Lenguaje de Modelado para Escenarios de
Inteligencia Ambiental”.
Pablo Campillo-Sánchez, Juan Pavón and Jorge J. Gómez-Sanz.
Pausa café.
(Moderador: Pedro J. Clemente) (Sala Convención)
“Aplicando DSDM al Diseño, Implementación y Verificación
de Software para Drones: Una Primera Aproximación”.
Enrique Moguel, Cristina Vicente-Chicote and Juan Hernández.
“Lenguaje específico del dominio para generación de
aplicaciones de procesos administrativos”.
Antonio García Domínguez, Ismael Jerez Ibáñez and
Inmaculada Medina Bulo.
“Arquitectura basada en modelos para la generación de
especificaciones textuales de requisitos a partir de procesos
de negocio definidos mediante BPMN”.
José Manuel Cruz Zapata, Begoña Moros Valle and José
Ambrosio Toval Álvarez.
“Analysis of the Scientific Production of the Spanish Software
Engineering Community”.
Loli Burgueño, Antonio Moreno-Delgado and Antonio
Vallecillo.
Cóctel en la terraza del Casino del Sardinero
6
Miércoles, 16 de septiembre
09:00-10:30
GD1 (Gestión de Datos)
(Moderador: José R.R.
Viqueira). (Sala Convención)
“Indexación de objetos
móviles utilizando
estructuras de datos
compactas”.
Nieves R. Brisaboa, Ramón
Casares, Andrea Rodríguez,
Miguel Romero and Diego
Seco.
“Query approximation in the
case of incompletely aligned
datasets”.
Ana Isabel Torre Bastida,
Jesús Bermúdez and Arantza
Illarramendi.
“Modernizing secure OLAP
applications with a model
driven approach”.
Carlos Blanco, Eduardo
Fernández-Medina and Juan
Trujillo.
10:30-11:00
“A First Step Towards
Keyword-Based Searching
for Recommendation
Systems”.
María Del Carmen
RodríguezHernández,
Francesco Guerra, Sergio
Ilarri and Raquel Trillo Lado.
Pausa café.
7
IWSC (Ingeniería Web y
Sistemas Colaborativos)
(Moderadores: Elena
Navarro y Roberto
Rodríguez). (Sala Murcia)
“JET: A Proof of Concept
Enabling Mobile Devices as
Personal Profile Providers”.
Javier Berrocal, Carlos Canal,
Jose García Alonso, Niko
Mäkitalo, Tommi Mikkonen,
Javier Miranda and Juan
Manuel Murillo
Rodríguez.
“GeoNews: Generación
automática de contextos
geográficos para programas
de noticias a través de
HbbTV”.
Moisés Vilar, Sebastián
Villarroya, José R.R. Viqueira
and Jose Cotos.
“Modelos de Contexto en el
Desarrollo de Interfaces
Post-WIMP: una Revisión
Crítica”.
Arturo C. Rodríguez, Cristina
Roda, Elena Navarro and
Pascual González.
“Empirical study on the
maintainability of Web
applications: Modeldriven
Engineering vs Code-centric”.
Yulkeidi Martínez, Cristina
Cachero and Santiago Meliá.
11:00-12:00
(Moderador: Ernest
Teniente). (Sala Convención).
“Integración semántica de
datos de observación
mediante servicios SOS”.
Manuel A. Regueiro, José R.R.
Viqueira, Christoph Stasch
and José Cotos.
12:00-13:30
13:30-15:00
PSM (Procesos Software y
Metodología)
(Moderadores: Agustín
Yagüe y Mercedes Ruiz).
(Sala Murcia)
“A View of Process
Improvement from an
Academic Perspective: How
Does Software Engineering
Education Contribute to
CMMI Practices?”.
Ana M Moreno, Maribel
Sánchez-Segura, Fuensanta
Medina-Domínguez and
Gonzalo Cuevas.
“Optimización del
Almacenamiento de Datos
en la Gestión Energética de
Edificios Inteligentes”
Samuel Otero Paz, Jose Angel
Taboada, José R.R. Viqueira
and Juan Enrique Arias
“On the Impact of UML
Rodriguez.
Analysis Models on SourceCode Comprehensibility and
“Un marco para
Modifiability”.
democratizar la minería de
Giuseppe Scanniello, Carmine
datos: propuesta inicial y
Gravino, Marcela Genero,
retos”.
José A. Cruz-Lemus and
Diego García-Saiz, Roberto
Genny Tortora.
Espinosa, José Jacobo
Zubcoff, José-Norberto
Mazón and Marta Zorrilla.
Charla invitada JCIS 2015: “New Generation Service Systems
& Applications: The Road Ahead”. (Sala Convención)
Michael P. Papazoglou (Tilburg University).
8
15:00-16:30
(Moderador: Antonio
Corral). (Sala Convención).
“SODA: A framework for
spatial observation data
analysis”.
Sebastián Villarroya, José R.R.
Viqueira, Manuel A. Regueiro,
Jose Angel Taboada and Jose
Cotos.
“Tracing Conceptual Models'
Evolution in Data
Warehouses by using the
Model Driven Architecture”.
Alejandro Maté and Juan
Trujillo.
“XXS: Efficient XPath
Evaluation on Compressed
XML Documents”.
Nieves R. Brisaboa, Ana
Cerdeira-Pena and Gonzalo
Navarro.
“Compressed vertical
partitioning for efficient RDF
management”.
Sandra Álvarez-García, Nieves
R. Brisaboa, Javier D.
Fernández, Miguel A.
Martínez-Prieto and Gonzalo
Navarro.
16:30-17:00
Pausa café
9
CP (Calidad y Pruebas)
(Moderadoras: Carme Quer y
Mª José Suárez-Cabal). (Sala
Murcia)
“Pruebas basadas en flujo de
datos para programas
MapReduce”.
Jesús Morán, Claudio De La
Riva and Javier Tuya.
“I8K|DQ-BigData: Extensión
Arquitectura I8K para
Calidad de Datos en Big
Data”.
Bibiano Rivas, Jorge Merino,
Manuel Serrano, Ismael
Caballero and Mario Piattini.
“Automated metamorphic
testing of variability analysis
tools”.
Sergio Segura, Amador
Duran, Ana B. Sánchez, Daniel
Le Berre, Emmanuel Lonca
and Antonio Ruiz-Cortés.
“Coveragebased testing for
Service Level Agreements”.
Marcos Palacios, José GarcíaFanjul, Javier Tuya and
George Spanoudakis.
“Herramienta para la Prueba
de Mutaciones en el
Lenguaje C++”.
Pedro Delgado-Pérez,
Inmaculada Medina-Bulo and
Juan José DomínguezJiménez.
17:00-19:00
19:15
19:30
Tutorial: “Desarrollando software como servicio”. (Sala
Convención).
Armando Fox (University of California, Berkeley)
(Horario estricto) Traslado en autobús al centro de la ciudad
Visita en barco a la bahía de Santander
Jueves, 17 de septiembre
09:00-10:30
ASV1 (Arquitecturas
Software y Variabilidad)
(Moderador: David
Benavides) (Sala Murcia)
“Desarrollo de una Línea de
Productos Software
utilizando las clases parciales
C#: Slicer Pattern”.
Alejandro Pérez Ruiz and
Pablo Sánchez Barreiro.
“Defining and Validating a
Feature-Driven
Requirements Engineering
Approach”.
Raphael Pereira de Oliveira,
David Blanes, Javier
Gonzalez-Huerta, Emilio
Insfran, Silvia Abrahao,
Sholom Cohen and Eduardo
Santana de Almeida.
“A model for tracing
variability from features to
productline architectures: a
case study in smart grids”.
Jessica Díaz, Jennifer Perez
and Juan Garbajosa.
10
SBSE1 (Ingeniería del
Software Guiada por
Búsquedas)
(Moderador: Sergio Segura).
(Sala Convención).
“Exact Scalable Sensitivity
Analysis for the Next Release
Problem”.
Mark Harman, Jens Krinke,
Inmaculada Medina Bulo,
Francisco Palomo Lozano,
Jian Ren and Shin Yoo.
“Análisis de las soluciones
guiadas por búsqueda para
el problema de selección de
requisitos”.
Isabel Del Águila and José Del
Sagrado.
“Resolviendo un problema
multi-objetivo de selección
de requisitos mediante
resolutores del problema
SAT”.
Isabel Del Águila, José Del
Sagrado, Francisco Chicano
and Enrique Alba.
“TESTAR - Automated User
Interface Testing Tool for
Industry Adoption”.
Urko Rueda, Tanja E.J. Vos,
Francisco Almenar, Mirella
Oreto and Anna Esparcia.
10:30-11:00
Pausa café.
11:00-12:00
ASV2 (Arquitecturas
Software y Variabilidad)
(Moderadora: Jennifer
Pérez) (Sala Murcia)
12:00-13:30
13:30-15:00
Software Guiada por
Búsquedas)
(Moderador: José Raúl
Romero). (Sala Convención).
“QoS-aware web services
composition using GRASP
with Path Relinking”.
“Propuesta para un acceso
José Antonio Parejo Maestre,
homogéneo a servicios PaaS
Sergio Segura, Pablo
en la Nube”.
Fernandez and Antonio Ruiz
Miguel Barrientos, Jose
Cortés.
Carrasco Mora, Javier Cubo
“People as a Service y la
and Ernesto Pimentel.
Ingeniería del Software
Guiada por Búsqueda”.
Jose García-Alonso, Jose
Javier Berrocal Olmeda and
Juan Manuel Murillo
“Exploring the Synergies
Rodríguez.
between Joing Point
“Automated generation of
Interfaces and Featurecomputationally hard
Oriented Programming”.
feature models using
Cristian Vidal Silva, David
evolutionary algorithms”.
Benavides, José Galindo and
Sergio Segura, José Antonio
Paul Leger.
Parejo Maestre, Rob Hierons,
David Benavides and Antonio
Ruiz-Cortés.
Charla invitada PROLE 2015: “Obscuring Code - Unveiling And
Veiling Information In Programs”. (Moderadora: Marisa
Navarro) (Sala Convención)
Roberto Giacobazzi (Università degli Studi di Verona).
11
15:00-16:30
Tema Abierto (Moderador
José H. Canós) (Sala Murcia)
Software Guiada por
Búsquedas)
(Moderador: Francisco
Chicano). (Sala Convención).
16:30-17:30
17:30-18:00
18:00-19:30
“SHERLOCK: Semantic
management of LocationBased Services in Wireless
environments”.
“Interactividad en el
Roberto Yus, Eduardo Mena,
descubrimiento evolutivo de
Sergio Ilarri and Arantza
arquitecturas software”.
Illarramendi.
Aurora Ramírez, José Raúl
“Understanding replication
Romero and Sebastián
of experiments in software
Ventura.
engineering: A
classification”.
Omar S. Gómez, Natalia
Juristo and Sira Vegas.
“Un entorno de gestión de
“Análisis y determinación del
casos para la resolución
impacto del operador de
flexible de emergencias”.
mutación en la generación
Juan Sánchez, José Carsí and
genética de casos de prueba
Carmen Penadés.
para WS-BPEL”.
Antonia Estero-Botaro, Álvaro
“KVLEAP: Interacción sin
Cortijo-García, Antonio
contacto (touchless) con
García-Domínguez, Francisco
ordenadores”.
Kevin Villalobos, David Anton, Palomo-Lozano, Juan José
Domínguez-Jiménez and
Alfredo Goñi and Arantza
Inmaculada Medina-Bulo.
Illarramendi.
Pausa café + Sesión de demostraciones
Premio a la mejor tesis doctoral en el ámbito SISTEDES
Asamblea SISTEDES
20:30-23:00
Cena de gala en restaurante Deluz
12
Programa de las Jornadas PROLE
17:00-20:00
08:00-09:00
09:00-10:30
10:30-11:00
11:00-12:00
12:00-13:30
13:30-15:00
15:00-16:30
PROLE1: Analysis and Transformation (Moderadora: Alicia
Villanueva)(Sala Palma)
“A Haskell Implementation of a Rule-Based Program
Transformation for C Programs”. (Abstract).
Salvador Tamarit, Guillermo Vigueras, Manuel Carro and Julio
Mariño.
“Towards a Formal Semantics-Based Technique for
Interprocedural Slicing”. (Abstract)
Irina Mariuca Asavoae, Mihail Asavoae and Adrián Riesco.
“Automatic Generation of Logical Models for Order-Sorted
First-Order Theories in Program Analysis”. (Original work)
Salvador Lucas.
Pausa café
Perspective”. (Sala Convención)
PROLE2: Testing (Manuel Carro)(Sala Palma)
“Using Model Checking to Generate Test Cases for Android
Applications”.
Ana Rosario Espada Sandi, Maria del Mar Gallardo, Alberto
Salmerón and Pedro Merino.
13
16:30-17:00
17:00-19:00
20:00-21:30
“A Collection of Website Benchmarks Labelled for Template
Detection and Content Extraction”.
Julián Alarte Aleixandre, David Insa, Josep Silva and Salvador
Tamarit
“Property based Testing of XQuery Programs”.
Jesús M. Almendros-Jiménez and Antonio Becerra-Terón
Pausa café
PROLE3: Semantics (Moderador: Jesús M. Almendros)(Sala
Palma)
“Proving Continuity of Coinductive Global Bisimulation
Distances: A Never End Story”.
David Romero Hernández, David Frutos Escrig and Dario Della
Monica
“Reasoning about policy behavior in logic-based trust
management systems: Some complexity results and an
operational framework”.
Edelmira Pasarella and Jorge Lobo.
“A discretized operational semantics for the implementation
of hy-tccp”.
Maria Del Mar Gallardo, Laura Panizo and Laura Titolo.
“A Declarative Semantics for a Fuzzy Logic Language
Managing Similarities and Truth Degrees”.
Pascual Julián-Iranzo, Ginés Moreno, Jaime Penabad and
Carlos Vázquez.
09:00-10:30
PROLE4: Debugging and Termination (Moderador: Ricardo
Peña)(Sala Palma)
“Productivity of rewrite systems without transformations”.
Salvador Lucas.
“A Declarative Debugger for Concurrent Erlang Programs”.
Rafael Caballero, Enrique Martin-Martin, Adrián Riesco and
Salvador Tamarit.
“Thresholded Debugging of XPath Queries”.
Jesús M Almendros-Jiménez, Alejandro Luna Tedesqui and
Ginés Moreno.
14
10:30-11:00
11:00-12:00
12:00-13:30
13:30-15:00
15:00-16:30
16:30-17:00
17:00-19:00
19:15
19:30
Pausa café
PROLE5: Combining Languages and Techniques (Moderador:
Adrián Riesco)(Sala Palma)
“Constraint Programming meets SQL”.
Rafael Caballero and Carlo Leva.
“Analysing the Termination of Term Rewriting Systems using
Data Mining”.
Javier Piris, Hermenegildo Fabregat and María José RamírezQuintana
PROLE6: Logic and Learning on Databases (Moderadora:
Paqui Lucio)(Sala Palma)
“Restricted Predicates for Hypothetical Datalog”.
Fernando Sáenz-Pérez.
“HR-SQL: An SQL Database System with Extended Recursion
and Hypothetical Reasoning”.
Susana Nieva, Fernando Sáenz-Pérez and Jaime SánchezHernández.
“Learning a Subclass of Multivalued Dependencies Formulas
from Entailments”.
Montserrat Hermo and Ana Ozaki.
Pausa café
Convención).
Armando Fox (University of California,Berkeley)
15
16:30-17:30
17:30-18:00
18:00-19:30
PROLE7: Specification and Type Systems (Moderadora: Maria
del Mar Gallardo)(Sala Palma)
“A liberal type system for functional logic programs”.
Francisco Javier López-Fraguas, Enrique Martin-Martin and
Juan Rodríguez-Hortalá.
“Satisfiability of Constraint Specifications on XML
Documents”.
Marisa Navarro, Fernando Orejas and Elvira Pino.
“Inferring Specifications in the K framework”.
María Alpuente, Daniel Pardo and Alicia Villanueva.
Pausa café
PROLE Meeting (Sala Palma)
PROLE8: Verification (Sala Palma)
“An Assertional Proof of the Stability and Correctness of
Natural Mergesort”.
K. Rustan M. Leino and Paqui Lucio.
“Abstract Diagnosis for tccp using a Linear Temporal Logic”.
Marco Comini, Laura Titolo and Alicia Villanueva.
“A Generic Intermediate Representation for Verification
Condition Generation”.
Manuel Montenegro, Ricardo Peña and Jaime SánchezHernández.
Asamblea SISTEDES
20:30-23:00
Cena de gala en restaurante Deluz
09:00-10:30
10:30-11:00
11:00-12:00
12:00-13:30
13:30-15:00
15:00-16:30
16
Programa de las Jornadas JCIS
17:00-20:00
08:00-09:00
11:00-12:00
13:30-15:00
Perspective”. (Sala Convención)
20:00-21:30
12:00-13:30
09:00-10:30
JCIS 1.1: Servicios en acción (Moderador: Juan Pavón
Mestras)(Sala Valencia)
“Conservación de una Reserva Natural con un Enfoque
Orientado a Servicios y Dirigido por Eventos”.
Antonio J. Arjona-Rodríguez, Juan Boubeta-Puig and
Guadalupe Ortiz.
“Algoritmo Híbrido de Composición Automática de Servicios
con QoS”.
Pablo Rodriguez-Mier, Manuel Mucientes and Manuel Lama.
“Towards Assessing Open Source Communities' Health using
SOC Concepts”.
Oscar Franco-Bedoya, Marc Oriol Hilari, Carlos Müller, Jordi
Marco, Pablo Fernández, Manuel Resinas, Xavier Franch and
Antonio Ruiz-Cortés
17
10:30-11:00
11:00-12:00
12:00-13:30
13:30-15:00
15:00-16:30
16:30-17:00
17:00-19:00
19:15
19:30
“Propuesta de una arquitectura de dispositivos como
servicios con procesamiento de eventos”.
Juan Boubeta-Puig, Javier Cubo, Adrián Nieto Pérez,
Guadalupe Ortiz and Ernesto Pimentel.
Pausa café
JCIS 1.2: Nuevas arquitecturas para servicios (Moderador:
Manuel Resinas)(Sala Valencia)
“Towards Collaborative Human-Centric CPS”.
Javier Berrocal,Carlos Canal, Jose García-Alonso, Juan
Hernández, Niko Mäkitalo, Tommi Mikkonen and Juan Manuel
Murillo Rodríguez.
“IoT Compositions by and for the Crowd”.
Ignacio Mansanet, Victoria Torres, Pedro Valderas and Vicente
Pelechano.
JCIS 1.3: Proyectos Europeos en Servicios (Moderadora:
Victoria Torres)(Sala Valencia)
“BETaaS: A Distributed Platform for Things as a Service”.
Francisco Javier Nieto.
“CloudWave: Agile Service Engineering for the Future
Internet”.
Francisco Javier Nieto and James Ahtes.
“SeaClouds: An Application Management System over the
Clouds”.
Miguel Barrientos, Leonardo Bartoloni, Antonio Brogi, Mattia
Buccarella, Jose Carrasco, Javier Cubo, Francesco D'Andria,
Elisabetta Di Nitto, Adrian Nieto, Marc Oriol, Ernesto Pimentel,
and Simone Zenzaro.
Pausa café
Convención).
Armando Fox (University of California,Berkeley)
18
09:00-10:30
10:30-11:00
11:00-12:00
12:00-13:30
13:30-15:00
JCIS 2.1: Servicios Cloud (Moderador: Carlos Canal)(Sala
Valencia)
“Estimación del coste de aprovisionar instancias de cómputo
para ejecutar aplicaciones bag-of-task en el cloud de
Amazon”.
Pedro Alvarez, Sergio Hernández, Javier Fabra and Joaquin
Ezpeleta
“Definición de Mecanismos Personalizados de
Monitorización de Servicios Cloud”.
Priscila Cedillo, Javier Jimenez-Gomez, Silvia Abrahao and
Emilio Insfran.
“Perfil UML para el Modelado de la Integración de Servicios
Cloud en Procesos de Desarrollo Incremental”.
Miguel Angel Zúñiga Prieto, Silvia Abrahao and Emilio Insfran.
“Towards SLA-Driven API Gateways”.
Antonio Gámez-Díaz, Pablo Fernández and Antonio RuizCortés.
Pausa café
JCIS 2.2: Procesos de Negocio (Moderador: Pedro Álvarez)
(Sala Valencia)
“Towards Defining Data-Based Thresholds for ProcessRelated KPIs”.
Adela Del-Río-Ortega, Félix García, Manuel Resinas, Francisco
Ruiz and Antonio Ruiz-Cortés.
“Reduciendo la complejidad gráfica de indicadores de
procesos de negocio usando abstracción”.
Irene Bedilia Estrada Torres, Adela Del Río Ortega, Manuel
Resinas and Antonio Ruíz Cotés.
“On the Calculation of Process Performance Indicators”.
Antonio Manuel Gutiérrez-Fernández, Manuel Resinas, Adela
Del-Río-Ortega and Antonio Ruiz-Cortés.
19
16:30-17:30
17:30-18:00
18:00-19:30
JCIS 2.3: Trabajos publicados y de posicionamiento
(Moderador: Félix Oscar García) (Sala Valencia)
“ProDiGen: Mining complete, precise and minimal structure
process models with a genetic algorithm”.
Borja Vázquez-Barreiros, Manuel Mucientes and Manuel
Lama.
“Towards a Comprehensive Purchasing Model for Cloud
Services”.
Octavio Martín-Díaz, Pablo Fernandez, Jose Maria Garcia and
Antonio Ruiz-Cortés.
“SafeWalks: aplicación móvil de supervisión de pacientes de
Alzheimer”
Pablo Pérez Lozano, Alejandro Pérez Vereda, Juan Manuel
Murillo and Carlos Canal.
Asamblea SISTEDES
20:30-23:00
Cena de gala. Restaurante Deluz.
15:00-16:30
20
Charlas invitadas
Charlas invitadas
Carlo Ghezzi: Evaluating Research (And Researchers):
Should We Care? -A Software Engineering Perspective
Evaluation is becoming an integral part of the professional life of researchers.
Different stakeholders need to evaluate research and researchers are often evaluated
as individuals. Research is evaluated by funding agencies, which need allocate funding
among different areas. It is evaluated by academic institutions, who need to set
priorities for their developments. Researchers are typically evaluated for promotion.
How are these evaluations performed? Which criteria are used? How sound they are?
Ultimately, the goal of research is to create new knowledge which can create benefits
for society. Research in computing (and software engineering in particular) should also
have a demonstrable societal impact. How can impact be measured?
Although these questions are hard to answer, we need to address them. Evaluations
are already in place, and too often they are based on flawed criteria, which
oversimplify the problem by proposing simplistic solutions. Often the pressure is on
producing numbers and rankings that are used a-critically across different disciplines.
What should we, as researchers, say? Do we have our own position on how to evaluate
research, researchers, impact?
The talk will mostly try to clarify the questions we have to ask and will discuss why
most current "solutions" are unacceptable. It will not try to propose solutions, but
instead it will try to raise awareness of the problem, present some good practices, and
call for a collective effort to develop possible answers.
Bio: Carlo Ghezzi is an ACM Fellow, an IEEE Fellow, a member
of Academia Europaea and of the Italian Academy of Sciences.
He received the ACM SIGSOFT Distinguished Service Award.
He is the current President of Informatics Europe.
He has been a member of the program committee of flagship
conferences in the software engineering field, such as the
ICSE and ESEC/FSE, for which he also served as Program and
21
Charlas invitadas
General Chair. He was also General Co-Chair of the International Conference on
Service Oriented Computing.
Ghezzi has been the Editor in Chief of the ACM Trans. on Software Engineering and
Methodology and is currently an Associate Editor of the Communications of the ACM,
IEEE Trans. on Software Engineering, Science of Computer Programming, Computing,
and Service Oriented Computing and Applications.
Ghezzi’s research has been mostly focusing on different aspects of software
engineering. He co-authored over 200 papers and 8 books. He coordinated several
national and international research projects. He has been the PI of the ERC Advanced
Grant SMScom.
22
Charlas invitadas
Michael P. Papazoglou: New Generation Service
Systems & Applications: The Road Ahead
The future applications of Service Oriented Computing promise to be transformative
creating formidable opportunities for systems integration through analytical
capabilities, masses of real-time networked data, business processes, all sorts of
equipment and devices, and computation.
New generation service systems promise increased efficiency and appropriate
interaction between the business world, computer networks, control systems the
physical world (e.g., machines, devices, structures), and humans enabling “smart”
systems and applications that offer increased effectiveness, productivity, and speed,
as well as functions not previously possible. Achieving these capabilities presents a
complex and multi-disciplinary engineering challenge. The fusion of three forces is
driving this phenomenon: Service Oriented Computing, Cloud Computing and CyberPhysical Systems.
New generation service systems form the foundation for smart applications which
combine technology, knowledge, processes, information, and human ingenuity to
develop and apply “intelligence” to every aspect of a smart application. New
generation service systems will support such diverse industries as aerospace,
automotive, energy, healthcare, manufacturing, infrastructure, consumer electronics,
and communications. Everyday life will become increasingly dependent on these
systems - in some cases with dramatic improvements.
The talk will include examples from smart medical and smart manufacturing
applications.
Bio: Prof. Michael P. Papazoglou is a highly acclaimed
academic with noteworthy experience in areas of
education, research and leadership pertaining to computer
science, information systems, industrial engineering and
digital manufacturing.
He is noted as one of the original promulgators of ‘serviceoriented computing’. Renowned for establishing local
‘pockets of research excellence’ in service science and engineering in several European
23
Charlas invitadas
countries, China, Australia and the UAE. He is a contributor of pioneering innovations
and first-rate science for resolving key scientific problems pertaining to software
development, distributed and cloud computing, and web services research.
Papazoglou is an author of the most highly cited papers in the area of service
engineering and Web services worldwide with a record of publishing 23 (authored and
edited) books, and over 200 prestigious peer-refereed papers. He is a
distinguished/honorary professor with an exemplary teaching and R&D record at 10
universities around the globe. He has delivered over 20 keynote addresses since 2000
and chaired 12 prestigious international peer refereed conferences since 1990.
24
Charlas invitadas
Roberto Giacobazzi: Obscuring Code - Unveiling And
Veiling Information In Programs
The talk concerns the design of code protecting transformations for white-box
cryptography in a MATE (Man-At-The-End) attack scenario. The battle scenario
involves attackers, modeled as approximate (abstract) interpreters of source
programs intended to extract information about their run-time behavior, and
protecting code transformations, modeled as distorted compilers devoted to inhibit
attacks. Attacks are inhibited by maximizing imprecision (incompleteness) in all
approximate computations made by the attacker. A brief overview on completeness
in abstract interpretation (including recent achievements in POPL15) will set the
theoretical background. The model is general enough to include generic static and
dynamic attacks. Protecting transformations are systematically and formally derived
as distorted compilers, by specializing a distorted interpreter for the programming
language with respect to the source code to protect. Interestingly this distortion
corresponds precisely to defeat the potency of the expected attacker, which consists
in its ability to extract a complete and precise view of program's execution.
Bio: Roberto Giacobazzi received the Laurea degree in
Computer Science in 1988 from the University of Pisa, and
in 1993 he received the Ph.D. in Computer Science from the
same university, with a Ph.D. thesis on Semantic aspects of
logic program analysis, under the supervision of Prof.
Giorgio Levi. From 1993 to 1995 he had a Post Doctoral
Research position at Laboratoire d'Informatique (LIX), Ecole
Polytechnique (Paris) in the equipe Cousot. From 1995 to
1998 he was (tenured) Assistant Professor in Computer Science at the University of
Pisa. From May 2000 until now he is Full Professor in Computer Science at the
University of Verona. The research interests of Roberto Giacobazzi include abstract
interpretation, static program analysis, semantics of programming languages,
program verification, abstract model-checking, program transformation and
optimization, digital asset protection, code obfuscation, malware detection, software
watermarking and lattice theory. He has been Program Chair of SAS, VMCAI, of
workshops in programming languages and language based security, and General Chair
of ACM POPL2013. He is currently in the Steering committee of SAS and ACM POPL.
25
Charlas invitadas
From 2006 to 2012 he has been Dean of the College of Science of the University of
Verona. He is now in his sabbatical year at IMDEA Software Institute. Before he was at
Irdeto Canada from May-October 2014.
26
Tutorial
Tutorial
Armando Fox: Desarrollando software como servicio
Armando Fox is a Professor in the EECS Department at UC Berkeley
and a co-PI of the ASPIRE Lab. As of Fall 2012, he is also the Director
of the Berkeley MOOCLab, whose mission is to stimulate and fund
research related to online-enhanced education that is then
incorporated into both online and in-classroom courses and
materials, closely tying MOOC development to rigorous research in
online learning.
Prior to his work at UC Berkeley, he was on the Computer Science faculty at Stanford.
He received his Ph.D., M.S. and B.S. degrees at Berkeley, Illinois and MIT, respectively.
His current research interests include applied statistical machine learning, Software as
a Service (SaaS) and cloud computing, highly-productive parallel programming, and
online education, especially in programming and software engineering. With Prof.
David Patterson, he launched Berkeley's first MOOC (CS 169.1x on edX.org) based on
their successful reinvention of the undergraduate software engineering course, and
co-authored the accompanying e-textbook Engineering Software as a Service.
In addition to the usual distinctions (NSF CAREER, ACM Distinguished Member, etc.),
his 2003 collaboration with Professor David Patterson on Recovery-Oriented
Computing earned him the distinction of being included in the "Scientific American
50" top researchers. In previous lives he helped design the Intel Pentium Pro
microprocessor and founded a company to commercialize his UC Berkeley dissertation
research on mobile computing.
27
Eventos sociales
Eventos sociales
Martes 15 de septiembre, 20:00. Cóctel en el Casino
del Sardinero
A las 20:00 se celebrará un cóctel en la terraza del Casino del Sardinero:
Casino del Sardinero
Plaza de Italia s/n, 39005 Santander
Teléfono: 942 27 60 54
http://www.grancasinosardinero.es
El casino se encuentra enfrente del lugar del congreso (Hotel Santemar).
Direcciones:
28
Eventos sociales
Miércoles 16 de septiembre, 19:15. Visita a la bahía
El congreso pone a disposición de los asistentes un autobús a las 19:15
(horario estricto) para el traslado desde el Hotel Santemar hasta el lugar
del comienzo de la visita por la bahía.
A las 19:30 se realizará una visita en barco por la bahía de Santander. El
barco se toma desde:
Embarcadero Los Reginas
Paseo Marítimo s/n, 39004 Santander
Teléfono: 942 216 753
E-mail: [email protected]
http://www.losreginas.com
Parada de autobús urbano más cercana: Jardines de Pereda
29
Eventos sociales
Jueves 17 de septiembre, 20:30. Cena de Gala
La cena de gala se celebrará a las 20:30 en el restaurante Deluz:
Restaurante Deluz
Calle Ramón y Cajal 18, 39005 Santander.
Teléfono: +34942290606
E-mail: [email protected]
www.deluz.es
El restaurante se encuentra a 5 minutos a pie desde el lugar del
congreso (Hotel Santemar). Direcciones:
30
Información útil
Información útil
Moverse por Santander
Las Jornadas se celebran en el Hotel Santemar, situado enfrente del
Casino del Sardinero, a dos minutos a pie de las famosas playas del
Sardinero en Santander, y a 10 minutos de la península de la Magdalena
Hotel Santemar
Calle de Joaquín Costa 28 - C.P. 39005 Santander
Tel. 942 272 900 - Fax 942 278 604
GPS: Latitud: 43.47012 Longitud: 3.7833
Al centro de Santander se puede ir a pie por la Avenida de la Reina
Victoria. En este camino se pueden disfrutar de las vistas de la bahía de
Santander, y son unos 35 minutos aproximadamente. Alternativamente,
se puede tomar un autobús urbano en esta misma avenida (parada más
31
Información útil
cercana al congreso “Plaza de Italia”, Líneas 1, 2, 3, 4, 7C1 o 13), y nos
podemos bajar en las paradas Puertochico, Jardines de Pereda, Correos,
Catedral, Calvo Sotelo o Ayuntamiento. (Billete ordinario 1.30€)
(http://www.tusantander.es/). Existe también un autobús turístico que
realiza un circuito por los lugares más representativos de la ciudad (15€
para un día).
(http://www.city-sightseeing.com/es/tours/spain/santander.htm)
Enfrente del Casino existe una parada de taxis. Alternativamente, se
puede solicitar un Taxi llamando al 942333333 (Servicio Radio Taxi
Santander).
El Ayuntamiento de Santander dispone de un servicio de alquiler de
bicicletas, mediante el cual se pueden realizar alquileres de corta duración
(http://www.tusbic.es/). Existen diversas estaciones a lo largo de la
ciudad, la más cercana al lugar del congreso está situada al lado del
Casino, enfrente de la playa.
Ir a la estación de autobuses y la estación de tren de
Santander
La estación de tren (Renfe y Feve) está situada al lado de la estación de
autobuses de Santander. Para llegar desde el Hotel Santemar, podemos
tomar al autobús Línea 4 desde “Plaza de Italia” hasta la parada
“Estaciones”.
Ir al aeropuerto de Santander
El aeropuerto de Santander está ubicado a cinco kilómetros de la cuidad.
Existe un servicio de autobús cada 30 minutos desde la estación de
autobuses de Santander hasta el aeropuerto de Santander (trayecto 10
minutos). El primer servicio desde Santander es a las 6:30, y el último a
las 22:45.
32
Organizadores
Organizadores
Presidente de SISTEDES
Antonio Vallecillo (Universidad de Málaga)
Vicepresidente de SISTEDES
Óscar Díaz García (Universidad del País Vasco)
Presidente del Comité de Programa JISBD
José H. Canós Cerdá (Universitat Politècnica de València)
Coordinador de Demostraciones JISBD
Abel Gómez Llana (INRIA)
Coordinador de Trabajos Relevantes JISBD
Eduardo Mena Nieto (Universidad de Zaragoza)
Presidente del Comité de Programa PROLE
Marisa Navarro Gómez (Euskal Herriko Unibertsitatea)
Comité de Programa PROLE
Jesús Almendros (Universidad de Almería)
María Alpuente (Universitat Politècnica de València)
Puri Arenas (Universidad Complutense de Madrid)
Manuel Carro (Universidad Politécnica de Madrid)
Laura Castro (Universidade da Coruña)
Francisco Durán (Universidad de Málaga)
Santiago Escobar (Universitat Politècnica de València)
Lars-Ake Fredlun (Universidad Politécnica de Madrid)
María del Mar Gallardo (Universidad de Málaga)
Paco López Fraguas (Universidad Complutense de Madrid)
Salvador Lucas (Universitat Politècnica de València)
Paqui Lucio (Euskal Herriko Unibertsitatea)
Ginés Moreno (Universidad de Castilla-La Mancha)
Fernando Orejas (Universitat Politècnica de Catalunya)
Yolanda Ortega Mallén (Universidad Complutense de Madrid)
Ricardo Peña (Universidad Complutense de Madrid)
Adrián Riesco (Universidad Complutense de Madrid)
Enric Rodríguez-Carbonell (Universitat Politècnica de Catalunya)
Josep Silva (Universitat Politècnica de València)
Alicia Villanueva (Universitat Politècnica de València)
Mateu Villaret (Universitat de Girona)
33
Organizadores
Presidente del Comité de Programa JCIS
Juan Manuel Murillo Rodríguez (Universidad de Extremadura)
Comité de Programa JCIS
Silvia T. Acuña (Universidad Autónoma de Madrid)
Francisco Almeida (Universidad de la Laguna)
Pedro Álvarez (Universidad de Zaragoza)
Martin Álvarez (Fundacion CTIC / W3C Spain Office)
Víctor Ayllón (Novayre)
Leire Bastida (R&D Engineer)
Jesús Bermejo (OSGi Users' Group Spain)
Carlos Bobed (Universidad de Zaragoza)
Juan Boubeta-Puig (Universidad de Cádiz)
Carlos Canal (Universidad de Málaga)
José H. Canós (Universidad Politécnica de Valencia)
Rafael Corchuelo (Universidad de Sevilla)
María Valeria De Castro (Universidad Rey Juan Carlos)
Javier Cubo (Universidad de Málaga)
Andrea Delgado (Universidad de la República - Uruguay)
Daniel González (Agencia Canaria de Investigación, Innovación y Sociedad de la Información)
Javier Fabra (Universidad de Zaragoza)
Jesús Arias Fisteus (Universidad Carlos III)
Félix Garcia (Universidad de Castilla la Mancha)
José Manuel Gómez-Pérez (Intelligent Software Components (iSOCO) S.A.)
Fernando González (Universidad Politécnica de Valencia)
Jesús Gorroñogoitia (Atos Research & Innovation)
Juan Hernández (Universidad de Extremadura)
Jon Iturrioz (Universidad del País Vasco)
José Emilio Labra Gayo (Universidad de Oviedo)
Manuel Lama Penin (Universidad de Santiago de Compostela)
Marcos López-Sanz (Universidad Rey Juan Carlos)
Jordi Marco (Universidad Politécnica de Cataluña)
Juan José Moreno-Navarro (Universidad Politécnica de Madrid)
Joan A. Pastor (Universitat Oberta de Catalunya y UPC)
Marta Patino (Universidad Politécnica de Madrid)
Juan Pavón (Universidad Complutense de Madrid)
Vicente Pelechano (Universidad Politécnica de Valencia)
Mª Carmen Penadés (Universidad Politécnica de Valencia)
Manuel Resinas (Universidad de Sevilla)
José Raúl Romero (Universidad de Córdoba)
Mercedes Ruiz (Universidad de Cádiz)
Francisco Ruiz (Universidad de Castilla la Mancha)
34
Organizadores
Antonio Ruiz-Cortés (Universidad de Sevilla)
Maria-Ribera Sancho (Universidad Politécnica de Cataluña)
Victoria Torres (Universidad Politécnica de Valencia)
Javier Troya Technical (University of Vienna)
Antonio Vallecillo (Universidad de Málaga)
Organizadores Locales (Universidad de Cantabria)
Michael González Harbour
Marta Elena Zorrilla Pantaleón
Taner Engin
Diego García Saiz
Alejandro Pérez Ruiz
Juan María Rivas Concepción
35
Organizadores
36

Programa SISTEDES 2015

Transcripción

Documentos relacionados

Día Internacional de la Mujer