Model-based Generation of a Requirements Monitor

Runtime representations of requirements have recently gained interested to deal with uncertainty in the environment and the term requirements at runtime has been established. Runtime representations of requirements support reasoning about the requirements at runtime and adapting the configuration of a system according to changes in the environment. Such systems often called self-adaptive systems. Core part of respective approaches in the field is a requirements monitor. That is, an instance which is able to observe the system’s environment and to decide whether a requirement is broken, based on assertions. The problem addressed in this paper is how to generate the applicationspecific parts of a requirements monitor. Such a monitor consists of some goal model for decisions at runtime, assertions connected to the goal model, and parameters on which assertions are defined. We present in this paper a model-driven approach to enhance requirements documents by goal models, assertions, ...

• Type: Journal
• Year: 2015
• Where: REFSQ
• Authors: Fabian Kneer, Erik Kamsties
• Keywords: REFSQ 2015, Software Engineering