D.3.3 ALGORITHMS FOR INCREMENTAL ... - SecureChange

application contexts is saved if the goals are fulfilled. These sequences are complex
change reactions, which are evaluated by the user and applied on the model if
selected.
Figure 12. Quick fix generation algorithm
The set of change operations in requirement engineering includes adding new actors,
creating or removing trust relations etc. These operations can be defined using model
transformation rules, each including a precondition and an action part. The
precondition restricts the applicability of the operation (such as a trust relation can be
created only between existing elements with the appropriate type).
Once the user selects one of the generated quick fixes to be applied on the model,
there is also a possibility of storing the quick fix as a complex change reaction. In order
to create a reusable change reaction, its signature must be defined. The signature
contains the list of elements that can be used as an application context for the change
reaction. When applying the recorded change reaction using a given signature,
undefined elements and variables not present in the signature but used in the
sequence of operations are selected using pattern matching.
Apart from the design space exploration approach, it is also possible to record change
reactions for future use by recording manual changes performed by the user on in the
editor. In this case, the framework could use inductive reasoning to determine the
signature for the recorded change reaction.
Further enhancement to the approach could include an automated initialization of
capturing when a given event occurs (such as the appearance of a violation), then
each performed action would be recorded until the violation is corrected. Thus the
recording can be controlled using evolution triggers.
This way of learning complex change reactions that can be used to respond to
violations and evolution triggers leads to an inductive framework, where each change
reaction further enhances the response capabilities of the quick fix generation tool, and
increases the usefulness of this feature.
D.3.3 Algorithms for Incremental Requirements Models
Evaluation and Transformation| version 1.19 | page 29/136