SEAMS 2012 – Proceedings

2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), June 4–5, 2012, Zürich, Switzerland

Preface

Title Page
Article: seams12foreword-fm000-p (type: Frontmatter) doi:

Foreword
Article: seams12foreword-fm001-p (type: Frontmatter) doi:

Committees
Article: seams12foreword-fm002-p (type: Frontmatter) doi:

Service-Based Systems
Mon, Jun 4, 10:30 - 11:50

Proactive Adaptation of Service Composition
Rafael R. Aschoff and Andrea Zisman
(City University London, UK)
Article: seams12-id49-p (type: Full Paper (10 pages)) doi:

Dynamic Self-Adaptation for Distributed Service-Oriented Transactions
Hassan Gomaa and Koji Hashimoto
(George Mason University, USA)
Article: seams12-id12-p (type: Full Paper (10 pages)) doi:

OSIRIS-SR: A Safety Ring for Self-Healing Distributed Composite Service Execution
Nenad Stojnić and Heiko Schuldt
(University of Basel, Switzerland)
Article: seams12-id27-p (type: Short Paper (6 pages)) doi:

Exemplars
Mon, Jun 4, 11:50 - 12:45 (Chair: Luciano Baresi)

Traffic Routing for Evaluating Self-Adaptation
Jochen Wuttke, Yuriy Brun, Alessandra Gorla, and Jonathan Ramaswamy
(University of Washington, USA; University of Lugano, Switzerland)
Article: seams12-id19-p (type: Short Paper (6 pages)) doi:

Control Theory and Resilience
Mon, Jun 4, 14:00 - 15:30 (Chair: Marin Litoiu)

A Systematic Survey on the Design of Self-Adaptive Software Systems Using Control Engineering Approaches
Tharindu Patikirikorala, Alan Colman, Jun Han, and Liuping Wang
(Swinburne University of Technology, Australia; Royal Melbourne Institute of Technology, Australia)
Article: seams12-id7-p (type: Full Paper (10 pages)) doi:

Reliability-Driven Dynamic Binding via Feedback Control
Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio
(Politecnico di Milano, Italy; Lund University, Sweden)
Article: seams12-id29-p (type: Full Paper (10 pages)) doi:

Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking
Javier Cámara and Rogério de Lemos
(University of Coimbra, Portugal; University of Kent, UK)
Article: seams12-id11-p (type: Full Paper (10 pages)) doi:

Distributed Systems
Mon, Jun 4, 16:00 - 17:30 (Chair: Carlo Ghezzi)

Coordination of Distributed Systems through Self-Organizing Group Topologies
Sam Guinea and Panteha Saeedi
(Politecnico di Milano, Italy)
Article: seams12-id25-p (type: Full Paper (10 pages)) doi:

Timing Constraints for Runtime Adaptation in Real-Time, Networked Embedded Systems
Marc Zeller and Christian Prehofer
(Fraunhofer ESK, Germany)
Article: seams12-id16-p (type: Full Paper (10 pages)) doi:

A Middleware and Algorithms for Trust Calculation from Multiple Evidence Sources
Chern Har Yew and Hanan Lutfiyya
(University of Western Ontario, Canada)
Article: seams12-id52-p (type: Short Paper (6 pages)) doi:

Surveys and Taxonomies
Tue, Jun 5, 10:30 - 12:00 (Chair: Gregor Engels)

Claims and Supporting Evidence for Self-Adaptive Systems: A Literature Study
Danny Weyns, M. Usman Iftikhar, Sam Malek, and Jesper Andersson
(Linnaeus University, Sweden; George Mason University, USA)
Article: seams12-id23-p (type: Full Paper (10 pages)) doi:

A Taxonomy of Uncertainty for Dynamically Adaptive Systems
Andres J. Ramirez, Adam C. Jensen, and Betty H. C. Cheng
(Michigan State University, USA)
Article: seams12-id50-p (type: Full Paper (10 pages)) doi:

A Taxonomy and Survey of Self-Protecting Software Systems
Eric Yuan and Sam Malek
(George Mason University, USA)
Article: seams12-id8-p (type: Full Paper (10 pages)) doi:

Models and Mediators
Tue, Jun 5, 14:00 - 15:30 (Chair: Jeff Magee)

Model-Based Adaptive DoS Attack Mitigation
Cornel Barna, Mark Shtern, Michael Smit, Vassilios Tzerpos, and Marin Litoiu
(York University, Canada)
Article: seams12-id40-p (type: Full Paper (10 pages)) doi:

A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels
Thomas Vogel and Holger Giese
(HPI, Germany)
Article: seams12-id46-p (type: Full Paper (10 pages)) doi:

Towards Mediation-Based Self-Healing of Data-Driven Business Processes
Tomasz Haupt
(Mississippi State University, USA)
Article: seams12-id36-p (type: Short Paper (6 pages)) doi:

Requirements and Specifications
Tue, Jun 5, 16:00 - 17:20 (Chair: Betty Cheng)

Synthesizing Dynamically Updating Controllers from Changes in Scenario-Based Specifications
Carlo Ghezzi, Joel Greenyer, and Valerio Panzica La Manna
(Politecnico di Milano, Italy)
Article: seams12-id47-p (type: Full Paper (10 pages)) doi:

(Requirement) Evolution Requirements for Adaptive Systems
Vítor E. Silva Souza, Alexei Lapouchnian, and John Mylopoulos
(University of Trento, Italy)
Article: seams12-id28-p (type: Full Paper (10 pages)) doi:

On the Role of Primary and Secondary Assets in Adaptive Security: An Application in Smart Grids
Liliana Pasquale, Mazeiar Salehie, Raian Ali, Inah Omoronyia, and Bashar Nuseibeh
(Lero, Ireland; Bournemouth University, UK; Open University, UK)
Article: seams12-id13-p (type: Short Paper (6 pages)) doi: