SEAMS 2013 – Proceedings

2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 20–21, 2013, San Francisco, CA, USA

Preface

Message from the Chairs
Article: seams13foreword-fm001-p (type: Frontmatter) doi:

Keynotes

Science in the Cloud (Keynote)
Joe Hellerstein
(Google, USA)
Article: seams13keynotes-key01-p (type: Keynote Paper) doi:

A 10-Year Perspective on Software Engineering Self-Adaptive Systems (Keynote)
David Garlan
(CMU, USA)
Article: seams13keynotes-key02-p (type: Keynote Paper) doi:

Evaluation

Do External Feedback Loops Improve the Design of Self-Adaptive Systems? A Controlled Experiment
Danny Weyns, M. Usman Iftikhar, and Joakim Söderlund
(Linnaeus University, Sweden)
Article: seams13-id43-p (type: Full paper(10 pages)) doi:

Evolving an Adaptive Industrial Software System to Use Architecture-Based Self-Adaptation
Javier Cámara, Pedro Correia, Rogério de Lemos, David Garlan, Pedro Gomes, Bradley Schmerl, and Rafael Ventura
(University of Coimbra, Portugal; University of Kent, UK; CMU, USA; Critical Software, Portugal)
Article: seams13-id17-p (type: Full paper(10 pages)) doi:

Requirements and Architectural Approaches to Adaptive Software Systems: A Comparative Study
Konstantinos Angelopoulos, Vítor E. Silva Souza, and João Pimentel
(University of Trento, Italy; UFES, Brazil; UFPE, Brazil)
Article: seams13-id54-p (type: Full paper(10 pages)) doi:

Services

On Estimating Actuation Delays in Elastic Computing Systems
Alessio Gambi, Daniel Moldovan, Georgiana Copil, Hong-Linh Truong, and Schahram Dustdar
(TU Vienna, Austria; University of Lugano, Switzerland)
Article: seams13-id46-p (type: Full paper(10 pages)) doi:

Self-Adaptive and Sensitivity-Aware QoS Modeling for the Cloud
Tao Chen and Rami Bahsoon
(University of Birmingham, UK)
Article: seams13-id19-p (type: Full paper(10 pages)) doi:

QoS-Aware Fully Decentralized Service Assembly
Vincenzo Grassi, Moreno Marzolla, and Raffaela Mirandola
(University of Rome Tor Vergata, Italy; University of Bologna, Italy; Politecnico di Milano, Italy)
Article: seams13-id15-p (type: Full paper(10 pages)) doi:

Learning and Updates

Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes
Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, and Christian Brenner
(Politecnico di Milano, Italy; University of Paderborn, Germany)
Article: seams13-id52-p (type: Full paper(10 pages)) doi:

Run-Time Adaptation of Mobile Applications using Genetic Algorithms
Gustavo G. Pascual, Mónica Pinto, and Lidia Fuentes
(University of Málaga, Spain)
Article: seams13-id53-p (type: Full paper(10 pages)) doi:

Guaranteeing Robustness in a Mobile Learning Application using Formally Verified MAPE Loops
Didac Gil de la Iglesia and Danny Weyns
(Linnaeus University, Sweden)
Article: seams13-id58-p (type: Full paper(10 pages)) doi:

Case Studies and Decision-Making

Engineering Adaptation with Zanshin: An Experience Report
Genci Tallabaci and Vítor E. Silva Souza
(University of Trento, Italy; UFES, Brazil)
Article: seams13-id9-p (type: Full paper(10 pages)) doi:

Diagnosing Architectural Run-Time Failures
Paulo Casanova, David Garlan, Bradley Schmerl, and Rui Abreu
(CMU, USA; University of Porto, Portugal)
Article: seams13-id45-p (type: Full paper(10 pages)) doi:

Dynamic Decision Networks for Decision-Making in Self-Adaptive Systems: A Case Study
Nelly Bencomo, Amel Belaggoun, and Valerie Issarny
(INRIA, France)
Article: seams13-id41-p (type: Full paper(10 pages)) doi:

Qualities

Self-Adaptive Containers: Building Resource-Efficient Applications with Low Programmer Overhead
Wei-Chih Huang and William J. Knottenbelt
(Imperial College London, UK)
Article: seams13-id61-p (type: Full paper(10 pages)) doi:

Synthesizing Self-Adaptive Connectors Meeting Functional and Performance Concerns
Antinisca Di Marco, Paola Inverardi, and Romina Spalazzese
(University of L'Aquila, Italy)
Article: seams13-id50-p (type: Full paper(10 pages)) doi:

High-Quality Specification of Self-Adaptive Software Systems
Markus Luckey and Gregor Engels
(University of Paderborn, Germany)
Article: seams13-id24-p (type: Full paper(10 pages)) doi:

Evolution

Improving Context-Awareness in Self-Adaptation using the DYNAMICO Reference Model
Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Laurence Duchien, and Lionel Seinturier
(Icesi University, Colombia; University of Victoria, Canada; INRIA, France; University of Lille, France)
Article: seams13-id51-p (type: Full paper(10 pages)) doi:

Law and Adaptivity in Requirements Engineering
Silvia Ingolfo and Vítor E. Silva Souza
(University of Trento, Italy; UFES, Brazil)
Article: seams13-id35-p (type: Short paper(6 pages)) doi:

Towards Run-Time Testing of Dynamic Adaptive Systems
Erik M. Fredericks, Andres J. Ramirez, and Betty H. C. Cheng
(Michigan State University, USA)
Article: seams13-id44-p (type: Short paper(6 pages)) doi:

RPC Automation: Making Legacy Code Relevant
Andreas Bergen, Yağız Onat Yazır, Hausi A. Müller, and Yvonne Coady
(University of Victoria, Canada)
Article: seams13-id56-p (type: Short paper(6 pages)) doi: