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

Research of Integration of Middleware Architecture

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

Building large-scale complex system in military field needs the support of middleware technologies. The crucial technique and the integration mechanism of middleware architecture were researched. This paper introduced software architecture formal description method based on TDπ-calculus and proposed a performance bound component interface model. Then we studied the integration compatibility between component and system based on this model. This study has already used in a virtual test real-time soft-bus research and has well effect.