The Community for Technology Leaders
2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) (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
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)

Dimitris Plexousakis , Department of Computer Science University of Crete GR 71409 Heraklion, Greece
George Baryannis , 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
Klaus Pohl , Univ. of Duisburg-Essen, 45117, Germany
Frank Leymann , Univ. of Stuttgart, 70569, Germany
Andreas Metzger , Univ. of Duisburg-Essen, 45117, Germany
pp. 18-25

Software service engineering: Tenets and challenges (Abstract)

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

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

Valerie Issarny , INRIA Paris-Rocquencourt, France
Nikolaos Georgantas , INRIA Paris-Rocquencourt, France
Nebil Ben Mabrouk , 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
Martin Nussbaumer , Karlsruhe Institute of Technology, Steinbuch Centre for Computing, 76128, Germany
Patrick Freudenstein , Karlsruhe Institute of Technology, Steinbuch Centre for Computing, 76128, Germany
pp. 42-49

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

Maria Luisa Villani , Dept. of Engineering - University of Sannio, Benevento, Italy
Gerardo Canfora , Dept. of Engineering - University of Sannio, Benevento, Italy
Pierpaolo Lombardi , Dept. of Engineering - University of Sannio, Benevento, Italy
Massimiliano Di Penta , 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)

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

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

A. Nikravesh , 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
P. Jamshidi , 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)

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

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

Philipp Bostan , Institute of Computer Science, University of Mannheim, Germany
Colin Atkinson , 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
Matthieu-Patrick Schapranow , 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
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
Dennis B. Smith , Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, USA - 15213
Soumya Simanta , 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
pp. 103-106

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

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
Antonia Bertolino , Istituto di Scienza e Tecnologie dell'Informazione ¿A. Faedo¿, Consiglio Nazionale delle Ricerche - Pisa, Italy
pp. 107-110
104 ms
(Ver 3.1 (10032016))