%0 Journal Article
%T 基于构件的中间件体系结构集成形式化研究
%A 王琼
%A 杜承烈
%A 蔡小斌
%A 李刚？
%J 计算机科学
%D 2010
%X 航空航天等领域大型复杂系统的构建离不开中间件技术的支持。研究了中间件体系结构设计的关键技术和集成机制，介绍了基于tdπ二演算的软件体系结构描述方法，提出了一个带有性能约束的构件接口模型，并研究了基于该模型的构件与系统间的集成兼容性。该研究在某虚拟试验实时软总线的研究中得到了应用，起到了比较好的效果。
%K 中间件
%K 体系结构
%K 集成
%K 兼容性
%K tdπ演算
%K 软总线
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=100834&flag=1