Detecting Feature Interactions Based on Component Composition Mechanisms

With the development of Component-Based Software Development Technology (CBSDT),people find it is important to resolve the feature interaction problems in component composition. Based on the characteristic of soft- ware component,in this paper,the temporal logic language XYZ/E is used to formalize components,and a method based on component composition mechanisms is proposed to detect feature interactions.