Fourth International Workshop on Non-functional System Properties in Domain Specific Modeling Languages

Affiliated with ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2012),

Sept. 30th - Oct. 5th, 2012 - Innsbruck/AUSTRIA

The workshop will take place on either September 30, or October 1 or 2 (TBC)


The NFPinDSML workshop series brings together researchers and practitioners that explore non-functional system properties (NFP) estimation and evaluation in software systems engineering using Model Driven Engineering principles. It studies the principles of NFP estimation and evaluation (formal models, simulation and measurement) and their integration in modeling languages and software engineering processes using Model Driven Engineering (MDE) principles. Particularly, this year's objective is to bring together researchers and practitioners in engineering of variant-rich software systems (Software Product Lines, Families of Software Systems, Software Factories, etc.) and quality aware software systems, to study principles of quality aware engineering of variant-rich software systems.

Target Audience

The intended target audience is researchers and practitioners from areas of software engineering, software language engineering, and NFP estimation and evaluation, and variant-rich software system engineering.


The importance of NFPs has been already acknowledged by the software engineering community. NFPs of software systems are at least as important as their functionality, and must be considered during the design process. For software systems, engineering modeling and modeling languages (general purpose and domain specific) are becoming commonplace. Nevertheless, the study of engineering modeling languages, their integration, and particularly integration in software engineering processes still lack common principles.

A typical NFPinDSML paper studies modeling language specifications, and mechanisms of languages integration such as annotations, transformations, and traceability links, for NFP evaluation of the final software product. Additionally, an NFPinDSML paper also studies integration of languages for software development and NFP estimation in the process of software engineering and maintenance. In this way, a user of a modeling language optimizes the design with respect to values of different NFP attributes, at predefined points during the engineering process.

Estimation and evaluation of NFP are usually done with mathematical analysis, computing algorithms, simulation or measurement and assessment. The relation between different quality aspects can influence each other in different ways. Either their values can be correlated, such as reliability and availability, or embedding mechanisms in a way that improving one can influence another, such as security and performance. To have a deeper focus on the NFP estimation and evaluation perspective in software systems engineering using MDE principles, NFPinDSML pays attention to the fact that modeling languages used in developing software systems should cover functional requirements specification, NFP attribute estimation and evaluation. Additionally, because of the large impact of early design decisions on system NFPs, the NFPinDSML workshop also discusses the evaluation and estimation of NFPs in the whole software engineering lifecycle from early requirements collection to implementation and maintenance. Additionally, because of the necessity of NFP certification, attention is also paid to available certification authorities and standards, and their proper integration in software engineering processes. For this reason, we need ways that enable us to take advantage of mechanisms of NFP estimation and evaluation, process engineering, and certification techniques and standards to enable production and reuse of modeling languages. The final goal is to facilitate the development of systems that certifiably meet functional and non-functional requirements. Because of the significant variety of languages and their application, software engineering and maintenance processes and certification authorities and standards, the synergy of these different areas is a complex task that requires the joint efforts of different communities.