Vol-1074
urn:nbn:de:0074-1074-8

Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

NiM-ALP 2013
Non-functional Properties in Modeling: Analysis, Languages and Processes

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes
co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)

Miami, USA, September 29, 2013.

Edited by

Simona Bernardi *
Marko Bošković
José Merseguer *

* Centro Universitario de la Defensa, Academia General Militar, Zaragoza, Spain
** Research Studios Austria, Austria
*** Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Zaragoza, Spain

Table of Contents

Preface
Continual Verification of Non-Functional Properties in Cloud-Based Systems (invited paper) 1-5
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov
Resource Contention Analysis of Cloud-based System through fUML-driven Model Execution 6-15
Martin Fleck, Luca Berardinelli, Philip Langer, Tanja Mayerhofer, Vittorio Cortellessa
Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outputs 16-23
Toqeer Israr, Gregor v. Bochmann
Stochastic Performance Analysis of Distributed Activities 24-31
Toqeer Israr, Gregor v. Bochmann
Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System 32-40
Sinem Getir, André van Hoorn, Lars Grunske, Matthias Tichy
Integrated Timing Analysis in the Model-Driven Design of Automotive Systems 41-49
Dulcineia Oliveira da Penha, Gereon Weiss

2013-11-04: submitted by Simona Bernardi
2013-11-04: published on CEUR-WS.org |valid HTML5|