Programme:

Click here for a printable version of the program

Workshops:

Wednesday 19.9.2012: FLACOS
8:30-9:00 Registration (Rivellino)
9:00-10:00 Room: Jacopo da Bertinoro
Invited talk (joint with other workshops):

Antonio Brogi, Univ. of Pisa, Italy. Service adaptation
Chair: Ivan Lanese

10:00-10:25 Coffee break
10:25-12:30 Room: Jacopo da Bertinoro
Welcome to FLACOS (10:25-10:30)

Invited talk: Towards accountability by design. Daniel Le Métayer (10:30-11:00)

Conformance Verification of Normative Specifications using C-O Diagrams. Gregorio Díaz, Luis Llana, Valentin Valero and Jose Antonio Mateo (11:00-11:30)

Contracts for Interacting Two-Party Systems. Gordon J. Pace and Fernando Schapachnik (11:30-12:00)

What if contracts are violated? (short paper). Massimo Bartoletti, Alceste Scalas, Emilio Tuosto and Roberto Zunino (12:00-12:30)

12:30-14:00 Lunch
14:00-15:30 Room: Jacopo da Bertinoro

Simplifying Contract-Violating Traces. Adrian Francalanza, Christian Colombo and Ian Grima (14:00-14:30)

Dynamic Contracts for Ensuring Component Interoperability. Kaisa Sere and Linas Laibinis (14:30-15:00)

A History of BlockingQueues (short paper). Marina Zaharieva-Stojanovski, Marieke Huisman and Stefan Blom (15:00-15:30)

15:30-16:00 Coffee break
16:00-17:35 Room: Jacopo da Bertinoro

Towards a Framework for Conflict Analysis of Normative Texts in Controlled Natural Language. Gerardo Schneider (16:00-16:30)

Using UML 2.0 to Model Web Service with Distributed Resources. María Emilia Cambronero (16:30-17:00)

Session Types for Trustworthy Pervasive Healthcare Services. Thomas Hildebrandt (17:00-17:30)

Closing session (17:30-17:35)
Wednesday 19.9.2012: Joint Workshops WAS4FI and Mashups
8:30-9:00 Registration (Rivellino)
9:00-10:00 Room: Jacopo da Bertinoro
Invited talk (joint with other workshops):

Antonio Brogi, Univ. of Pisa, Italy. Service adaptation
Chair: Ivan Lanese

10:00-10:30 Coffee break
10:30-12:30 Room: Guarnigione
Welcome by Workshop Chairs (10:30-10:40)
Session I: Complex Event Processing

Complex Event Processing Applied to Early Maritime Threat Detection. Juan Boubeta-Puig, Inmaculada Medina-Bulo, Guadalupe Ortiz, Germán Fuentes-Landi (10:40-11:00)

Hierarchical Events for Efficient Distributed Network Analysis and Surveillance. Rüdiger Gad, Juan Boubeta-Puig, Martin Kappes, Inmaculada Medina-Bulo (11:00-11:30)

Session II: Cloud Computing and Adaptation

Identifying Adaptation Needs to Avoid the Vendor Lock-in Effect in the Deployment of Cloud SBAs. Javier Miranda, Joaquín Guillén, Juan Manuel Murillo, Carlos Canal (11:30-12:00)

Constraint-based Self-adaptation of Wireless Sensor Networks. Nadia Gamez, Daniel Romero, Lidia Fuentes, Romain Rouvoy, Laurence Duchien (12:00-12:30)

12:30-14:00 Lunch
14:00-15:30 Room: Guarnigione
Session III: Composition and Mashups

Towards Behaviour-Aware Compositions of Things in the Future Internet. Javier Cubo, Antonio Brogi, Ernesto Pimentel (14:00-14:30)

End User Mashups – Analytical Framework. Nikolay Mehandjiev, Antonella De Angeli (14:30-15:00)

Towards A Unified Benchmarking Framework for Web-based Mashup Tools. Saeed Aghaee, Cesare Pautasso (15:00-15:30)

