期刊文献+

软件构件发射模型形式化研究

Formal research on component issue-model
在线阅读 下载PDF
导出
摘要 针对面向构件系统的开发,提出了一种根据构件开发过程中的动态信息及开发人员的不同状态,按一定策略,以系统开发效率和系统使用性能优化为目标的动态发射机制。用形式化方式给出了软件构件定义,并论述了发射模型的抽象语义,为面向构件系统的进一步开发奠定了基础。 For the purpose of developing the system with component-based software engineering much better, a mechanism named as 'issue mechanism' is provided. This mechanism gets the information of the components and the developers, then uses special tactic to make the system work faster and stabile. The definition of software component is given using formalization method, and abstract semantic issue-model is discussed in detail. All above work sets up basic theory of component-based software engineering, and provides new ways for further study.
作者 陈骏 吴朝晖
出处 《计算机工程与设计》 CSCD 2004年第9期1433-1437,共5页 Computer Engineering and Design
基金 国家863高技术计划基金(2001AA113142)
关键词 软件构件 形式化 性能优化 面向构件 模型 系统开发 动态信息 系统使用 目标 效率 software component issue-model relativity FAHP
  • 相关文献

参考文献6

  • 1Bass L, Clements P, Kazman R. Software architecture in practice [M]. USA: Addison Wesley Longman, 1998.
  • 2Yacoub S, Ammar H, Mili A. A model for classifying component interfaces [C]. USA: the Second International Workshop on Component-Based Software Engineering, in Conjunction with the 21st International Conference on Software Engineering (ICSE99) Los Angeles, CA, USA,1999.
  • 3Linden F. Development and evolution of software architectures for product family[C]. USA: The Second International ESPRIT ARES Workshop, Springer LNCS 1429, 1998.
  • 4Reussner R H.The use of parameterised contracts for architecting systems with software components[C]. USA: Proceedings of the Sixth International Workshop on Component-Oriented Programming(WCOP'01),2001.
  • 5Clemens Szyperski. Component software,beyond object-oriented programming [M]. USA: ACM Press/Addison-Wesley,1998.
  • 6赵会群,王国仁,高远.软件体系结构抽象模型[J].计算机学报,2002,25(7):730-736. 被引量:41

二级参考文献1

  • 1赵会群.基于进程代数的软件体系结构建模、检测与评价研究:博士学位论文[M].沈阳:东北大学,2002..

共引文献40

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部