基于构件的中间件体系结构集成形式化研究

航空航天等领域大型复杂系统的构建离不开中间件技术的支持。研究了中间件体系结构设计的关键技术和集成机制，介绍了基于tdπ二演算的软件体系结构描述方法，提出了一个带有性能约束的构件接口模型，并研究了基于该模型的构件与系统间的集成兼容性。该研究在某虚拟试验实时软总线的研究中得到了应用，起到了比较好的效果。