15:30-16:00 Coffee break
16:00-17:30 Room: Guarnigione
Discussions FI Challenges by topics (16:00-17:15)
Closure (17:15-17:30)
Wednesday 19.9.2012: PhD symposium
8:30-9:00 Registration (Rivellino)
9:00-10:00 Room: Jacopo da Bertinoro
Invited talk (joint with other workshops):

Antonio Brogi, Univ. of Pisa, Italy. Service adaptation
Chair: Ivan Lanese

10:00-10:30 Coffee break
10:30-12:30 Room: Capitano
Session I: Cloud Computing

Opening & Introduction of the Attendees (10:30-11:00)

Abdulelah Alwabel: Quality of Service in Volunteer Clouds (11:00-11:30)

Marvin Ferber: Building Cloud Applications using Java and Web Service Technology (11:30-12:00)

Discussion (12:00-12:30)

12:30-14:00 Lunch
14:00-15:30 Room: Capitano
Session II: Service Quality and Analysis

Senol Arikan: Automatic Reliability Management in SOA-based critical systems (14:00-14:30)

Mandy Weissbach: Termination Analysis in Component-Based Systems and Service-Oriented Architectures (14:30-15:00)

Discussion (15:00-15:30)

15:30-16:00 Coffee break
16:00-17:30 Room: Capitano
Session III: Service Composition and Evolution

Aitor Murguzur: Towards a Model-based RESTful Service Composition for Dynamic Environments (16:00-16:30)

Aneta Kabzeva: Toward Generic Dependency Management for Evolution Support of Inter-Domain Service-Oriented Applications (16:30-17:00)

Discussion & Closing (17:00-17:30)

Main conference:

Wednesday 19.9.2012
19:00-21:00 Visit of the "Rocca" of Bertinoro and welcome cocktail
Thursday 20.9.2012
8:30-8:50 Registration (Rivellino)
8:50-9:00 Room: Jacopo da Bertinoro
Opening
9:00-10:00 Room: Jacopo da Bertinoro
Invited talk:

Paolo Traverso, FBK-ICT, Italy. Territory-wide People-Centric Services
Chair: Flavio De Paoli

10:00-10:30 Coffee break
10:30-12:30 Room: Jacopo da Bertinoro
Research track: Composition
Chair: Ulf Schreier

Sung-Shik T.Q. Jongmans, Francesco Santini, Mahdi Sargolzaei, Farhad Arbab and Hamideh Afsarmanesh. Automatic Code Generation for the Orchestration of Web Services with Reo

Lina Barakat, Simon Miles and Michael Luck. Reactive Service Selection in Dynamic Service Environments

Yuri Demchenko, Pedro Martinez, Elena Torroglosa, Mary Grammatikou, Canh Ngo, Jordi Jofre, Steluta Gheorghiu, Antonio Perez and Cees De Laat. GEMBus based Services Composition Platform for Cloud PaaS

Mila Dalla Preda, Maurizio Gabbrielli, Claudio Guidi, Jacopo Mauro and Fabrizio Montesi. Interface-based service composition with aggregation

Room: Capitano
Tutorial:

Peter Utzinger. Smart Work Roadmap Workshop for Business & IT: Cloud powered by Smart Work I

12:30-14:00 Lunch
14:00-15:00 Room: Jacopo da Bertinoro
Invited talk:

John Domingue, Knowledge Media Institute, United Kingdom. Linked Services for the Web of Data
Chair: Ernesto Pimentel

15:00-15:30 Room: Jacopo da Bertinoro
Poster presentations: (10 minutes per presentation)
Chair: Ernesto Pimentel

Claudio Guidi, Paolo Anedda and Tullio Vardanega. PaaSSOA: towards an open PaaS architecture for Service Oriented applications

Pierre De Vettor, Michael Mrissa and Carlos Pedrinaci. Context Mediation as a Linked Service

Ming Xue Wang and Claus Pahl. User-Customisable Policy Monitoring for Multi-tenant Cloud Architectures

15:30-16:00 Coffee break
16:00-18:00 Room: Jacopo da Bertinoro
Research track: Security
Chair: Claus Pahl

Matthew Collinson, David Pym and Barry Taylor. A Framework for Modelling Security Architectures in Services Ecosystems

