|
- Program
- Paper submission
- Workshop format
- Important
dates
- Organization
- Contacts
- Submission site
|
|
Workshop theme and goals
The service-oriented paradigm is emerging as a new way to engineer applications that are exposed as services for possible use through standardized protocols. Service-oriented applications are pushing traditional software engineering problems - distribution, componentization, composition, requirements, specification, verification, and evolution - to their extreme. Services are in fact distributed and may be composed to form new added-value services. Moreover, they are developed, deployed, and evolved by different organizations. Services are exposed for possible use, and a faithful specification of their functional and non-functional properties must be made available for other parties who may search and discover them. Systems, implemented as composite services, must be designed to fulfill requirements that very often evolve continuously, and thus require adaptation of the solution. Furthermore, such systems depend on their combined services, which, in turn, may evolve autonomously.
Research on service-oriented systems is presently focusing on many topics, all of which are in the scope of PESOS. The aim of this workshop is to bring together researchers from academia and industry, as well as practitioners working in the area to discuss important issues, recent developments, applications, methods, techniques, experience reports, and tools to support the engineering and use of service oriented systems.
Special emphasis will be put on the effects that continuous evolution and adaptation will exert on service-oriented systems. Evolution is a consequence of continuous and rapid changes in the requirements and business goals. Adaptation is a consequence of changes in the environment in which systems are embedded and changes in the component services and may require the definition and the execution of proper self-adaptation mechanisms. The workshop will call for special attention on how to achieve evolution and adaptation in a secure and dependable way, focusing on aspects of engineering service-based systems:
- specification, design, implementation, verification, deployment, and operation of service-oriented systems
- realization with distributed infrastructures that support them,
- alignment with business processes.
Program
- May 18th 2009
- 9.00 - 9.30 Welcome (Chairs Schahram Dustdar, Klaus Pohl)
- 9.30 - 10.30 Keynote speech by Thomas Erl
- 10.30 - 11.00 Break
- 11.00 - 12.30 Formal specifications, models and analysis for SOA (Chair Andreas Metzger)
Each paper has assigned a slot of 20 min including questions. At the end of the session we plan to have a 30 min discussion
-
Howard Foster.
Architecture and Behaviour Analysis for Engineering Service Modes
-
George Baryannis and Dimitris Plexousakis.
The Frame Problem in Web Service Specifications
-
Stefania Pacifici and Matteo Rossi.
Towards a Formal Model of Autonomic Services based on SelfLets
- 12:30-14.00 Lunch
- 14.00 - 15.00 Service engineering (Chair Schahram Dustdar)
Each paper has assigned a slot of 20 min including questions. At the end of the session we plan to have a 20 min discussion
-
Ralph Mietzner, Andreas Metzger, Frank Leymann and Klaus Pohl.
Variability Modeling to Support Customization and Deployment of Multi-Tenant-Aware Software as a Service Applications
-
Willem-jan van den Heuvel, Olaf Zimmermann, Frank Leymann, Patricia Lago, Ina Schieferdecker, Uwe Zdun and Paris Avgeriou.
Software Service Engineering: Principles, Tenets and Challenges
- 15.00 - 15.40 QoS and transactions (Chair Massimiliano Di Penta)
Each paper has assigned a slot of 20 min including questions. At the end of the session we plan to have a 20 min discussion
-
Nebil Ben Mabrouk, Nikolaos Georgantas, and Valérie Issarny.
A Semantic QoS Model for Dynamic Service Oriented Environments
-
Frédéric Wenzel, Patrick Freudenstein and Martin Nussbaumer.
Strengths and Weaknesses of WS-BusinessActivity for Cross-Organizational SOA Applications
- 15:40-16.00 Break
- 16.00 - 16.20 QoS and transactions (cont.)
- 16.20 - 17.20 Human-centered processes and pervasive computing (Chair Klaus Pohl)
Each paper has assigned a slot of 20 min including questions. At the end of the session we plan to have a 20 min discussion
-
Gerardo Canfora, Massimiliano Di Penta, Pierpaolo Lombardi and Maria Luisa Villani.
Dynamic Composition of Web Applications in Human-Centered Processes
-
Marco Autili, Mauro Caporuscio and Valérie Issarny.
Architecting Service Oriented Middleware for Pervasive Networking Environments
- 17.20 - 17.30 Closing remarks (Chair Schahram Dustdar)
- 19.30 We invite all attendees to have a joint dinner. The workshop does not
have budget for this, so everybody should pay on its own.
- May 19th 2009
- 8.40 - 10.30 Model-driven approaches, automatic generation (Chair Dennis Smith)
Each paper has assigned a slot of 20 min including questions. At the end of the session we plan to have a 30 min discussion
-
Sam Malek, Naeem Esfahani, Daniel Menasce, Joao Sousa and Hassan Gomaa.
Self-Architecting Software SYstems (SASSY) from QoS-Annotated Activity Models
-
Pooyan Jamshidi, Sedigheh Khoshnevis, Reza Teimourzadegan, Ali Nikravesh and Fereidoon Shams Aliee.
ASSM: Toward Automatic Transformation of Enterprise Business Model to Service Model
-
Basem Suleiman and Vladimir Tosic.
Integration of UML Modeling and Policy-Driven Management of Web Service Systems
-
Luca Cavallaro, Gianluca Ripa and Maurilio Zuccalà.
Adapting Service Requests to Actual Service Interfaces through Semantic Annotations
- 10:30 - 11.00 break
- 11.00 - 12.30 discussion session (Chair Grace Lewis)
- 12:30-14.00 Lunch
- 14.00 - 15.30 Design issues (Chair Antonia Bertolino)
Each paper has assigned a slot of 20 min including questions. At the end of the session we plan to have a 30 min discussion
-
Philipp Bostan and Colin Atkinson.
On the Roleof Congregation in Service-Oriented Development
-
Chiara Di Francescomarino and Paolo Tonella.
Cooperative Aspect Oriented Programming for Executable Business Processes
-
Vadym Borovskiy, Juergen Mueller, Matthieu-Patrick Schapranow and Alexander Zeier.
Ensuring Service Backwards Compatibility with Generic Web Services
- 15:30-16.00 Break
- 16.00 - 17.30 Verification and quality assurance (Chair Andreas Metzger)
Each paper has assigned a slot of 20 min including questions. At the end of the session we plan to have a 30 min discussion
-
Domenico Bianculli, Carlo Ghezzi and Cesare Pautasso.
Embedding Continuous Lifelong Verification in Service Life Cycles
-
Soumya Simanta, Grace Lewis, Dennis Smith, Sriram Balasubramaniam and Ed Morris.
Challenges for Assuring Quality of Service in a Service-Oriented Environment
-
Antonia Bertolino, Guglielmo De Angelis and Andrea Polini.
On-line Validation of Service Oriented Systems in the European Project TAS3
- 17.30 - 17.40 Closing remarks and plans for future workshop editions (Chair Schahram Dustdar)
Organization
- Steering committee
-
Carlo Ghezzi, Politecnico di Milan, Italy
- Domenico Laforenza, IIT-CNR and ISTI CNR, Pisa, Italy
- Frank Leymann, University of Stuttgart, Germany
- Mike Papazoglou, Tilburg University, The Netherlands
- Klaus Pohl, University of Duisburg-Essen, Germany
- Program co-chairs
-
Elisabetta Di Nitto, Politecnico di Milano, Italy
- Schahram Dustdar, Technical University Vienna, Austria
- Program committee
-
Boualem Benatallah, University of New South Wales, Australia
- Antonia Bertolino, CNR, Italy
- Tefvik Bultan, UC Santa Barbara, USA
- Laurent Bussard, EMIC, Germany
- Manuel Carro, Polytechnic University of Madrid, Spain
- Fabio Casati, University of Trento, Italy
- Paco Curbera, IBM, USA
- Massimiliano Di Penta, Universita` del Sannio, Italy
- Jose Luiz Fiadeiro, University of Leicester, UK
- Howard Foster, Imperial College London, UK
- Valerie Issarny, Inria, France
- Dimka Karastoyanova, University of Stuttgart, Germany
- Raman Kazhamiakin, Fondazione Bruno Kessler, Italy
- Bernd Krämer, FernUniversitaet Hagen, Germany
- Grace Lewis, Software Engineering Institute, USA
- Marin Litoiu, IBM Corporation, Canada
- Heiko Ludwig, IBM Research, USA
- Massimo Mecella, Universita di Roma "La Sapienza", Italy
- Andreas Metzger, University of Duisburg-Essen, Germany
- Raffaela Mirandola, Politecnico di Milano, Italy
- Henry Muccini, Università dell'Aquila, Italy
- Christos Nikolau, University of Crete, Grece
- Ita Richardson, Lero, University of Limerick, Ireland
- Colette Roland, University Paris 1, France
- Pete Sawyer, Lancaster University, UK
- Dennis Smith, Software Engineering Institute, USA
- George Spanoudakis, City University London, UK
- Stefan Tai, University of Karlsruhe, Germany
- Vladimir (Z.) Tosic, NICTA, Australia
- Willem-Jan van den Heuvel, Tilburg University, Netherlands
- Uwe Zdun, Technical University Vienna, Austria
- Christian Zirpins, University of Karlsruhe, Germany
- Andrea Zisman, City University London, UK
Contacts
Any further enquiries about the workshop may be sent to Elisabetta Di Nitto
(dinitto@elet.polimi.it) and Schahram Dustdar (dustdar@infosys.tuwien.ac.at).
|
