期刊论文

A Petri Net-based Method for Detecting Feature Interactions of Components

Li, M.

中文

工程科学与技术

2096-3246

2008

40

4

148-152

国家发展与改革委员会“安全智能数据整合平台开发及产业化”资助项目([2005]538号)

本校为第一且通讯机构

为了检测和解决构件组装过程中的特征干扰问题,提出了构件的Petri网模型,给出了构件3种组装机制的形式化定义,并在分析了各种组装机制下可能出现的特征干扰的基础之上,提出了一种基于Petri网的特征干扰检测方法。该方法根据构件的不同组装机制,采用不同的规则检测特征干扰。实例研究表明,该方法能有效和准确地检测特征干扰,有助于解决构件组装过程中的特征干扰问题。

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...