Olga Wenge, Melanie Siebenhaar, Ulrich Lampe, Dieter Schuller and Ralf Steinmetz. Much Ado about Security Appeal: Cloud Provider Collaborations and their Risks

Short papers: (20 minutes per presentation)

Manfred Dellkrantz, Maria Kihl and Anders Robertsson. Performance Modeling and Analysis of a Database Server with Write-Heavy Workload

Marvin Ferber and Thomas Rauber. Mobile Cloud Computing in 3G Cellular Networks using Pipelined Tasks

Florian Fittkau, Sören Frey and Wilhelm Hasselbring. Cloud User-Centric Enhancements of the Simulator CloudSim to Improve Cloud Deployment Option Analysis

Room: Guarnigione
Industrial track papers
Chair: Claudio Guidi

Bin Cheng, Sachin Agarwal and Daniele Abbadessa. Enabling Co-browsing Service across Different Browsers and Devices

Umit Yalcinalp, John Trammel, Dan Brotsky, Andrei Kalfas and James Boag. Device Token Protocol for Persistent Authentication Shared Across Applications

Eric Brachmann, Gero Dittmann and Klaus-Dieter Schubert. Simplified Authentication and Authorization for RESTful Services in Trusted Environments

Massimo Villari, Francesco Tusa, Antonio Celesti and Antonio Puliafito. How to Federate VISION Clouds Through SAML/Shibboleth Authentication

Room: Capitano
Tutorial:

Peter Utzinger. Smart Work Roadmap Workshop for Business & IT: Cloud powered by Smart Work II

19:00-23:00 Visit and dinner at "Casa Artusi" in Forlimpopoli
Friday 21.9.2012
9:00-10:00 Room: Jacopo da Bertinoro
Invited talk:

Bryan Stephenson, HP Labs, United Kingdom. Service Management in the Cloud

Chair: Thomas Gschwind
10:00-10:30 Coffee break
10:30-12:30 Room: Jacopo da Bertinoro
Research track: Modeling
Chair: Mario Bravetti

Frank De Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte and Peter Wong. Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study

Tam Le Nhan, Gerson Sunyé and Jean-Marc Jézéquel. A Model-driven Approach for Virtual Machine Image Provisioning in Cloud Computing

Christian Heike, Wolf Zimmermann and Andreas Both. Protocol Conformance Checking of Services with Exceptions

Room: Guarnigione
Industry Workshop: Servitisation in ICT industry
Chair: Sergio Gusmeroli
Andreas Friesen (SAP)
Stefano De Panfilis (Engineering Ingegneria Informatica)
Anna Sadowska (European Institute of Interdisciplinary Research)
12:30-14:00 Lunch
14:00-15:30 Room: Jacopo da Bertinoro
Panel discussion: Global Management in Service-Oriented and Cloud Computing: Challenges and Open Issues
Moderator: Flavio De Paoli
Tentative list of panelists:
Thomas Gschwind, IBM Research - Zurich, Switzerland
Claus Pahl, Dublin City University, Ireland
Bryan Stephenson, HP Labs, United Kingdom
15:30-16:00 Coffee break
16:00-17:30 Room: Jacopo da Bertinoro
Research track: Adaptation
Chair: Antonio Brogi

Claus Pahl. Cloud Service Localisation

Kouessi Arafat Romaric Sagbo and Pelagie Houngue. Quality Architecture for Resource Allocation in Cloud Computing

Miroslav Zivkovic and Hans Van Den Berg. Analysis of Revenue Improvements with Runtime Adaptation of Service Composition Based on Conditional Request Retries

Room: Guarnigione
Industrial track presentations
Chair: Gero Dittmann

Thomas Gschwind, Michael Baentsch, Andreas Schade, Paolo Scotton. The Secure Enterprise Desktop: Changing Today's Computing Infrastructure

Antonio Mauro. Cloud Computing: U.S. and E.U. Government/Military approach

Peter Utzinger and Hans-Peter Hoidn. Smart Work Industry Best Practices for Business & IT

17:30-18:00 Room: Jacopo da Bertinoro
Closing