期刊文献+

基于消息的构件组合运算与构件演化 被引量:4

Component Composition Operations and Component Evolution Based on Messages
在线阅读 下载PDF
导出
摘要 根据构件能够接收和发送的消息,扩展了构件接口定义框架,给出了基于消息的构件组合模型,定义了构件的执行路径,对四种组合运算进行了形式化描述,提出并证明了六则构件演化运算.给出了一个实例:把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型,并给出了模型的代数表达式和简化算法. According to the messages which a component can receive and send,the component interface definition framework is extended. In order to depict four kinds of composition operations formly,and to prove six kinds of component evolution operations ,a component composition model based on messages is employed,and component running paths are defined. A blurry meaning hiberarehy system model is converted into one which has specific meaning dendriform as an example. An algebra express and simplifying arithmetic of systems model are proposed.
出处 《小型微型计算机系统》 CSCD 北大核心 2007年第7期1216-1220,共5页 Journal of Chinese Computer Systems
基金 国家自然科学基金项目(P90104028)资助.
关键词 消息 构件组合 构件演化 message component composition component evolution
  • 相关文献

参考文献9

二级参考文献62

  • 1王映辉,张世琨,刘瑜,王立福.基于可达矩阵的软件体系结构演化波及效应分析[J].软件学报,2004,15(8):1107-1115. 被引量:47
  • 2张世琨.基于层次消息总线的软件构架研究:博士学位论文[M].北京:北京大学计算机科学技术系,2000..
  • 3赵会群.基于进程代数的软件体系结构建模、检测与评价研究:博士学位论文[M].沈阳:东北大学,2002..
  • 4Zhang Shikun,博士学位论文,2000年
  • 5杨芙清,杨芙清文集,1998年,5页
  • 6张世琨,博士学位论文,2000年
  • 7Huiqun Yu,Xudong He,Yi Deng,Lian Mo.A formal method for analyzing software architecture models in SAM[A].26th annual international computer software and applications conference[C].Oxford,England,2002.26-29.
  • 8Marsala,Peyman S.Issues in modeling and analyzing dynamic software architectures[A].Proceedings of the international workshop on the role of software architecture in testing and analysis[C].Marsala,Sicily,Italy,1998.368-372.
  • 9Bernardo M,Ciancarini P,Lorenzo D.Architecting families of software systems with process algebras[J].ACM Transactions on Software Engineering and Methodology,2002,11(4):386-426.
  • 10Aldrich J,Chambers C,Notkin D.ArchJava:connecting software architecture to implementation[A].2002 international conference on software engineering[C].Orlando,Florida,USA,2002.187-197.

共引文献341

同被引文献29

引证文献4

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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