%0 Journal Article
%T Detecting Feature Interactions in Next Generation Communication Software<br>下一代通信软件中的特征冲突检测
%A WANG Dong
%A MEI Hong
%A <br>王栋
%A 梅宏
%J 软件学报
%D 2005
%I 
%X Features denote the extensions of the basic function set of the communication software, while Feature Interactions (FIs) mean the unexpected interference between the features. The paper studies the FIs in the next generation communication software mainly on the aspect of the distributed implementation and deployment of the features. Based on the Communication Finite State Machine (CFSM) model, the authors design an FI detection method using the system verification technique. For the state explosion problem during verification, an optimization scheme is presented to reduce the complexity. Its validity is proved in theory and illustrated by examples.
%K next generation communication software
%K feature interaction
%K communication finite state machine (CFSM)
%K system verification
%K state explosion<br>下一代通信软件
%K 特征冲突
%K 通信有限状态机
%K 系统验证
%K 状态爆炸
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=13BE75A18DBC48A6&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=DF92D298D3FF1E6E&sid=880C4253794026AD&eid=A3FC76ED9EF62E85&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=12