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 integrati...
详细信息
ISBN:
(纸本)0769515886
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, interactiondetection 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 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 interactionresolution possible. Runtime model checking is possible because the checked program is stored within itself and the interactionresolution will be done by selecting behaviour traces according to the resolution rules.
暂无评论