An adaptive run time manager for the dynamic integration and interaction resolution of features

With modern software systems, an important requirement is the ability to be auto adaptive, i.e. being able to adjust itself its changing environment. In line with this, a run time manager for dynamic feature integration of telecommunication systems, interaction detection and resolution is described in this paper with aspects being used to implement features. The manager manages the interaction of features/aspects by monitoring the managed program. The program is represented by a labelled transition system (LTS) model, stored in a flexible data structure, and executed by calling the action subroutine represented by the label of the LTS model, forming a reflective facility for the composition and analysis of features. It is the reflective mechanism that makes dynamic feature addition, run time model checking, as well as adaptive interaction resolution possible. Runtime model checking is possible because the checked program is stored within itself and the interaction resolution is done by selecting behaviour traces according to the resolution rules.