一种基于同构群的构件接口适配方法

A Method of Component Interface Adaptation Based on Isomorphic Group

构件化软件一直面临着构件组装过程的失配问题。对此,本文利用形式化方法建立了构件接口模型,提出了端口同构群和等价端口的概念,并证明了交互构件之间通过等价端口实现相互通信。最后,通过实例应用阐述了构件端口适配方法步骤,建立适配器解决等价端口的失配问题,为构件化软件接口之间的不匹配提供了一种可行的解决方法。

Component-based software is always facing the problem of mismatch in assembly process.To solve this problem,component interface model is established using the formal method,the concept of port isomorphic group and equivalent port are proposed.It proves that the equivalent ports can call each other through the reconfiguration port in the paper.Through an example,the steps of component port adaptation are given,and the adapter solves the problem of the mismatch of the equivalent port,which provides a feasible solution for the mismatch between the component-based software syntax.