Workshop on Proceedings
Editors
Nelly Bencomo (Program Chair) INRIA Paris, France
Lancaster University, UK
Michigan State University, USA
Colorado State University, USA Cédric Jeanneret (Program Chair) University of Zurich, Switzerland
Dresden, Germany
Florida International University, USA
SINTEF, Norway
University of Alabama, USA
Università dell'Aquila, Italy
SINTEF, Norway
Universidade Fernando Pessoa, Portugal
Frauenhofer IESE, Germany
LERO, Ireland
Universität Postdam, Germany
Peking University, China
Federal University of Goias, Brazil
Universität Postdam, Germany
Peking University, China
IRISA, France
University of Victoria, Canada
SINTEF, Norway
Federal University of Rio Grande do Norte, Brazil Language and Framework Requirements for Adaptation Models Thomas Vogel and Holger Giese ........................................................................................................ 1 Towards Adaptive Systems through Requirements@Runtime Liliana Pasquale, Luciano Baresi and Bashar Nuseibeh ....................................................................... 13 Model-based Situational Security Analysis Jörn Eichler and Roland Rieke......................................................................................................... 25
Runtime Monitoring of Functional Component Changes with Behavior Models Carlo Ghezzi, Andrea Mocci and Mario Sangiorgio............................................................................. 37 Using Model-to-Text Transformation for Dynamic Web-Based Model Navigation Dimitrios Kolovos, Louis Rose and James Williams ............................................................................. 49 Runtime Variability Management for Energy-efficient Software by Contract Negotiation Sebastian Götz, Claas Wilke, Sebastian Cech and Uwe Assmann ............................................................ 61