The Community for Technology Leaders
2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (2009)
Vancouver, BC, Canada
May 18, 2009 to May 19, 2009
ISBN: 978-1-4244-3716-0
TABLE OF CONTENTS
Papers

Steering Committee (PDF)

pp. xxvii

TPC Committee (PDF)

pp. xxviii

Welcome (PDF)

pp. ii

Architecture and behaviour analysis for engineering Service Modes (Abstract)

Howard Foster , London Software Systems, Imperial College London, 180 Queen's Gate, United Kingdom
pp. 1-8
Papers

The end of indexes (PDF)

pp. xviii

Title page (PDF)

pp. xxv

Foreword (PDF)

pp. xxvi

Architecture and behaviour analysis for engineering Service Modes (Abstract)

Howard Foster , London Software Systems, Imperial College London, 180 Queen's Gate, United Kingdom
pp. 1-8

The frame problem in Web service specifications (Abstract)

George Baryannis , Department of Computer Science University of Crete GR 71409 Heraklion, Greece
Dimitris Plexousakis , Department of Computer Science University of Crete GR 71409 Heraklion, Greece
pp. 9-12

Towards a formal model of autonomic services based on SelfLets (Abstract)

Stefania Pacifici , DEEP-SE Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, P.zza Leonardo da Vinci 32, 20133, Italy
Matteo Rossi , DEEP-SE Group, Dipartimento di Elettronica e Informazione, Politecnico di Milano, P.zza Leonardo da Vinci 32, 20133, Italy
pp. 13-17

Variability modeling to support customization and deployment of multi-tenant-aware Software as a Service applications (Abstract)

Ralph Mietzner , Univ. of Stuttgart, 70569, Germany
Andreas Metzger , Univ. of Duisburg-Essen, 45117, Germany
Frank Leymann , Univ. of Stuttgart, 70569, Germany
Klaus Pohl , Univ. of Duisburg-Essen, 45117, Germany
pp. 18-25

Software service engineering: Tenets and challenges (Abstract)

Willem-Jan van den Heuvel , Tilburg University, Germany
Olaf Zimmermann , IBM Zurich Research Lab, Germany
Frank Leymann , Stuttgart University, Germany
Patricia Lago , VU University Amsterdam, Germany
Ina Schieferdecker , Fraunhofer Institute, Germany
Uwe Zdun , Vienna University of Technology, Germany
Paris Avgeriou , University of Groningen, Germany
pp. 26-33

A semantic end-to-end QoS model for dynamic service oriented environments (Abstract)

Nebil Ben Mabrouk , INRIA Paris-Rocquencourt, France
Nikolaos Georgantas , INRIA Paris-Rocquencourt, France
Valerie Issarny , INRIA Paris-Rocquencourt, France
pp. 34-41

Strengths and weaknesses of WS-BusinessActivity for cross-organizational SOA applications (Abstract)

Frederic Wenzel , Karlsruhe Institute of Technology, Steinbuch Centre for Computing, 76128, Germany
Patrick Freudenstein , Karlsruhe Institute of Technology, Steinbuch Centre for Computing, 76128, Germany
Martin Nussbaumer , Karlsruhe Institute of Technology, Steinbuch Centre for Computing, 76128, Germany
pp. 42-49

Dynamic composition of web applications in human-centered processes (Abstract)

Gerardo Canfora , Dept. of Engineering - University of Sannio, Benevento, Italy
Massimiliano Di Penta , Dept. of Engineering - University of Sannio, Benevento, Italy
Pierpaolo Lombardi , Dept. of Engineering - University of Sannio, Benevento, Italy
Maria Luisa Villani , Dept. of Engineering - University of Sannio, Benevento, Italy
pp. 50-57

Architecting Service Oriented Middleware for pervasive networking (Abstract)

Marco Autili , Dipartimento di Informatica, Università dell'Aquila, Italy
Mauro Caporuscio , INRIA Paris-Rocquencourt, 78153 Le Chesnay, France
Valerie Issarny , INRIA Paris-Rocquencourt, 78153 Le Chesnay, France
pp. 58-61

Self-Architecting Software SYstems (SASSY) from QoS-annotated activity models (Abstract)

