


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














