SEAMS 2011 – Proceedings

Sixth International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011), May 23–24, 2011, Waikiki, Honolulu, HI, USA

Preface

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

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

Applications

Application of Software Health Management Techniques
Nagabhushan Mahadevan, Abhishek Dubey, and Gabor Karsai
(Vanderbilt University, USA)
Article: seams11-p059-p (type: Research paper (10 pp)) doi:

Dynamic Updating of Online Recommender Systems via Feed-Forward Controllers
Valentina Zanardi and Licia Capra
(University College London, UK)
Article: seams11-p008-p (type: Research paper (10 pp)) doi:

Runtime Models for Automatic Reorganization of Multi-Robot Systems
Christopher Zhong and Scott A. DeLoach
(Kansas State University, USA)
Article: seams11-p003-p (type: Research paper (10 pp)) doi:

Modeling and Languages

Adapt Cases: Extending Use Cases for Adaptive Systems
Markus Luckey, Benjamin Nagel, Christian Gerth, and Gregor Engels
(University of Paderborn, Germany)
Article: seams11-p047-p (type: Research paper (10 pp)) doi:

gocc: A Configuration Compiler for Self-adaptive Systems Using Goal-oriented Requirements Description
Hiroyuki Nakagawa, Akihiko Ohsuga, and Shinichi Honiden
(The University of Electro-Communications, Japan; National Institute of Informatics, Japan)
Article: seams11-p006-p (type: Research paper (10 pp)) doi:

An Evaluation of the Adaptation Capabilities in Programming Languages
Carlo Ghezzi, Matteo Pradella, and Guido Salvaneschi
(Politecnico di Milano, Italy)
Article: seams11-p032-p (type: Research paper (10 pp)) doi:

Monitoring and Evaluation

Awareness Requirements for Adaptive Systems
Vítor E. Silva Souza, Alexei Lapouchnian, William N. Robinson, and John Mylopoulos
(University of Trento, Italy; University of Toronto, Canada; Georgia State University, USA)
Article: seams11-p026-p (type: Research paper (10 pp)) doi:

Characterizing Problems for Realizing Policies in Self-Adaptive and Self-Managing Systems
Sowmya Balasubramanian, Ron Desmarais, Hausi A. Müller, Ulrike Stege, and S. Venkatesh
(University of Victoria, Canada)
Article: seams11-p061-p (type: Research paper (10 pp)) doi:

A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems
Norha M. Villegas, Hausi A. Müller, Gabriel Tamura, Laurence Duchien, and Rubby Casallas
(University of Victoria, Canada; INRIA Lille, France; University of Los Andes, Colombia)
Article: seams11-p062-p (type: Research paper (10 pp)) doi:

Model-based Self-Adaptive Resource Allocation in Virtualized Environments
Nikolaus Huber, Fabian Brosig, and Samuel Kounev
(Karlsruhe Institute of Technology, Germany)
Article: seams11-p039-p (type: Research paper (10 pp)) doi:

Run-time Support

FlashMob: Distributed Adaptive Self-Assembly
Daniel Sykes, Jeff Magee, and Jeff Kramer
(Imperial College London, UK)
Article: seams11-p004-p (type: Research paper (10 pp)) doi:

Supporting Service Composition and Real-Time Execution through Characterization of QoS Properties
Marisol García-Valls, Pablo Basanta-Val, and Iria Estévez-Ayres
(Universidad Carlos III de Madrid, Spain)
Article: seams11-p015-p (type: Research paper (10 pp)) doi:

On the Performance of UML State Machine Interpretation at Runtime
Edzard Hoefig, Peter H. Deussen, and Ina Schieferdecker
(Fraunhofer FOKUS, Germany; TU Berlin, Germany)
Article: seams11-p021-p (type: Research paper (10 pp)) doi:

GRAF: Graph-based Runtime Adaptation Framework
Mahdi Derakhshanmanesh, Mehdi Amoui, Greg O'Grady, Jürgen Ebert, and Ladan Tahvildari
(University of Koblenz-Landau, Germany; University of Waterloo, Canada)
Article: seams11-p052-p (type: Research paper (10 pp)) doi:

Assurance

Pairwise Testing of Dynamic Composite Services
Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, and Claude Jard
(IRISA, France; INRIA Rennes, France; INRIA Sophia Antipolis, France; ENS Cachan, France)
Article: seams11-p020-p (type: Research paper (10 pp)) doi:

Dynamic Plans for Integration Testing of Self-adaptive Software Systems
Carlos Eduardo da Silva and Rogério de Lemos
(University of Kent, UK)
Article: seams11-p034-p (type: Research paper (10 pp)) doi:

A CSP-based Framework for the Specification, Verification, and Implementation of Adaptive Systems
Björn Bartels and Moritz Kleine
(TU Berlin, Germany)
Article: seams11-p060-p (type: Research paper (10 pp)) doi:

A Model-Driven Approach to Develop Adaptive Firmwares
Franck Fleurey, Brice Morin, and Arnor Solberg
(SINTEF, Norway)
Article: seams11-p068-p (type: Research paper (10 pp)) doi:

Position Papers

Elastic Executions from Inelastic Programs
Iulian Neamtiu
(UC Riverside, USA)
Article: seams11-p043-p (type: Position paper (6 pp)) doi:

A Model-Driven Framework for Runtime Adaptation of Web Service Compositions
Georg Grossmann, Michael Schrefl, and Markus Stumptner
(University of South Australia, Australia)
Article: seams11-p067-p (type: Position paper (6 pp)) doi:

Benchmarking the Resilience of Self-Adaptive Software Systems: Perspectives and Challenges
Raquel Almeida and Marco Vieira
(University of Coimbra, Portugal)
Article: seams11-p029-p (type: Position paper (6 pp)) doi:

Approaching Runtime Trust Assurance in Open Adaptive Systems
Daniel Schneider, Martin Becker, and Mario Trapp
(Fraunhofer IESE, Germany)
Article: seams11-p069-p (type: Position paper (6 pp)) doi:

On Interacting Control Loops in Self-Adaptive Systems
Pieter Vromant, Danny Weyns, Sam Malek, and Jesper Andersson
(Katholieke Universiteit Leuven, Belgium; George Mason University, USA; Linnaeus University, Sweden)
Article: seams11-p037-p (type: Position paper (6 pp)) doi:

Frameworks

A Self-Adaptive Deployment Framework for Service-Oriented Systems
Sander van der Burg and Eelco Dolstra
(Delft University of Technology, Netherlands)
Article: seams11-p056-p (type: Research paper (10 pp)) doi:

A Multi-model Framework to Implement Self-managing Control Systems for QoS Management
Tharindu Patikirikorala, Alan Colman, Jun Han, and Liuping Wang
(Swinburne University of Technology, Australia; RMIT University, Australia)
Article: seams11-p025-p (type: Research paper (10 pp)) doi:

Inflation and Deflation of Self-Adaptive Applications
Ryan W. Moore and Bruce R. Childers
(University of Pittsburgh, USA)
Article: seams11-p055-p (type: Research paper (10 pp)) doi: