SEAMS 2011 – Proceedings

Preface

Applications

Application of Software Health Management Techniques
Nagabhushan Mahadevan, Abhishek Dubey, and Gabor Karsai
(Vanderbilt University, USA)


@InProceedings{SEAMS11p1, author = {Nagabhushan Mahadevan and Abhishek Dubey and Gabor Karsai}, title = {Application of Software Health Management Techniques}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2011}, }

Dynamic Updating of Online Recommender Systems via Feed-Forward Controllers
Valentina Zanardi and Licia Capra
(University College London, UK)


@InProceedings{SEAMS11p11, author = {Valentina Zanardi and Licia Capra}, title = {Dynamic Updating of Online Recommender Systems via Feed-Forward Controllers}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {11-10}, doi = {}, year = {2011}, }

Runtime Models for Automatic Reorganization of Multi-Robot Systems
Christopher Zhong and Scott A. DeLoach
(Kansas State University, USA)


@InProceedings{SEAMS11p21, author = {Christopher Zhong and Scott A. DeLoach}, title = {Runtime Models for Automatic Reorganization of Multi-Robot Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2011}, }

Modeling and Languages

Adapt Cases: Extending Use Cases for Adaptive Systems
Markus Luckey, Benjamin Nagel, Christian Gerth, and Gregor Engels
(University of Paderborn, Germany)


@InProceedings{SEAMS11p31, author = {Markus Luckey and Benjamin Nagel and Christian Gerth and Gregor Engels}, title = {Adapt Cases: Extending Use Cases for Adaptive Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p41, author = {Hiroyuki Nakagawa and Akihiko Ohsuga and Shinichi Honiden}, title = {gocc: A Configuration Compiler for Self-adaptive Systems Using Goal-oriented Requirements Description}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2011}, }

An Evaluation of the Adaptation Capabilities in Programming Languages
Carlo Ghezzi, Matteo Pradella, and Guido Salvaneschi
(Politecnico di Milano, Italy)


