|
|||||
|
|
| 一种基于Petri网的构件特征干扰检测方法 | |
| 引用本文： | 李敏,王元珍,李桂玲. 一种基于Petri网的构件特征干扰检测方法[J]. 四川大学学报(工程科学版), 2008, 40(4): 148-152 |
| 作者姓名： | 李敏 王元珍 李桂玲 |
| 作者单位： | 1. 华中师范大学,计算机科学系,湖北,武汉,430079;华中科技大学,计算机科学与技术学院,湖北,武汉,430074 2. 华中科技大学,计算机科学与技术学院,湖北,武汉,430074 3. 华中科技大学,计算机科学与技术学院,湖北,武汉,430074;中国地质大学,计算机学院,湖北,武汉,430074 |
| 摘 要： | 为了检测和解决构件组装过程中的特征干扰问题,提出了构件的Petri网模型,给出了构件3种组装机制的形式化定义,并在分析了各种组装机制下可能出现的特征干扰的基础之上,提出了一种基于Petri网的特征干扰检测方法.该方法根据构件的不同组装机制,采用不同的规则检测特征干扰.实例研究表明,该方法能有效和准确地检测特征干扰,有助于解决构件组装过程中的特征干扰问题. |
| 关 键 词： | 构件组装 特征干扰 Petri网 |
| 收稿时间： | 2007-04-23 |
A Petri Net-based Method for Detecting Feature Interactions of Components |
|
| LI Min,WANG Yuan-zhen,LI Gui-ling. A Petri Net-based Method for Detecting Feature Interactions of Components[J]. Journal of Sichuan University (Engineering Science Edition), 2008, 40(4): 148-152 | |
| Authors: | LI Min WANG Yuan-zhen LI Gui-ling |
| Affiliation: | Dept.of Computer Sci.,Huazhong Normal Univ.,Wuhan 430079,China;College of Computer Sci. and Technol.,HuaZhong Univ. of Sci. and Technol.,Wuhan 430074,China;College of Computer Sci. and Technol.,HuaZhong Univ. of Sci. and Technol.,Wuhan 430074,China |
| Abstract: | For detecting and solving the feature interaction (FI) problem in component composition,a Petri net model of component was proposed and the formal definitions of three component composition mechanisms were given. Based on the analysis of feature interaction problems probably appearing in each of three composition mechanisms, a Petri net based method was proposed to detect feature interaction. The method adopted different formal detection rules to different composition mechanisms. The case study showed that the method can effectively and efficiently detect the feature interaction and then help solving the feature interaction problem in component composition. |
| Keywords: | component composition feature interaction Petri net |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《四川大学学报(工程科学版)》浏览原始摘要信息 | |
| 点击此处可从《四川大学学报(工程科学版)》下载全文 | |