Sam Malek , Department of Computer Science, George Mason University, USA
Naeem Esfahani , Department of Computer Science, George Mason University, USA
Daniel A. Menasce , Department of Computer Science, George Mason University, USA
Joao P. Sousa , Department of Computer Science, George Mason University, USA
Hassan Gomaa , Department of Computer Science, George Mason University, USA
pp. 62-69

Toward automatic transformation of enterprise business model to service model (Abstract)

P. Jamshidi , Information System Architecture Research Center, Electrical and Computer Engineering Faculty, Shahid Beheshti University, Iran
S. Khoshnevis , Information System Architecture Research Center, Electrical and Computer Engineering Faculty, Shahid Beheshti University, Iran
R. Teimourzadegan , Information System Architecture Research Center, Electrical and Computer Engineering Faculty, Shahid Beheshti University, Iran
A. Nikravesh , Information System Architecture Research Center, Electrical and Computer Engineering Faculty, Shahid Beheshti University, Iran
F. Shams , Information System Architecture Research Center, Electrical and Computer Engineering Faculty, Shahid Beheshti University, Iran
pp. 70-74

Integration of UML modeling and policy-driven management of Web service systems (Abstract)

Basem Suleiman , Managing Complexity Research Group - Sydney (ATP), NICTA*, Australia
Vladimir Tosic , Managing Complexity Research Group - Sydney (ATP), NICTA*, Australia
pp. 75-82

Adapting service requests to actual service interfaces through semantic annotations (Abstract)

Luca Cavallaro , DEI - Politecnico di Milano, Via C. Golgi, 40, 20133 - Italy
Gianluca Ripa , CEFRIEL, Via R. Fucini, 2, 20133 Milano - Italy
Maurilio Zuccala , CEFRIEL, Via R. Fucini, 2, 20133 Milano - Italy
pp. 83-86

The role of congregation in service-oriented development (Abstract)

Colin Atkinson , Institute of Computer Science, University of Mannheim, Germany
Philipp Bostan , Institute of Computer Science, University of Mannheim, Germany
pp. 87-90

Cooperative Aspect Oriented Programming for executable business processes (Abstract)

Chiara Di Francescomarino , Fondazione Bruno Kessler - IRST, Trento, Italy
Paolo Tonella , Fondazione Bruno Kessler - IRST, Trento, Italy
pp. 91-94

Ensuring service backwards compatibility with Generic Web Services (Abstract)

Vadym Borovskiy , Hasso Plattner Institute for Software Systems Engineering, P.O. Box 900460, D-14440 Potsdam, Germany
Juergen Mueller , Hasso Plattner Institute for Software Systems Engineering, P.O. Box 900460, D-14440 Potsdam, Germany
Matthieu-Patrick Schapranow , Hasso Plattner Institute for Software Systems Engineering, P.O. Box 900460, D-14440 Potsdam, Germany
Alexander Zeier , Hasso Plattner Institute for Software Systems Engineering, P.O. Box 900460, D-14440 Potsdam, Germany
pp. 95-98

Embedding continuous lifelong verification in service life cycles (Abstract)

Domenico Bianculli , University of Lugano, Faculty of Informatics, Switzerland
Carlo Ghezzi , Politecnico di Milano, DEEP-SE group - DEI, Italy
Cesare Pautasso , Politecnico di Milano, DEEP-SE group - DEI, Italy
pp. 99-102

Challenges for assuring quality of service in a service-oriented environment (Abstract)

Sriram Balasubramaniam , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA - 15213
Grace A. Lewis , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA - 15213
Ed Morris , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA - 15213
Soumya Simanta , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA - 15213
Dennis B. Smith , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA - 15213
pp. 103-106

On-line validation of service oriented systems in the European Project TAS3 (Abstract)

Antonia Bertolino , Istituto di Scienza e Tecnologie dell'Informazione ¿A. Faedo¿, Consiglio Nazionale delle Ricerche - Pisa, Italy
Guglielmo De Angelis , Istituto di Scienza e Tecnologie dell'Informazione ¿A. Faedo¿, Consiglio Nazionale delle Ricerche - Pisa, Italy
Andrea Polini , Department of Mathematics and Computer Science, University of Camerino - Italy
pp. 107-110
92 ms
(Ver 3.3 (11022016))