Lecture Notes in Computer Science 5900 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler, UK Alfred Kobsa, USA John C. Mitchell, USA Oscar Nierstrasz, Switzerland Bernhard Steffen, Germany Demetri Terzopoulos, USA Gerhard Weikum, Germany Takeo Kanade, USA Jon M. Kleinberg, USA Friedemann Mattern, Switzerland Moni Naor, Israel C. Pandu Rangan, India Madhu Sudan, USA Doug Tygar, USA Services Science Subline of Lectures Notes in Computer Science Subline Editors-in-Chief Robert J.T. Morris, IBM Research, USA Michael P. Papazoglou, University of Tilburg, The Netherlands Darrell Williamson, CSIRO, Sydney, Australia Subline Editorial Board Boualem Bentallah, Australia Athman Bouguettaya, Australia Murthy Devarakonda, USA Carlo Ghezzi, Italy Chi-Hung Chi, China Hani Jamjoom, USA Paul Klingt, The Netherlands Ingolf Krueger, USA Paul Maglio, USA Christos Nikolaou, Greece Klaus Pohl, Germany Stefan Tai, Germany Yuzuru Tanaka, Japan Christopher Ward, USA
Luciano Baresi Chi-Hung Chi Jun Suzuki (Eds.) Service-Oriented Computing 7th International Joint Conference, ICSOC-ServiceWave 2009 Stockholm, Sweden, November 24-27, 2009 Proceedings 13
Volume Editors Luciano Baresi Politecnico di Milano Dipartimento di Elettronica e Informazione via Golgi, 40, 20133, Milano, Italy E-mail: baresi@elet.polimi.it; lbareis@gmail.com Chi-Hung Chi Tsinghua University School of Software Main Building Room 818, 100084, Beijing, China E-mail: chichihung@mail.tsinghua.edu.cn Jun Suzuki University of Massachusetts Dept. of Computer Science 100 Morrissey Blvd., Boston, MA 02125-3393, USA E-mail: jxs@cs.umb.edu Library of Congress Control Number: 2009939278 CR Subject Classification (1998): D.2, C.2, H.3.5, J.1, K.6, B.8, C.4 LNCS Sublibrary: SL 2 Programming and Software Engineering ISSN 0302-9743 ISBN-10 3-642-10382-0 Springer Berlin Heidelberg New York ISBN-13 978-3-642-10382-7 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. springer.com Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12797387 06/3180 543210
Preface Welcome to ICSOC-ServiceWave 2009. This volume contains the research and demo papers selected for presentationat the Seventh International Conference on Service-Oriented Computing, which was held in Stockholm, Sweden, November 24-27, 2009. Continuing the tradition set in the previous six years, we are pleased to present a high-quality technical program. This year ICSOC ServiceWave worked together to convey a world-leading and unique opportunity for academic researchers and industry practitioners to report their state-of-the-art research findings in service-oriented computing. The joint conference aims to foster crosscommunity scientific excellence by gathering experts from various disciplines such as distributed systems, software engineering, computer networks, business intelligence, service science, grid and cloud computing, and security. Consistent with the high quality of the conference, we received 228 paper submissions from a number of different disciplines. Thirty-seven papers were accepted as regular contributions, for a very competitive acceptance rate of 16%; eight further submissions were accepted as short papers. The program also comprised nine demonstrations of innovative tools and prototypes. All these elements contributed to a program that covered the many different areas of the discipline and provided an up-to-date synthesis of the research on service-oriented systems and applications. Without the high-quality work of the authors of selected papers this volume would have not been possible. We thank these researchers and practitioners for the efforts and enthusiasm put in their contributions. We also appreciate the hard work of the members of our Program Committee. Some 100 people were involved in reviewing many good papers carefully and rigorously: it was our privilege to work with these respected colleagues. These efforts were the key elements for a program that represents a highly selective and high-quality set of research results. A big thank you also goes to Springer, and in particular to Ursula Barth, for helping us publish this volume. It was our privilege and pleasure to compile these outstanding proceedings. We sincerely hope that you find the papers in this volume as interesting and stimulating as we did. Our last big thanks to all participants who, at the end of the day, are what this is all about. September 2009 Luciano Baresi Chi-Hung Chi Jun Suzuki
Organization General Chairs Mohand-Said Hacid Fernando Fournon Gunnar Landgren Université de Lyon, UCBL, France (ICSOC) Telefónica R&D Labs, Spain (ServiceWave) KTH, Sweden (Hosting partner) Program Committee Chairs Luciano Baresi Chi-Hung Chi Jun Suzuki Politecnico di Milano, Italy Tsinghua University, China University of Massachusetts, Boston, USA Industry Program Chairs Stefano De Panfilis Santi Ristol Engineering Ingegneria Informatica, Italy ATOS Origin, Spain Workshops Chairs Asit Dan Frédéric Gittler Farouk Toumani IBM Research, USA HP Labs Université Blaise Pascal, France PhD Symposium Chairs Florian Daniel Fethi Rabhi University of Trento, Italy UNSW, Australia Demonstration Chairs Hamid Motahari Julien Vayssiere HP, USA CRC, Australia Publicity Chairs Fuyuki Ishikawa Hamamache Kheddouci Weider Yu Andrea Zisman NII, Japan Université de Lyon, UCBL, France San Jose State University, USA City University London, UK
VIII Organization Organizing Committee Véronique Pevtschin Gunnar Landgren Barbara Pirillo Rikard Lingström Mike Papazoglou Bernd Krämer Samir Sebahi Engineering Ingegneria Informatica, Italy (Coordination) KTH, Sweden (Coordination) Engineering Ingegneria Informatica, Italy KTH, Sweden Tilburg University, The Netherlands ServTech, Germany Lyon University, France (Webmaster) Sponsoring Bruno Fran ois-marsal Thales, France Scientific Program Committee Marco Aiello Alvaro Arenas Alistair Barros Samik Basu Boualem Benatallah Salima Benbernou Djamal Benslimane Elisa Bertino Antonia Bertolino Walter Binder Athman Bouguettaya Christoph Bussler Barbara Carminati Manuel Carro Fabio Casati Shiping Chen Lawrence Chung Emmanuel Coquery Paco Curbera Vincenzo D Andrea Flavio De Paoli Frederic Desprez Elisabetta Di Nitto Khalil Drira Schahram Dustdar Elena Ferrari Ioannis Fikouras Howard Foster University of Groningen, The Netherlands STFC Rutherford Appleton Laboratory, UK SAP, Australia Iowa State University, USA University of New South Wales, Australia University of Lyon, France University of Lyon, France Purdue University, USA CNR, Italy University of Lugano Switzerland CSIRO, Australia BEA, USA University of Insubria, Italy Polytechnic University of Madrid, Spain University of Trento, Italy CSIRO, Australia University of Texas at Dallas, USA University of Claude Bernard, France IBM Research, USA University of Trento, Italy University di Milano Bicocca, Italy INRIA, France Politecnico di Milano, Italy LAAS, Toulouse, France University of Technology Vienna, Austria University of Insubria, Italy Ericsson, Germany Imperial College London, UK
Organization IX Hiroaki Fukuda Keio University, Japan Dragan Gašević Athabasca University, Canada Carlo Ghezzi Politecnico di Milano, Italy Paolo Giorgini University of Trento, Italy Jeff Gray University of Alabama at Birmingham, USA Mohand-Said Hacid University of Lyon, France Valerie Issarny INRIA, France Jan J. Jens Open University, UK Ricardo Jimenez-Peris Technical University of Madrid, Spain Dimka Karastoyanova University of Stuttgart Germany Soo Dong Kim Soongsil University of Seoul, Korea Jana Koehler IBM Zurich Research Lab, Switzerland Bernd Kraemer Fernuniversitaet Hagen, Germany Patricia Lago Free University Amsterdam, The Netherlands Winfried Lamersdorf University of Hamburg, Germany Alexander Lazovik University of Groningen, The Netherlands Frank Leymann University of Stuttgart, Germany Qianhui (Althea) Liang Singapore Management University of Singapore Shiyong Lu Wayne State University, USA Heiko Ludwig IBM Research, USA Neil Maiden City University London, UK Esperanza Marcos University Juan Rey Carlos, Spain Michael Maximilien IBM Almaden, USA Massimo Mecella University of Rome, Italy Nikola Milanovic Berlin University of Technology, Germany Michael Mrissa University of Lyon, France Christos Nikolaou University of Crete, Greece Olga Ormandjieva Concordia University, Canada Michael Parkin Tilburg University, The Netherlands Marco Pistore FBK, Italy Wolfgang Reisig Humboldt University, Germany Colette Roland University Paris 1, France S. Masoud Sadjadi Florida International University, USA Jakka Sairamesh CITRI University of California, Berkeley Ignacio Silva-Lepe IBM, USA George Spanoudakis City University London, UK Bruce Spencer National Research Council, Canada Stefan Tai University of Karlsruhe, Germany Kenji Takahashi NTT, Japan Farouk Toumani Blaise Pascale University, France Paolo Traverso FBK, Italy Jos van Hillegersberg University of Twente, The Netherlands Changzhou Wang Boeing Phantom Works, USA Michael Weiss Carleton University, Canada
X Organization Mathias Weske Andreas Wombacher Chou Wu Ramin Yahyapour Jian Yang Yelena Yesha Weider D. Yu Jia Zhang Yan Zheng Andrea Zisman Joe Zou Hasso Platner Institute, Germany University of Twente, The Netherlands Avaya Laboratory, USA University of Dortmund, Germany Macquire University, Australia University of Maryland, USA San Jose State University, USA Northern Illinois University, USA Nokia Research, Finland City University London, UK IBM, Australia Demonstration Program Committee Claudio Bartolini Paco Curbera Vincenzo D Andrea Gero Decker Keith Duddy Marlon Dumas Brian Elvesaeter Howard Foster Max Muhlhaeuser Anna Liu Wasim Sadiq Halvard Skogsrud Stefan Tai Rainer Ruggaber Liangzhao Zeng HP Labs, USA IBM Research, USA University of Trento, Italy Hasso Plattner Institute, Germany Queensland University of Technology, Australia University of Tartu, Estonia SINTEF, Norway Imperial College London, UK Technische Universität Darmstadt, Germany University of New South Wales, Australia SAP Research, Australia ThoughtWorks, Australia University of Karlsruhe, Germany SAP Research, Germany IBM Research, USA
Table of Contents Composition Facilitating Workflow Interoperation Using Artifact-Centric Hubs... 1 Richard Hull, Nanjangud C. Narendra, and Anil Nigam Aspect Orientation for Composite Services in the Telecommunication Domain... 19 Jörg Niemöller, Roman Levenshteyn, Eugen Freiter, Konstantinos Vandikas, Raphaël Quinet, and Ioannis Fikouras Intelligent Overload Control for Composite Web Services... 34 Pieter J. Meulenhoff, Dennis R. Ostendorf, Miroslav Živković, Hendrik B. Meeuwissen, and Bart M.M. Gijsen Discovery Trust-Oriented Composite Service Selection and Discovery... 50 Lei Li, Yan Wang, and Ee-Peng Lim A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems... 68 Antonio Brogi, Sara Corfini, and Thaizel Fuentes Web Service Selection with Incomplete or Inconsistent User Preferences... 83 Hongbing Wang, Shizhi Shao, Xuan Zhou, Cheng Wan, and Athman Bouguettaya Design Principles Energy-Aware Design of Service-Based Applications... 99 Alexandre Mello Ferreira, Kyriakos Kritikos, and Barbara Pernici Action Patterns in Business Process Models... 115 Sergey Smirnov, Matthias Weidlich, Jan Mendling, and Mathias Weske Artifact-Centric Workflow Dominance... 130 Diego Calvanese, Giuseppe De Giacomo, Richard Hull, and Jianwen Su
XII Table of Contents Customization and Adaptation Requirements-Driven Collaborative Choreography Customization... 144 Ayman Mahfouz, Leonor Barroca, Robin Laney, and Bashar Nuseibeh An Automatic Approach to Enable Replacement of Conversational Services... 159 Luca Cavallaro, Elisabetta Di Nitto, and Matteo Pradella Towards Adaptable SOA: Model Driven Development, Context and Aspect... 175 Valérie Monfort and Slimane Hammoudi Negotiation, Agreements, and Compliance Modeling Service Level Agreements with Binary Decision Diagrams... 190 Constantinos Kotsokalis, Ramin Yahyapour, and Miguel Angel Rojas Gonzalez Provider-Composer Negotiations for Semantic Robustness in Service Compositions... 205 Nikolay Mehandjiev, Freddy Lécué, and Usman Wajid Evaluating Contract Compatibility for Service Composition in the SeCO 2 Framework... 221 Marco Comerio, Hong-Linh Truong, Flavio De Paoli, and Schahram Dustdar Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement... 237 Carlos Müller, Manuel Resinas, and Antonio Ruiz-Cortés Selection A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns... 253 Adrian Klein, Fuyuki Ishikawa, and Bernhard Bauer ServiceTrust: Supporting Reputation-Oriented Service Selection... 269 Qiang He, Jun Yan, Hai Jin, and Yun Yang QoS Browsing for Web Service Selection... 285 Chen Ding, Preethy Sambamoorthy, and Yue Tan
Table of Contents XIII Platforms and Infrastructures An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPEL... 301 André Höing, Guido Scherp, Stefan Gudenkauf, Dirk Meister, and André Brinkmann The FAST Platform: An Open and Semantically-Enriched Platform for Designing Multi-channel and Enterprise-Class Gadgets... 316 Volker Hoyer, Till Janner, Ivan Delchev, Andrea Fuchsloch, Javier López, Sebastian Ortega, Rafael Fernández, Knud Hinnerk Möller, Ismael Rivera, Marcos Reyes, and Manuel Fradinho Message-Oriented Middleware with QoS Awareness... 331 Hao Yang, Minkyong Kim, Kyriakos Karenos, Fan Ye, and Hui Lei Short Papers I Learning the Control-Flow of a Business Process Using ICN-Based Process Models... 346 Aubrey J. Rembert and Clarence (Skip) Ellis Fine-Grained Recommendation Systems for Service Attribute Exchange... 352 Christopher Staite, Rami Bahsoon, and Stephen Wolak A Generative Framework for Service Process Composition... 358 Rajesh Thiagarajan, Wolfgang Mayer, and Markus Stumptner Achieving Predictability and Service Differentiation in Web Services... 364 Vidura Gamini Abhaya, Zahir Tari, and Peter Bertok Security Incorporating Security Requirements into Service Composition: From Modelling to Execution... 373 Andre R.R. Souza, Bruno L.B. Silva, Fernando A.A. Lins, Julio C. Damasceno, Nelson S. Rosa, Paulo R.M. Maciel, Robson W.A. Medeiros, Bryan Stephenson, Hamid R. Motahari-Nezhad, Jun Li, and Caio Northfleet End-to-End Security for Enterprise Mashups... 389 Florian Rosenberg, Rania Khalaf, Matthew Duftler, Francisco Curbera, and Paula Austel
XIV Table of Contents A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware... 404 Weishan Zhang, Julian Schütte, Mads Ingstrup, and Klaus M. Hansen Short Papers II Role of Process Modeling in Software Service Design... 420 Susanne Patig and Harald Wesenberg Assisting Trustworthiness Based Web Services Selection Using the Fidelity of Websites... 429 Lijie Wang, Fei Liu, Ge Li, Liang Gu, Liangjie Zhang, and Bing Xie Web Service Search on Large Scale... 437 Nathalie Steinmetz, Holger Lausen, and Manuel Brunner Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation... 445 Annapaola Marconi, Marco Pistore, Adina Sirbu, Hanna Eberle, Frank Leymann, and Tobias Unger Modeling and Design A Service-Oriented UML Profile with Formal Support... 455 Roberto Bruni, Matthias Hölzl, Nora Koch, Alberto Lluch Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, and Martin Wirsing Designing Workflows on the Fly Using e-bioflow... 470 Ingo Wassink, Matthijs Ooms, and Paul van der Vet Measuring the Quality of Service Oriented Design... 485 Renuka Sindhgatta, Bikram Sengupta, and Karthikeyan Ponnalagu Validation and Verification Specification, Verification and Explanation of Violation for Data Aware Compliance Rules... 500 Ahmed Awad, Matthias Weidlich, and Mathias Weske Generating Interface Grammars from WSDL for Automated Verification of Web Services... 516 Sylvain Hallé, Graham Hughes, Tevfik Bultan, and Muath Alkhalaf Satisfaction of Control Objectives by Control Processes... 531 Daniela Marino, Fabio Massacci, Andrea Micheletti, Nataliya Rassadko, and Stephan Neuhaus
Table of Contents XV Reputation and Ranking Effective and Flexible NFP-Based Ranking of Web Services... 546 Matteo Palmonari, Marco Comerio, and Flavio De Paoli Combining Quality of Service and Social Information for Ranking Services... 561 Qinyi Wu, Arun Iyengar, Revathi Subramanian, Isabelle Rouvellou, Ignacio Silva-Lepe, and Thomas Mikalsen Web Services Reputation Assessment Using a Hidden Markov Model... 576 Zaki Malik, Ihsan Akbar, and Athman Bouguettaya Service Management MC-Cube: Mastering Customizable Compliance in the Cloud... 592 Tobias Anstett, Dimka Karastoyanova, Frank Leymann, Ralph Mietzner, Ganna Monakova, Daniel Schleicher, and Steve Strauch Another Approach to Service Instance Migration... 607 Nannette Liske, Niels Lohmann, Christian Stahl, and Karsten Wolf Distributed Cross-Domain Configuration Management... 622 Liliana Pasquale, Jim Laredo, Heiko Ludwig, Kamal Bhattacharya, and Bruno Wassermann Demonstrations A Pluggable Framework for Tracking and Managing Faults in Service-Oriented Systems... 637 Daniel Robinson and Gerald Kotonya Distributed Access Control Management A XACML-Based Approach... 639 Erik Rissanen, David Brossard, and Adriaan Slabbert Engage: Engineering Service Modes with WS-Engineer and Dino... 641 Howard Foster, Arun Mukhija, David S. Rosenblum, and Sebastian Uchitel FAST-SE: An ESB Based Framework for SLA Trading... 643 Jose Antonio Parejo, Antonio Manuel Gutiérrez, Pablo Fernandez, and Antonio Ruiz-Cortes Gelee: Cooperative Lifecycle Management for (Composite) Artifacts... 645 Marcos Báez, Cristhian Parra, Fabio Casati, Maurizio Marchese, Florian Daniel, Kasia di Meo, Silvia Zobele, Carlo Menapace, and Beatrice Valeri
XVI Table of Contents Hosted Universal Integration on the Web: The mashart Platform... 647 Florian Daniel, Fabio Casati, Stefano Soi, Jonny Fox, David Zancarli, and Ming-Chien Shan Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition... 649 Andre R.R. Souza, Bruno L.B. Silva, Fernando A.A. Lins, Julio C. Damasceno, Nelson S. Rosa, Paulo R.M. Maciel, Robson W.A. Medeiros, Bryan Stephenson, Hamid R. Motahari-Nezhad, Jun Li, and Caio Northfleet Services Inside the Smart Home: A Simulation and Visualization Tool... 651 Elena Lazovik, Piet den Dulk, Martijn de Groote, Alexander Lazovik, and Marco Aiello SLA Management and Contract-Based Service Execution... 653 Matthias Winkler, Josef Spillner, and Alexander Schill Author Index... 657