Formal Model for Runtime Detection of Feature Interaction
Jiuyun Xu, Fangchun Yang · Dianzi xuebao · 2005
This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime 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 properties-inconsistency in runtime.Additionally,this paper addresses that it is only a necessary condition using the message lists to detect anti-property type service interaction without additional processing.Finally,the simple complementary approach to detecting the anti-property feature interaction is given.