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

Formal Model for Runtime Detection of Feature Interaction

作　　者：徐九韵[1] 杨放春[2] 

机构地区：[1]中国石油大学(华东)计算机与通信工程学院,山东东营257061 [2]北京邮电大学交换技术与通信网国家重点实验室,北京100876

出　　处：《电子学报》2005年第10期1774-1777,共4页Acta Electronica Sinica

基　　金：国家自然科学基金(No.90104024);国家杰出青年科学基金(No.60125101);教育部跨世纪优秀人才计划项目;中国石油大学博士基金(No.Y040703)

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

关 键 词：下一代网络 特征交互 动态检测 形式模型 消息语义 

分 类 号：TN915.5[电子电信—通信与信息系统]