特征交互动态检测的形式模型

Formal Model for Runtime Detection of Feature Interaction

本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑实例和网络实体被认为交互消息集合的子序列,从业务逻辑实例与外部实体交互消息的语法和语义不同角度出发,分别对不确定性、特征违反类和活锁类等不同类型的特征交互给出具体的动态检测形式模型.并在此基础上进一步讨论:在特性违反类特征交互的动态检测中,若直接使用消息序列检测特征交互将是不充分的,本文在最后给出一种简单的特性违反类特征交互动态检测时的补救方法.

This paper proposes a formal model of feature interactions based on the semantic of message lists in nmfirne between the object of service logical programming instance and the network entities. First, feature interaction manager views the instances of services logics and network entities as sub-lists of their interacting messages sets,with viewpoint of syntax and semantic of messages between the instance of service logic and external entity, it presents formal models for detecting non-deterministic, livelock and propertiesinconsistency in runfime. Additionally,this paper addresses that it is only a necessary condition using the message lists to detect antiproperty type service interaction without additional processing. Finally, the simple complementary approach to detecting the anti-property feature interaction is given.