PESOS 2013

5th International Workshop on Principles of Engineering Service-Oriented Systems


ICSE2013-golden-gate-trans-250pxIn conjunction with the 35th International Conference on Software Engineering (ICSE 2013)

San Francisco, CA, USA

May 26, 2013

Service-Oriented Architecture (SOA) and service-oriented systems, which are built using the SOA paradigm, are now in the stage of widespread adoption, at least according to Gartner's Hype Cycle of Emerging Technologies. Due to the fact that some of the standards for service integration have stabilized, and driven by IT cost savings, organizations are starting to incorporate external software services into their systems, some of which are hosted in the cloud. From a provider perspective, many commercial companies such as Oracle, SAP, Intuit, and Netflix either have cloud-based offerings of their products or run their business completely in the cloud.

The special theme of the 5th edition of the PESOS workshop is "Service Engineering for the Cloud." Cloud Computing is shaping the way that organizations acquire and use systems — software-as-a-service (SaaS) model — and how they develop and deploy systems — platform-as-a-service (PaaS) and infrastructure-as-a-service (IaaS) models. Even though cloud platforms and infrastructures are typically designed to scale on demand, the question is whether this automatic elasticity translates to all services deployed on them.



We are very happy to have Marija Mikić-Rakić from Google, as our keynote speaker. The title of her keynote is "Service Oriented Architectures in the Google Cloud." Developing software systems at Google scale requires balancing many system properties (both functional and non-functional) at the same time. Her keynote discusses common Google services: their purpose, the tradeoffs these services make, and how they enable  design, implementation, testing, deployment and monitoring of Google systems.

Marija Mikic-Rakic is a Staff-Level Software Engineering Manager at Google, Santa Monica, where she has been employed since 2004. She presently manages several teams working on different projects in the Ads organization. She holds a Ph.D. in Computer Science from the University of Southern California. Her research interests are in the area of large-scale distributed systems, software architectures and self-adaptation. She is a member of ACM, ACM SIGSOFT, and IEEE.

Workshop Program

08:30 - 08:45 Workshop Welcome and Introduction
08:45 - 09:45 Keynote: SOA in the Google Cloud
Marija Mikić-Rakić, Google, USA
09:45 - 10:15 Open Discussion
10:15 - 10:30 Card Sorting: Preparation for Afternoon Break-Out Sessions
10:30 - 11:00 Break
11:00 - 12:15 Paper Session 1: Quality Assurance for Service-Oriented, Cloud-Based Systems
The Dark Side of SOA Testing – Towards Testing Contemporary SOAs Based on Criticality Metrics
Philipp Leitner, Stefan Schulte, and Schahram Dustdar (Vienna University of Technology, Austria) and Ingo Pill, Marco Schulz and Franz Wotawa (Graz University of Technology, Austria)
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Environment Models
Dragan Ivanovic (Technical University of Madrid (UPM), Spain), Peerachai Kaowichakorn (IMDEA Software Institute, Spain) and Manuel Carro (Technical University of Madrid (UPM) and IMDEA Software Institute, Spain)
Storm Prediction in a Cloud
Ian Davis, Hadi Hemmati, Ric Holt and Mike Godfrey (University of Waterloo, Canada) and Douglas Neuse and Serge Mankovskii (CA Technologies, Canada)
12:15 - 12:30
Break-Out Sessions: Initial Meeting
12:30 - 14:00
14:00 - 14:50
Paper Session 2: Elasticity in the Cloud
Dynamic Program Code Distribution in Infrastructure-as-a-Service Clouds
Rostyslav Zabolotnyi, Philipp Leitner and Schahram Dustdar (Vienna University of Technology, Austria)
RESTful Business Process Management in the Cloud
Alessio Gambi and Cesare Pautasso (University of Lugano, Switzerland)
14:50 - 15:40 Paper Session 3: Components: A Service-Oriented View
Framework for Evaluating Reusabilty of Component-as-a-Service (CaaS)
Hyun Jung La, Jin Sun Her and Soo Dong Kim (Soongsil University, South Korea)
15:40 - 16:00 Break-Out Sessions: Continued
16:00 - 16:30 Break
16:30 - 17:00
Break-Out Sessions: Continued
17:00 - 18:00
Report of Break-Out Sessions and Wrap-Up

