等价端口相关硕士博士期刊学术论文

构件化软件一直面临着构件组装过程的失配问题。对此,本文利用形式化方法建立了构件接口模型,提出了端口同构群和等价端口的概念,......