Session 1.1: Architecture & Design I

(139) A Graph-Based Framework for Composition of Stateless Web
Services
Seyyed Vahid Hashemian, Farhad Mavaddat

(186) Guiding Service Composition in a Visual Service Creation
Environment
Mathieu Braem, Niels Joncheere, Wim Vanderperren, Ragnhild Van Der Straeten, Viviane Jonckers

(163) Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL
Anis Charfi, Benjamin Schmeling, Andreas Heizenreder, Mira Mezini

Session 1.2: Service Discovery I

(195) Secure Web service discovery; overcoming challenges of ubiquitous computing
Slim Trabelsi, Jean-Christophe Pazzaglia, Yves Roudier

(166) A Multimedia-Specific Approach to WS-Agreement
Wilfried Jouve, Julien Lancia, Charles Consel, Calton Pu

(167) AMPol: Adaptive Messaging Policy
Raja Afandi, Jianqing Zhang, Munawar Hafiz, Carl A. Gunter

Session 2.1: Service Composition I

(150) Composing Web Services with PEWS: a trace-theoretical approach
Cheikh Ba, Mirian Halfeld Ferrari, Martin Musicante

(213) Parallel Web Service Composition in MoSCoE: A Choreography-based Approach
Jyotishman Pathak, Samik Basu, Robyn Lutz, Vasant Honavar

(236) Fast Quality Driven Selection of Composite Web Services
Jae-Ho Jang, Dong-Hoon Shin, Kyong-Ho Lee

Session 2.2: Web Service Infrastructure

(129) A Web Services Shopping Mall for Mobile Users
John A. MacDonald, Kalid Elmufti, Dasun Weerasinghe, M. Rajarajan,
Veselin Rakocevic, Sanowar Khan

(191) Transactions Concurrency Control in Web Service Environment
Mohammad Alrifai, L3S and Hanover University, Germany
Peter Dolog, Aalborg University, Denmark
Wolfgang Nejdl, L3S and Hanover University, Germany

(188) Optimizing Web Services Performance by Using Similarity-based Multicast Protocol
Khoi Anh Phan, Zahir Tari, Peter Bertok

Session 3.1: Architecture & Design II

(153) A Foundation for Service Modelling
Martin Henkel, Erik Perjons, Jelena Zdravkovic, Christer Domeij,
Gunnar Appehl

(142) Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA
Zhile Zou, Zhenhua Duan

(225) Maintaining consistency between loosely coupled services in the presence of timing constrains and validation errors
Carlos Molina-Jimenez, Santosh Shrivastava

Session 3.2:  Semantic Web

(147) WSMO-MX: A Logic Programming Based Hybrid Service Matchmaker
Frank Kaufer, Matthias Klusch

(127) Semantic Web service composition through a Matchmaking of domain
Freddy Lecue, Leger Alain

(102) Fast Composition Planning of OWL-S Web Services
Matthias Klusch, Andreas Gerber

Session 4.1: Web Services and Legacy Integration

(133) Design Patterns for Wrapping Similar Legacy Systems with Common Service Interfaces
David Millard (University of Southampton)
Yvonne Howard (University of Southampton)
Swapna Chennupati (University of Southampton)
Hugh Davis (University of Southampton)
Ehtesham-Rasheed Jam (University of Southampton)
Lester Gilbert (University of Southampton)
Gary Wills (University of Southampton)

(154) IEIP: an Inter-Enterprise Integration Platform for e-Commerce Based on Web Service Mediation
Suo Cong, Ela Hunt and Klaus R. Dittrich

(104) A Comprehensive Framework for Dynamic Web Services Integration
Zhile Zou, Zhenhua Duan, Jianli Wang

Session 4.2: Service Composition II

(120) Enhanced Specifications for Web Service Composition
Vassiliki Alevizou, Dimitris Plexousakis

(126) Semantic Web service composition based on a closed world assumption
Freddy Lecue, Leger Alain

(175) Adopting Default Reasoning in Service Composition Context
Zheng Lu, Aditya Ghose, Peter Hyland

Session 5.1: Service Discovery II

(193) On the Evaluation of Semantic Web Service Matchmaking Systems
Vassileios Tsetsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades

(155) Semantic QoS Metric Matching
Kyriakos Kritikos, Dimitris Plexousakis

(112) Multilingual Semantics in the Request-Service Matchmaking
Alexandra Galatescu

Session 5.2: Validation & Verification

(229) Formal Modelling and Verification of an Asynchronous Extension of SOAP
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso

(123) Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services
W. L. Yeung

(114) Verifying correctness of Web services choreography
Melliti Tarek, Celine Boutrous-Saab, Sylvain Rampacek