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

-

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. These proceedings contain ve 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 researchers and practitioners that explore speci cation and analysis of non functional requirements (NFR) and estimation, nal evaluation, and certi cation 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 engineering, software analysis and simulation, and model transformation to enable the development of systems that optimally and certi ably meet NFRs. We received two types of contributions: position and full-technical research papers. All submissions have been reviewed by three reviewers coming from or being recommended by the workshop's Program Committee. The ve accepted peer-reviewed papers (with an acceptance rate of 62%) involve 15 authors coming from ve di erent 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 Veri cation 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/5thinternational-workshop-non-functional-properties-modeling. We acknowledge substantial support by the EasyChair management system, see http://www.easychair.org, during the reviewing process.

November, 2013

Simona Bernardi

Marko Boskovic

Jose Merseguer

Program Committee

Additional Reviewers

Dimitri Plotnikov, RWTH Aachen University, Germany

Ernest Wozniak, CEA LIST, France

Martin Fleck, Vienna University of Technology, Austria

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

Author Index

Langer, Philip, 6

Mayerhofer, Tanja, 6

Oliveira da Pehan, Dulcineia, 40

Pehlivanov, Stanimir, 1

Ra q, Yasmin, 1

Tichy, Matthias, 32

van Hoorn, Andre, 32 von Bochmann, Gregor, 16, 24

Weiss, Gereon, 40

1 6 16 24 32 40

References