Lecture Notes in Computer Science 5900

Transcription

1 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

2 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

3 Volume Editors Luciano Baresi Politecnico di Milano Dipartimento di Elettronica e Informazione via Golgi, 40, 20133, Milano, Italy baresi@elet.polimi.it; lbareis@gmail.com Chi-Hung Chi Tsinghua University School of Software Main Building Room 818, , Beijing, China chichihung@mail.tsinghua.edu.cn Jun Suzuki University of Massachusetts Dept. of Computer Science 100 Morrissey Blvd., Boston, MA , USA jxs@cs.umb.edu Library of Congress Control Number: 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 ISBN Springer Berlin Heidelberg New York ISBN 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: /

4 Preface Welcome to ICSOC-ServiceWave 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, 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

5 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

6 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

7 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

8 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

9 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 Jörg Niemöller, Roman Levenshteyn, Eugen Freiter, Konstantinos Vandikas, Raphaël Quinet, and Ioannis Fikouras Intelligent Overload Control for Composite Web Services Pieter J. Meulenhoff, Dennis R. Ostendorf, Miroslav Živković, Hendrik B. Meeuwissen, and Bart M.M. Gijsen Discovery Trust-Oriented Composite Service Selection and Discovery Lei Li, Yan Wang, and Ee-Peng Lim A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems Antonio Brogi, Sara Corfini, and Thaizel Fuentes Web Service Selection with Incomplete or Inconsistent User Preferences Hongbing Wang, Shizhi Shao, Xuan Zhou, Cheng Wan, and Athman Bouguettaya Design Principles Energy-Aware Design of Service-Based Applications Alexandre Mello Ferreira, Kyriakos Kritikos, and Barbara Pernici Action Patterns in Business Process Models Sergey Smirnov, Matthias Weidlich, Jan Mendling, and Mathias Weske Artifact-Centric Workflow Dominance Diego Calvanese, Giuseppe De Giacomo, Richard Hull, and Jianwen Su

10 XII Table of Contents Customization and Adaptation Requirements-Driven Collaborative Choreography Customization Ayman Mahfouz, Leonor Barroca, Robin Laney, and Bashar Nuseibeh An Automatic Approach to Enable Replacement of Conversational Services Luca Cavallaro, Elisabetta Di Nitto, and Matteo Pradella Towards Adaptable SOA: Model Driven Development, Context and Aspect Valérie Monfort and Slimane Hammoudi Negotiation, Agreements, and Compliance Modeling Service Level Agreements with Binary Decision Diagrams Constantinos Kotsokalis, Ramin Yahyapour, and Miguel Angel Rojas Gonzalez Provider-Composer Negotiations for Semantic Robustness in Service Compositions Nikolay Mehandjiev, Freddy Lécué, and Usman Wajid Evaluating Contract Compatibility for Service Composition in the SeCO 2 Framework Marco Comerio, Hong-Linh Truong, Flavio De Paoli, and Schahram Dustdar Explaining the Non-compliance between Templates and Agreement Offers in WS-Agreement Carlos Müller, Manuel Resinas, and Antonio Ruiz-Cortés Selection A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns Adrian Klein, Fuyuki Ishikawa, and Bernhard Bauer ServiceTrust: Supporting Reputation-Oriented Service Selection Qiang He, Jun Yan, Hai Jin, and Yun Yang QoS Browsing for Web Service Selection Chen Ding, Preethy Sambamoorthy, and Yue Tan

11 Table of Contents XIII Platforms and Infrastructures An Orchestration as a Service Infrastructure Using Grid Technologies and WS-BPEL 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 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 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 Aubrey J. Rembert and Clarence (Skip) Ellis Fine-Grained Recommendation Systems for Service Attribute Exchange Christopher Staite, Rami Bahsoon, and Stephen Wolak A Generative Framework for Service Process Composition Rajesh Thiagarajan, Wolfgang Mayer, and Markus Stumptner Achieving Predictability and Service Differentiation in Web Services Vidura Gamini Abhaya, Zahir Tari, and Peter Bertok Security Incorporating Security Requirements into Service Composition: From Modelling to Execution 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 Florian Rosenberg, Rania Khalaf, Matthew Duftler, Francisco Curbera, and Paula Austel

