


default search action
1st PESOS@ICSE 2009: Vancouver, BC, Canada
- International ICSE Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2009, 18-19 May 2009, Vancouver, BC, Canada. IEEE Computer Society 2009, ISBN 978-1-4244-3716-0
Formal Specifications, Models and Analysis for SOA
- Howard Foster:
Architecture and behaviour analysis for engineering Service Modes. 1-8 - George Baryannis
, Dimitris Plexousakis:
The frame problem in Web service specifications. 9-12 - Stefania Pacifici, Matteo Rossi:
Towards a formal model of autonomic services based on SelfLets. 13-17
Service Engineering
- Ralph Mietzner, Andreas Metzger, Frank Leymann
, Klaus Pohl:
Variability modeling to support customization and deployment of multi-tenant-aware Software as a Service applications. 18-25 - Willem-Jan van den Heuvel, Olaf Zimmermann, Frank Leymann
, Patricia Lago, Ina Schieferdecker
, Uwe Zdun, Paris Avgeriou
:
Software service engineering: Tenets and challenges. 26-33
QoS and Transactions
- Nebil Ben Mabrouk, Nikolaos Georgantas, Valérie Issarny:
A semantic end-to-end QoS model for dynamic service oriented environments. 34-41 - Frederic Wenzel, Patrick Freudenstein, Martin Nussbaumer
:
Strengths and weaknesses of WS-BusinessActivity for cross-organizational SOA applications. 42-49
Human-Centered Processes and Pervasive Computing
- Gerardo Canfora
, Massimiliano Di Penta
, Pierpaolo Lombardi, Maria Luisa Villani
:
Dynamic composition of web applications in human-centered processes. 50-57 - Marco Autili
, Mauro Caporuscio
, Valérie Issarny:
Architecting Service Oriented Middleware for pervasive networking. 58-61
Model-Driven Approaches, Automatic Generation
- Sam Malek, Naeem Esfahani, Daniel A. Menascé, João Pedro Sousa, Hassan Gomaa:
Self-Architecting Software SYstems (SASSY) from QoS-annotated activity models. 62-69 - Pooyan Jamshidi, Sedigheh Khoshnevis
, R. Teimourzadegan, Ali Nikravesh, Fereidoon Shams:
Toward automatic transformation of enterprise business model to service model. 70-74 - Basem Suleiman
, Vladimir Tosic:
Integration of UML modeling and policy-driven management of Web service systems. 75-82 - Luca Cavallaro, Gianluca Ripa, Maurilio Zuccalà
:
Adapting service requests to actual service interfaces through semantic annotations. 83-86
Design Issues
- Colin Atkinson
, Philipp Bostan:
The role of congregation in service-oriented development. 87-90 - Chiara Di Francescomarino, Paolo Tonella
:
Cooperative Aspect Oriented Programming for executable business processes. 91-94 - Vadym Borovskiy, Juergen Mueller, Matthieu-Patrick Schapranow
, Alexander Zeier:
Ensuring service backwards compatibility with Generic Web Services. 95-98
Verification and Quality Assurance
- Domenico Bianculli
, Carlo Ghezzi, Cesare Pautasso:
Embedding continuous lifelong verification in service life cycles. 99-102 - Sriram Balasubramaniam, Grace A. Lewis
, Edwin J. Morris, Soumya Simanta, Dennis B. Smith:
Challenges for assuring quality of service in a service-oriented environment. 103-106 - Antonia Bertolino
, Guglielmo De Angelis, Andrea Polini
:
On-line validation of service oriented systems in the European Project TAS3. 107-110

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.