@InProceedings{SEAMS11p51, author = {Carlo Ghezzi and Matteo Pradella and Guido Salvaneschi}, title = {An Evaluation of the Adaptation Capabilities in Programming Languages}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {51-50}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p61, author = {Vítor E. Silva Souza and Alexei Lapouchnian and William N. Robinson and John Mylopoulos}, title = {Awareness Requirements for Adaptive Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p71, author = {Sowmya Balasubramanian and Ron Desmarais and Hausi A. Müller and Ulrike Stege and S. Venkatesh}, title = {Characterizing Problems for Realizing Policies in Self-Adaptive and Self-Managing Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p81, author = {Norha M. Villegas and Hausi A. Müller and Gabriel Tamura and Laurence Duchien and Rubby Casallas}, title = {A Framework for Evaluating Quality-Driven Self-Adaptive Software Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2011}, }

Model-based Self-Adaptive Resource Allocation in Virtualized Environments
Nikolaus Huber, Fabian Brosig, and Samuel Kounev
(Karlsruhe Institute of Technology, Germany)


@InProceedings{SEAMS11p91, author = {Nikolaus Huber and Fabian Brosig and Samuel Kounev}, title = {Model-based Self-Adaptive Resource Allocation in Virtualized Environments}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {91-90}, doi = {}, year = {2011}, }

Run-­time Support

FlashMob: Distributed Adaptive Self-Assembly
Daniel Sykes, Jeff Magee, and Jeff Kramer
(Imperial College London, UK)


@InProceedings{SEAMS11p101, author = {Daniel Sykes and Jeff Magee and Jeff Kramer}, title = {FlashMob: Distributed Adaptive Self-Assembly}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2011}, }

Supporting Service Composition and Real-Time Execution through Characterization of QoS Properties
Marisol García-Valls and Iria Estévez-Ayres
(Universidad Carlos III de Madrid, Spain)


@InProceedings{SEAMS11p111, author = {Marisol García-Valls and Iria Estévez-Ayres}, title = {Supporting Service Composition and Real-Time Execution through Characterization of QoS Properties}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {111-110}, doi = {}, year = {2011}, }

On the Performance of UML State Machine Interpretation at Runtime
Edzard Hoefig, Peter H. Deussen, and Ina Schieferdecker
(Fraunhofer FOKUS, Germany; TU Berlin, Germany)


@InProceedings{SEAMS11p121, author = {Edzard Hoefig and Peter H. Deussen and Ina Schieferdecker}, title = {On the Performance of UML State Machine Interpretation at Runtime}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p131, author = {Mahdi Derakhshanmanesh and Mehdi Amoui and Greg O'Grady and Jürgen Ebert and Ladan Tahvildari}, title = {GRAF: Graph-based Runtime Adaptation Framework}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {131-130}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p141, author = {Ajay Kattepur and Sagar Sen and Benoit Baudry and Albert Benveniste and Claude Jard}, title = {Pairwise Testing of Dynamic Composite Services}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2011}, }

Dynamic Plans for Integration Testing of Self-adaptive Software Systems
Carlos Eduardo da Silva and Rogério de Lemos
(University of Kent, UK)


@InProceedings{SEAMS11p151, author = {Carlos Eduardo da Silva and Rogério de Lemos}, title = {Dynamic Plans for Integration Testing of Self-adaptive Software Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2011}, }

A CSP-based Framework for the Specification, Verification, and Implementation of Adaptive Systems
Björn Bartels and Moritz Kleine
(TU Berlin, Germany)


@InProceedings{SEAMS11p161, author = {Björn Bartels and Moritz Kleine}, title = {A CSP-based Framework for the Specification, Verification, and Implementation of Adaptive Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2011}, }

A Model-Driven Approach to Develop Adaptive Firmwares
Franck Fleurey, Brice Morin, and Arnor Solberg
(SINTEF, Norway)


@InProceedings{SEAMS11p171, author = {Franck Fleurey and Brice Morin and Arnor Solberg}, title = {A Model-Driven Approach to Develop Adaptive Firmwares}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {171-170}, doi = {}, year = {2011}, }

Position Papers

Elastic Executions from Inelastic Programs
Iulian Neamtiu
(UC Riverside, USA)


@InProceedings{SEAMS11p181, author = {Iulian Neamtiu}, title = {Elastic Executions from Inelastic Programs}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2011}, }

A Model-Driven Framework for Runtime Adaptation of Web Service Compositions
Georg Grossmann, Michael Schrefl, and Markus Stumptner
(University of South Australia, Australia)


@InProceedings{SEAMS11p191, author = {Georg Grossmann and Michael Schrefl and Markus Stumptner}, title = {A Model-Driven Framework for Runtime Adaptation of Web Service Compositions}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {191-190}, doi = {}, year = {2011}, }

Benchmarking the Resilience of Self-Adaptive Software Systems: Perspectives and Challenges
Raquel Almeida and Marco Vieira
(University of Coimbra, Portugal)


@InProceedings{SEAMS11p201, author = {Raquel Almeida and Marco Vieira}, title = {Benchmarking the Resilience of Self-Adaptive Software Systems: Perspectives and Challenges}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2011}, }

Approaching Runtime Trust Assurance in Open Adaptive Systems
Daniel Schneider, Martin Becker, and Mario Trapp
(Fraunhofer IESE, Germany)


@InProceedings{SEAMS11p211, author = {Daniel Schneider and Martin Becker and Mario Trapp}, title = {Approaching Runtime Trust Assurance in Open Adaptive Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {211-210}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p221, author = {Pieter Vromant and Danny Weyns and Sam Malek and Jesper Andersson}, title = {On Interacting Control Loops in Self-Adaptive Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2011}, }

Frameworks

A Self-Adaptive Deployment Framework for Service-Oriented Systems
Sander van der Burg and Eelco Dolstra
(Delft University of Technology, Netherlands)


@InProceedings{SEAMS11p231, author = {Sander van der Burg and Eelco Dolstra}, title = {A Self-Adaptive Deployment Framework for Service-Oriented Systems}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {231-230}, doi = {}, year = {2011}, }

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)


@InProceedings{SEAMS11p241, author = {Tharindu Patikirikorala and Alan Colman and Jun Han and Liuping Wang}, title = {A Multi-model Framework to Implement Self-managing Control Systems for QoS Management}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2011}, }

Inflation and Deflation of Self-Adaptive Applications
Ryan W. Moore and Bruce R. Childers
(University of Pittsburgh, USA)


@InProceedings{SEAMS11p251, author = {Ryan W. Moore and Bruce R. Childers}, title = {Inflation and Deflation of Self-Adaptive Applications}, booktitle = {Proc.\ SEAMS}, publisher = {ACM}, pages = {251-250}, doi = {}, year = {2011}, }

proc time: 0.03