Simona Bernardi Marko Boˇskovi´ c Jos´ e 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 [email protected]
Marko Boˇskovi´c
Research Studios, Austria
[email protected] Jos´e Merseguer
Departamento de Inform´atica e Ingenier´ıa de Sistemas, Universidad de Zaragoza, Spain
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 theFifth 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ˇskovi´c Jos´e Merseguer
Program Committee
Silvia Abrah˜ao, Universitat Polit`ecnica de Val`encia, 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´ebastien 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´an, Universitat Polit`ecnica de Val`encia, Spain
Jan J¨urjens, 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´erez, Politecnico di Milano, Italy Ivan Porres, ˚Abo Akademi University, Finland
Bernhard Rumpe, RWTH Aachen University, Germany Gunter Saake, University of Magdeburg, Germany
Bernhard Sch¨atz, 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 Calinescu, Radu, 1 Cortellessa, Vittorio, 6 Costa Silva, Gabriel, 1 Fleck, Martin, 6 Gerasimou, Simos, 1 Getir, Sinem, 32 Grunske, Lars, 32 Israr, Toqeer, 16, 24 Johnson, Kenneth, 1
Langer, Philip, 6 Mayerhofer, Tanja, 6
Oliveira da Pehan, Dulcineia, 40 Pehlivanov, Stanimir, 1
Rafiq, Yasmin, 1 Tichy, Matthias, 32 van Hoorn, Andr´e, 32
von Bochmann, Gregor, 16, 24 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´e 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
