Research on Component Behavior Protocols Mismatch Detection and Limited Assembly

摘要

As an effective specification method of supporting component design, assembly, verification and runtime monitoring, the component behavior protocol describes the time sequence constraints when the component interacts with its external environment dynamically. Using Interface Automata to describe component behavior protocol, the article proposes a formal definition and a detection algorithm thougths for behavior protocols mismatches which would occur when components assembled. Compared with existing research on the compatibility of component interaction, our work has considered control characteristics of component interfaces and different situations of interfaces bindings, therefore the compatible and incompatible parts of composite component behavior protocol can be accurately distinguished. Based on above work, a limited composition approach for components is proposed. Two incompatible components can be assembled as a composite component with limited behavior protocol but reliable and usable, the reuse probability of a component is increased accordingly.