All accepted papers will be published in the conference electronic proceedings and in both ACM Digital Library and IEEE Digital Library.

Workshop summary will be submitted to ACM Software Engineering Notes for publication.

Workshop Organizers

Domenico Bianculli is a research associate at the Software Verification and Validation laboratory of the Interdisciplinary Centre for Security, Reliability and Trust (SnT), at the University of Luxembourg, Luxembourg. His primary research area is software engineering, with particular emphasis on the specification, verification and validation of service-oriented systems. Other research interests include reputation mechanisms for enabling self-tuning in the execution of composite Web services, automated performance assessment of service-oriented middleware, and model checking of temporal metric specifications. He has been involved in the organization of the PESOS 2012 workshop (co-organizer and co-chair of "The Quest for Case Studies" special session), the QABSA 2011 workshop (co-organizer and program co-chair), the 2009 NASA Formal Method Symposium (local arrangements), and the ESSPE'07 workshop (webmaster and publicity chair). Domenico got his PhD at the University of Lugano, Switzerland, in July 2012; he also holds a BSc in Computer Engineering (2003) and a MSc in Computing Systems Engineering (2006), both from Politecnico di Milano, Italy. Domenico's home page is available at

Patricia Lago is Associate Professor at VU University Amsterdam, leading the group on software service engineering in the Department of Computer Science. Her research interests are software and service architectures, architectural knowledge management and Green IT. She has co-authored publications in top international journals, books and conferences. She is chair of the IEEE/IFIP WICSA Steering Committee, member of the IFIP 2.10 Working Group on Software Architecture, the IFIP 2.14 Working Group on Services-Based Systems, and core member of the Dutch Knowledge Network on Green Software. She has been local chair of ESEC/FSE 2009, and program co-chair of the 9th Working IEEE/IFIP Conference on Software Architecture in 2011 (WICSA). Since 2009 she is PC co-chair of the Dutch Software Architecture Conference that each year has about 700 attendees mostly coming from industry. She has co-organized various workshops and events in the software architecture field, including the SHARK workshop series (affiliated with ICSE in 2007-2011) and the GREENS workshop at ICSE 2012. More information about her work can be found at

Grace Lewis is a Senior Member of the Technical Staff at the Carnegie Mellon Software Engineering Institute (SEI). She is currently the technical lead for the Edge-Enabled Tactical Systems research group in the Advanced Mobile Systems initiative that is exploring the use of technologies such as mobile computing, cloud computing and end-user programming in tactical situations. Her current interests and projects are in cloud-based cyber-foraging, context-aware mobile applications, service-oriented architecture (SOA), and cloud computing. Grace has successfully co-organized multiple workshops at ICSE (PESOS, SDSOA, SEEUP), ICSM (MESOCA, MESOA), CSMR (SOAM) and CASCON. Her latest publications include multiples reports and articles on these subjects and a book in the SEI Software Engineering Series. She is also a member of the technical faculty for the Master in Software Engineering program at Carnegie Mellon University (CMU). Grace holds a B.Sc. in Systems Engineering and an Executive MBA from Icesi University in Cali, Colombia; and a Master in Software Engineering from CMU. More information about her work can be found at

Helen Hye-Young Paik is a Senior Lecturer in the School of Computer Science and Engineering, University of New South Wales, Sydney, Australia. She is a member of Service Oriented Computing research group and Smart Services CRC research program in the school. Her main research area is in service oriented computing principles and architecture, with particular interests in flexibility and adaptability of SOA systems applied to Business Process Management (BPM).She has been involved the organization of the workshops Middleware for Service Oriented Computing and Middleware for Web Services as a co-chair. The workshops are specialized in topics that are relevant to this year's PESOS. She also actively participates as a program committee member in many international conferences in the relevant area. Helen received her PhD in Computer Science from University of New South Wales in 2004. More information about her work can be found at

Site hosting by the SEI