期刊文献+

基于形式化构件集成的研究

下载PDF
导出
摘要 软件构件技术目前已经成为软件复用的关键技术之一,文章提出一种比较正式的用来描述软件构件集成行为的方式。并将其作为线程用作语义研究,介绍如何从同步并行和异步并行的角度来研究如何进行构件交互。文章从构件描述语言、构件动作、集成与构件库运维等方面来具体阐述,可以更加直观、清楚、完整地说明构件互动的静态和动态特性。
作者 杨轩 舒红平
出处 《信息通信》 2016年第4期126-128,共3页 Information & Communications
  • 相关文献

参考文献6

二级参考文献23

  • 1杨芙清,邵维忠,梅宏.面向对象的CASE环境青岛Ⅱ型系统的设计与实现[J].中国科学(A辑),1995,25(5):533-542. 被引量:21
  • 2-.基于程序可视化理论的算法教学环境的研究[M].济南:山东工业大学出版社,..
  • 3[1]Hong Mei, Jichuan Chang, Fuqing Yang. Composing software components at architectural level. The Int'l Conf on Software-Theory and Practice, Beijing, 2000
  • 4[2]Robert Allen, David Garlan. A formal basis for architectural connection. ACM Trans on Software Engineering and Methodology, 1997, 6(3): 213~249
  • 5[3]David C Luckham, James Vera. An event-based architecture definition language. IEEE Trans on Software Engineering, 1995, 21(9): 717~734
  • 6[4]M Shaw, R Deline, D V Klein, et al. Abstractions for software architecture and tools to support them. IEEE Trans on Software Engineering, 1995, 21(4): 314~335
  • 7[5]D Garlan, R Monroe, D Wile. ACME: An architecture description interchange language. The CASCON'97, Toronto, Ontario, 1997
  • 8[6]Eric M Dashofy, André van der Hoek, Richard N Taylor. A highly-extensible, XML-based architecture description language. In: Proc of the Working IEEE/IFIP Conf on Software Architectures. Los Alamitos, CA: IEEE Computer Society Press, 2001. 103~112
  • 9[7]N Medvidovic. A classification and comparison framework for software architecture description languages. University of California at Irvine, Tech Rep: UCI-ICS-97-02, 1997
  • 10[8]Hong Mei, Feng Chen, Qianxiang Wang, et al. ABC/ADL: An ADL supporting component composition. In: Proc of the 4th Int'l Conf on Formal Engineering Methods: Formal Methods and Software Engineering. London: Springer-Verlag, 2002. 38~47

共引文献765

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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