节点文献

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

Research of Integration of Middleware Architecture

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 王琼杜承烈蔡小斌李刚

【Author】 WANG Qiong1 DU Cheng-lie1 CAI Xiao-bin2 LI Gang1(Computer College of Northwestern Polytechnical University,Xi’an 710072,China)1(Committee of Science and Technology,China Aviation Industry Corporation I,Beijing 100012,China)2

【机构】 西北工业大学计算机学院中航一集团科技委

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

【Abstract】 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.

【基金】 航空科学基金(04I53066,2007ZD53043);“十一五”武器装备预先研究项目(102010101)资助
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2010年08期
  • 【分类号】TP311.52
  • 【被引频次】4
  • 【下载频次】140
节点文献中: 

本文链接的文献网络图示:

本文的引文网络