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

SEAMS 2012 – Proceedings

 Contents - Abstracts - Authors
Online Calendar - iCal File

Preface

Title Page
Foreword
Committees

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)
Dynamic Self-Adaptation for Distributed Service-Oriented Transactions
Hassan Gomaa and Koji Hashimoto
(George Mason University, USA)
OSIRIS-SR: A Safety Ring for Self-Healing Distributed Composite Service Execution
Nenad Stojnić and Heiko Schuldt
(University of Basel, Switzerland)

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)

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)
Reliability-Driven Dynamic Binding via Feedback Control
Antonio Filieri, Carlo Ghezzi, Alberto Leva, and Martina Maggio
(Politecnico di Milano, Italy; Lund University, Sweden)
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)

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)
Timing Constraints for Runtime Adaptation in Real-Time, Networked Embedded Systems
Marc Zeller and Christian Prehofer
(Fraunhofer ESK, Germany)
A Middleware and Algorithms for Trust Calculation from Multiple Evidence Sources
Chern Har Yew and Hanan Lutfiyya
(University of Western Ontario, Canada)

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)
A Taxonomy of Uncertainty for Dynamically Adaptive Systems
Andres J. Ramirez, Adam C. Jensen, and Betty H. C. Cheng
(Michigan State University, USA)
A Taxonomy and Survey of Self-Protecting Software Systems
Eric Yuan and Sam Malek
(George Mason University, USA)

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)
A Language for Feedback Loops in Self-Adaptive Systems: Executable Runtime Megamodels
Thomas Vogel and Holger Giese
(HPI, Germany)
Towards Mediation-Based Self-Healing of Data-Driven Business Processes
Tomasz Haupt
(Mississippi State University, USA)

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)
(Requirement) Evolution Requirements for Adaptive Systems
Vítor E. Silva Souza, Alexei Lapouchnian, and John Mylopoulos
(University of Trento, Italy)
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)

proc time: 0.02