Telefon: +43(0) 662 834 602 - 0


A typical NIM-ALP paper studies steps in processes for capturing and prioritizing NFRs and tradeoff analysis of NFPs. Additionally, the typical paper can also introduce languages and annotations for specification of NFRs and NFPs. A typical paper also studies formalisms and simulations for NFP analysis, and transformations of design models that enable automated analysis certification. Finally, a NIM-ALP paper can also introduce different models and interactions of NFPs. In general, a NIM-ALP paper contributes to understanding of NFRs and NFPs and establishment of analysis approaches, languages, and processes that facilitate capturing of NFRs and the development of software systems whose NFPs optimally and certifiably satisfy these NFRs.
Cloud computing rapidly becomes a major research and industrial topic. It offers easy, convenient, and elastic deployment infrastructure for its users. However, there is still lack of methods for systematic and optimal development and deployment of applications to the cloud. Therefore, there is a need for appropriate processes, analysis approaches and languages which allow for engineering cloud applications. For this reason, this year’s topic of the workshop is non-functional properties in Cloud Computing. Topics of interest (not limited) are:

  • Languages and approaches for modeling NFRs and NFPs of cloud applications
  • Early requirements of cloud applications
  • Traceability of NFRs in the cloud applications
  • Estimation and evaluation of NFPs in the cloud applications
  • Security and privacy in cloud applications
  • Multi-dimensional optimization of cloud applications
  • Multi-formalisms and multi-solutions to assess different kind of NFPs of cloud applications
  • Survivability and adaptivity of cloud applications
  • Service Level Agreements of cloud applications


Beside topics related to cloud computing, this year’s workshop also covers general topics like (not limited to):

  • Requirements modeling languages and non-functional properties
  • Early non-functional requirements as crosscutting concerns
  • Traceability of non-functional requirements
  • Estimation and evaluation of non-functional properties (processes involving analytical modeling, simulations and measurement)
  • Safety and legal certification using MDE principles
  • Domain specific modeling languages and quality metrics
  • Multi-formalisms and multi-solutions to assess different kind of NFPs
  • Prioritization and optimization in the case of multiple NFPs of interest
  • Survivability modeling and analysis methods
Telefon: +43(0) 662 834 602 - 0