=Paper=
{{Paper
|id=None
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1074/frontmatter.pdf
|volume=Vol-1074
}}
==None==
https://ceur-ws.org/Vol-1074/frontmatter.pdf
Simona Bernardi
Marko Bošković
José Merseguer
Non-functional Properties in Modeling:
Analysis, Languages and Processes
5th International Workshop NiM-ALP 2013
Miami, FL, USA, 29 September 2013
Proceedings
CEUR Workshop Proceedings
Volume 1074
Editors:
Simona Bernardi
Centro Universitario de la Defensa,
Academia General Militar, Zaragoza, Spain
simonab@unizar.es
Marko Bošković
Research Studios, Austria
marko.boskovic@researchstudio.at
José Merseguer
Departamento de Informática e Ingenierı́a de Sistemas,
Universidad de Zaragoza, Spain
jmerse@unizar.es
Online available as CEUR Workshop Proceedings (ISSN: 1613-0073), Volume
1074, http://CEUR-WS.org/Vol-1074/
BibTEX entry:
@proceedings{nim-alp2013,
editor = {Simona Bernardi, Jos\’e Merseguer and Marko Bo\v{s}kovi\’{c}},
title = {Proceedings of the 5th International Workshop on Non-functional
Properties in Modeling: Analysis, Languages and Processes,
satellite workshop of MODELS’2013, Miami, FL, USA, Sept. 29, 2013},
booktitle = {Non-functional Properties in Modeling:
Analysis, Languages and Processes},
location = {Miami, FL, USA},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {Vol-1074},
year = {2013},
url = {http://CEUR-WS.org/Vol-1074/}
}
Copyright c 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. Re-publication of material from this volume requires
permission by the copyright owners.
Preface
These proceedings contain five peer-reviewed contributions as well as an invited
position paper of the Fifth International Workshop on Non-functional Properties
in Modeling: Analysis, Languages and Processes, held as a satellite workshop of
MODELS 2013, in Miami (FL), USA, on September 29, 2013.
The NIM-ALP workshop series (previously NFPinDSML) brings together re-
searchers and practitioners that explore specification and analysis of non func-
tional requirements (NFR) and estimation, final evaluation, and certification of
non functional properties (NFPs) of software systems during the design based on
Model Driven Engineering principles. The main objective is to provide synergies
of process engineering, software language engineering, requirements engineer-
ing, software analysis and simulation, and model transformation to enable the
development of systems that optimally and certifiably meet NFRs.
We received two types of contributions: position and full-technical research pa-
pers. All submissions have been reviewed by three reviewers coming from or
being recommended by the workshop’s Program Committee. The five accepted
peer-reviewed papers (with an acceptance rate of 62%) involve 15 authors com-
ing from five different countries. In summary, the workshop proceedings enclose
both theoretical and application papers. The latter addressing automotive and
factory automation domains.
The workshop programme was complemented by the invited talk “Continual
Verification of Non-Functional Properties in Cloud-Based Systems” given by
Radu Calinescu from the Department of Computer Science, University of York
(UK).
For more details see the workshops website: http://ios.researchstudio.at/de/5th-
international-workshop-non-functional-properties-modeling. We acknowledge substan-
tial support by the EasyChair management system, see http://www.easychair.org,
during the reviewing process.
November, 2013 Simona Bernardi
Marko Bošković
José Merseguer
Program Committee
Silvia Abrahão, Universitat Politècnica de València, Spain
Ebrahim Bagheri, Ryerson University, Canada
Luca Berardinelli, University of L’ Aquila, Italy
Radu Calinescu, University of York, UK
Daniela Cancila, CEA LIST, France
Gugliemo De Angelis, ISTI-CNR, Italy
Geri Georg, Colorado State University, USA
Sébastien Gerard, CEA LIST, France
Jeff Gray, University of Alabama, USA
Marco Gribaudo, Politecnico di Milano, Italy
Christian Huemer, Vienna University of Technology, Austria
Hardi Hungar, German Aerospace Center (DLR), Institute of Transportation Systems, Germany
Emilio Insfrán, Universitat Politècnica de València, Spain
Jan Jürjens, Dortmund University of Technology & Fraunhofer ISST, Germany
Gerti Kappel, Vienna University of Technology, Austria
Raimund Kirner, University of Herdfordshire, UK
Philip Langer, Vienna University of Technology, Austria
Stefano Marrone, Second University of Naples, Italy
Raffaela Mirandola, Politecnico di Milano, Italy
Gunter Mussbacher, University of Ottawa, Canada
Claus Pahl, Dublin City University, Ireland
Richard Paige, University of York, UK
Diego Pérez, Politecnico di Milano, Italy
Ivan Porres, Åbo Akademi University, Finland
Bernhard Rumpe, RWTH Aachen University, Germany
Gunter Saake, University of Magdeburg, Germany
Bernhard Schätz, Munich University of Technology, Germany
Norbert Siegmund, University of Magdeburg, Germany
Juha-Pekka Tolvanen, MetaCase, Finland
Javier Troya, University of Malaga, Spain
Andreas Winter, Carl von Ossietzky University, Germany
Steffen Zschaler, Kings College London, UK
Additional Reviewers
Dimitri Plotnikov, RWTH Aachen University, Germany
Ernest Wozniak, CEA LIST, France
Martin Fleck, Vienna University of Technology, Austria
Author Index
Berardinelli, Luca, 6 Langer, Philip, 6
Calinescu, Radu, 1 Mayerhofer, Tanja, 6
Cortellessa, Vittorio, 6
Costa Silva, Gabriel, 1 Oliveira da Pehan, Dulcineia, 40
Pehlivanov, Stanimir, 1
Fleck, Martin, 6
Rafiq, Yasmin, 1
Gerasimou, Simos, 1
Getir, Sinem, 32 Tichy, Matthias, 32
Grunske, Lars, 32
van Hoorn, André, 32
Israr, Toqeer, 16, 24 von Bochmann, Gregor, 16, 24
Johnson, Kenneth, 1 Weiss, Gereon, 40
Table of Contents
Continual Verification of Non-Functional Properties in Cloud-Based
Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou,
Gabriel Costa Silva, and Stanimir N. Pehlivanov
Resource Contention Analysis of Cloud-based System through
fUML-driven Model Execution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Martin Fleck, Luca Berardinelli, Philip Langer, Tanja Mayerhofer,
and Vittorio Cortellessa
Performance Modeling of Distributed Collaboration Services with
Independent Inputs/Outputs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Toqeer Israr and Gregor v. Bochmann
Stochastic Performance Analysis of Distributed Activities . . . . . . . . . . . . . . 24
Toqeer Israr and 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
Sinem Getir, André van Hoorn, Lars Grunske, and Matthias Tichy
Integrated Timing Analysis in the Model-Driven Design of Automotive
Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Dulcineia Oliveira da Penha and Gereon Weiss