|
Provisional Programme
All events happen inside the Facilities Building of New Hall. Unless otherwise stated, all talks will be in the Rothley Suite and all posters will be displayed in the Oakham Suite, both of which are upstairs. Lunches take place in the dining area downstairs.
Monday 11 June
08:00-09:00 | Registration (in the downstairs bar area) |
| Delegates in accommodation can pick up their room keys during this time. Registration will also be available during scheduled breaks. |
09:00-09:15 | Workshop Opening |
09:15-10:15 | Opening Keynote: Mark Little (JBoss) (slides) |
10:45-12:15 | Session 1: Service Discovery and Selection |
| Marco Comerio. A Novel Approach to Web Services Discovery. (slides) |
| Helge Janicke and Monika Solanki. Policy-Driven Service Selection. (slides) |
| Hong Qing Yu and Hernan Molina. A modified Logic Scoring Preference method for dynamic web service evaluation and selection. |
14:00-15:00 | Session 2: Service-oriented Computing Development Practise |
| Qing Gu and Patricia Lago. A Model for exploring the Service-oriented Software Engineering (SOSE) challenges. |
| Sven De Labey and Eric Steegmans. Advanced Language Constructs for Developing Intra-organisational Service Architectures. |
| Annapaola Marconi, Marco Pistore and Paolo Traverso. Automated Web Service Composition in practise: from Composition Requirements Specification to Process Run. (slides, AstroBookStore BPEL file) |
15:00-15:30 | Poster Session 1 |
| Clive Jefferies. Reengineering Systems for Multi Channel Access – Systematic Literature Review Protocol. |
| Tuvshintur Tserendorj. Mapping BPEL4WS Processes into CSP. |
| Philip Woodall and Pearl Brereton. Inference Security Threats in Service-Based Systems. |
| Francesco De Angelis, Alberto Polzonetti and Flavio Corradini. Verification of WS-CDL Choreographies. |
15:30-16:30 | Keynote: Steve Ross-Talbot (Pi4 Technologies) (slides) |
16:30-17:30 | Session 3: Service Orchestration and Choreography |
| Simon Foster. Modelling Compensation with Timed Process Algrebra. (slides) |
| Gero Decker, Oliver Kopp and Frank Puhlmann. Service Referrals in BPEL-based Choreographies. (slides) |
19:00-23:00 | Workshop Dinner (Shimla Pinks) |
Tuesday 12 June
09:00-10:00 | Keynote: Martin Wirsing (LMU, Munich) (slides) |
10:00-11:00 | Session 4: Service-oriented Systems Development |
| Erwin Ramollari, Dimitris Dranidis and Anthony James Howard Simons. A Survey of Service-oriented Development Methodologies. |
| Laszlo Gonczy. Methodology for a Precise Development Process of Service Oriented Applications. |
11:00-11:30 | Poster Session 2 |
| Sven De Labey and Eric Steegmans. Typed Abstractions for Client-Service Interactions in OSGi. |
| Connie Haoying Bao and Nicolas Gold. Aspect Oriented Web Service Composition and Choreography Analysis. |
| Howard Foster. WS-Engineer: Tool Support for Engineering Web Service Compositions and Choreography. |
| Marian Mohr and Nicolas Gold. Using Enhanced Causal Paths based on Passive Tracing in Determining a Web Service Topology. |
11:30-13:00 | Session 5: Business Processes |
| Peter Wong and Jeremy Gibbons. Verifying Business Process Compatibility. (slides) |
| Ganna Frankova and Artsiom Yautsiukhin. Service and Protection Level Agreements for Business Processes. (slides) |
14:00-14:30 | Invited Talk: Luis Andrade (ATX Software) |
14:30-14:45 | Sosornet: Nicolas Gold (Kings College London) (slides) |
15:15-16:45 | Session 6: Case Studies of Service-oriented Systems |
| Tianxiang Lu and Carsten Ullrich. Course Generation as a Web Service for E-Learning Systems. |
| Maurice ter Beek, Corrado Moiso and Marinella Petrocchi. Modelling and Analysis of an Identity Federation Protocol for Web Services: The Case of Federated Network Providers. (slides) |
| Mousa Al-Akhras and Hussein Zedan. Quality Estimation for Steamed of VoIP Services. |
16:45-17:00 | Workshop Closing |
|