12 XIV Table of Contents A Genetic Algorithms-Based Approach for Optimized Self-protection in a Pervasive Service Middleware Weishan Zhang, Julian Schütte, Mads Ingstrup, and Klaus M. Hansen Short Papers II Role of Process Modeling in Software Service Design Susanne Patig and Harald Wesenberg Assisting Trustworthiness Based Web Services Selection Using the Fidelity of Websites Lijie Wang, Fei Liu, Ge Li, Liang Gu, Liangjie Zhang, and Bing Xie Web Service Search on Large Scale Nathalie Steinmetz, Holger Lausen, and Manuel Brunner Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation Annapaola Marconi, Marco Pistore, Adina Sirbu, Hanna Eberle, Frank Leymann, and Tobias Unger Modeling and Design A Service-Oriented UML Profile with Formal Support 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 Ingo Wassink, Matthijs Ooms, and Paul van der Vet Measuring the Quality of Service Oriented Design Renuka Sindhgatta, Bikram Sengupta, and Karthikeyan Ponnalagu Validation and Verification Specification, Verification and Explanation of Violation for Data Aware Compliance Rules Ahmed Awad, Matthias Weidlich, and Mathias Weske Generating Interface Grammars from WSDL for Automated Verification of Web Services Sylvain Hallé, Graham Hughes, Tevfik Bultan, and Muath Alkhalaf Satisfaction of Control Objectives by Control Processes Daniela Marino, Fabio Massacci, Andrea Micheletti, Nataliya Rassadko, and Stephan Neuhaus

13 Table of Contents XV Reputation and Ranking Effective and Flexible NFP-Based Ranking of Web Services Matteo Palmonari, Marco Comerio, and Flavio De Paoli Combining Quality of Service and Social Information for Ranking Services Qinyi Wu, Arun Iyengar, Revathi Subramanian, Isabelle Rouvellou, Ignacio Silva-Lepe, and Thomas Mikalsen Web Services Reputation Assessment Using a Hidden Markov Model Zaki Malik, Ihsan Akbar, and Athman Bouguettaya Service Management MC-Cube: Mastering Customizable Compliance in the Cloud Tobias Anstett, Dimka Karastoyanova, Frank Leymann, Ralph Mietzner, Ganna Monakova, Daniel Schleicher, and Steve Strauch Another Approach to Service Instance Migration Nannette Liske, Niels Lohmann, Christian Stahl, and Karsten Wolf Distributed Cross-Domain Configuration Management Liliana Pasquale, Jim Laredo, Heiko Ludwig, Kamal Bhattacharya, and Bruno Wassermann Demonstrations A Pluggable Framework for Tracking and Managing Faults in Service-Oriented Systems Daniel Robinson and Gerald Kotonya Distributed Access Control Management A XACML-Based Approach Erik Rissanen, David Brossard, and Adriaan Slabbert Engage: Engineering Service Modes with WS-Engineer and Dino Howard Foster, Arun Mukhija, David S. Rosenblum, and Sebastian Uchitel FAST-SE: An ESB Based Framework for SLA Trading Jose Antonio Parejo, Antonio Manuel Gutiérrez, Pablo Fernandez, and Antonio Ruiz-Cortes Gelee: Cooperative Lifecycle Management for (Composite) Artifacts Marcos Báez, Cristhian Parra, Fabio Casati, Maurizio Marchese, Florian Daniel, Kasia di Meo, Silvia Zobele, Carlo Menapace, and Beatrice Valeri

14 XVI Table of Contents Hosted Universal Integration on the Web: The mashart Platform Florian Daniel, Fabio Casati, Stefano Soi, Jonny Fox, David Zancarli, and Ming-Chien Shan Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition 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 Elena Lazovik, Piet den Dulk, Martijn de Groote, Alexander Lazovik, and Marco Aiello SLA Management and Contract-Based Service Execution Matthias Winkler, Josef Spillner, and Alexander Schill Author Index