期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一门新的面向构件语言 被引量：1

A New Component-Oriented Programming Language
下载PDF
导出
摘要 作为软件体系结构的重要贡献之一,连接子显式地描述了构件之间的交互.本文认为连接子的重要性值得我们在程序设计语言中加以支持.提出了一门新的面向构件语言SAJ,把构件,端口,连接子等软件体系结构概念引入到SAJ中.连接子与构件在SAJ中都是一阶实体,使得软件体系结构在底层实现中更加显式化,而且能更好地支持构件和连接子的复用.给出了SAJ语言的语法、语义和类型系统,并说明其具有类型安全性. The idea of a connector, which explicitly describes the interactions among components, is one of the important contributions of the research on software architecture. In this paper, we argue that such an important abstraction deserves first - class support from programming languages. We proposed a new component - oriented programming language SAJ（ Software Architecture -based Java）,which integrates some architectural concepts such as the component, the port and particularly the connector into SAJ. The connector is treated as a first - class entity in SAJ as is the component so that software architecture can be made more expficit at implementation level and the simultaneous reuse of the component and the connector can be realized. We formalize our language giving both the type system and operational semantics and show its soundness property.
作者 陈波 谭庆平 李舟军 陈火旺
机构地区 国防科技大学计算机学院 北京航空航天大学计算机学院
出处 《电子学报》 EI CAS CSCD 北大核心 2006年第B12期2462-2466,共5页 Acta Electronica Sinica
基金 国家自然科学基金(No.90104026 No.60473057 No.90604007)
关键词 软件体系结构 连接子 类型系统 software architecture connector type system
分类号 TN311 [电子电信—物理电子学]
  • 相关文献

参考文献8

  • 1C Szyperski. Component Software: Beyond Object-Oriented Programming [ M ]. Addison-Wesley, 2003.
  • 2Nikunj R Mehta, Nenad Medvidovic, and Sandeep Phadke. Towards a taxonomy of software connectors[A]. In Proc. International Conference on Software Engineering [ C ]. New York:ACM Press,2000.178 - 187.
  • 3Gavin Bierman, Alisdair Wren. First-class relationships in an object-oriented language[ A]. In Proc. European Conference on Object-Oriented Programming [ C ]. Glasgow : Springer, 2005,262 - 286.
  • 4陈波．基于软件体系结构的构件模型和语言研究[D]．湖南长沙：国防科技大学，2006．
  • 5Aldrich J, Sazawal V, Chambers C, Notkin D. Language support for connector abstractions [ A ]. In Proc. European Conference on Object-Oriented Programming [ C ]. Darmstadt : Springer, 2003.74- 102.
  • 6Kung-Kiu Lau, Peda Velasco Elizondo, ZhengWang. Exogenous connectors for software components [ A ]. In Proc. Eighth International SIGSOFT Symposium on Component-based Software Engineering [ C ]. St. Louis: Springer, 2005.90 - 106.
  • 7Cheoljoo Jeong and Sangduk Lee. Implementing software connectors through first-class methods [ A ]. In Proc. IEEE conference on system, man, and cybernetics [ C ]. Denver: IEEE, 2000.92 - 96.
  • 8Oussalah M, Smeda A, Khammaci T. An explicit definition of connectors for component-based software architecture [ A]. In Proc. IEEE International Conference on the Engineering of Computer Based Systems [ C ]. Bmo: IEEE, 2004.44 - 49.

同被引文献13

  • 1龚洪泉,赵文耘,徐如志,钱乐秋.基于Pi演算的构件演化研究[J].电子学报,2004,32(F12):238-242. 被引量：8
  • 2张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量：16
  • 3Bultan T,Fu X,Hull R,Su J. Conversation specification: A new approach to design and analysis of E-service composition[A]. In: Proceedings of the 12th International World Wide Web Conference [ C ]. Budapest, HUNGARY: Springer-Verlag, 2003.403 - 410.
  • 4Brogi A, Canal C, Pimentel E, Vallecillo A. Formalizing web service choreographies [ J ]. Electronic Notes in Theoretical Computer Science,2004,105(12) :73 - 49.
  • 5Bengt Nordstrom, Kent Petersson, Jan M. Smith. Programming in Martin-Lof Type Theory:An Introduction[M]. Oxford: Oxford University Press, 1999.
  • 6YuYu Yin, Ying Li, Shuiguang Deng, Kuangli, Jian Wu, XuXue Sun, Jian Jiang, ZhaoHui Wu. Automating service matchmaking using type theory [ A ]. Proceedings of the 2007 International Conference on Services Computing[ C ]. Salt Lake City, Utah, USA: Springer-Verlag, 2007.723 - 724.
  • 7Zhiwei Chen, Jian Wu, Shuiguang Deng, Ying Li, Zhaohui Wu. Describing and verifying web service using type theory [ A J. Proceedings of the 10th International Conference Computer Supported Cooperative Work in Design[ CJ. NanJing, China: Springer-Verlag, 2006.1 - 5.
  • 8The Coq Development Team. The Coq Proof Assistant Reference Manual ( Version 8.1 ) [ EB/OL]. http://coq, inria, fr/ V8. 1p13/refman/index, html,2006.
  • 9Brandt M, Henglein F. Coinductive axiomatization of recursive type equality and subtyping [ J ]. Fundamenta Informaticae, 1998,33(4) :309 - 338.
  • 10Bordeaux L, Salaun G. Using process algebra for Web services: Early results and perspectives [ A]. Proceedings of the 5th VLDB Workshop on Technologies for E-Services[C]. Toronto: Springer-Verlag, 2004.54 - 68.

引证文献1

二级引证文献17

电子学报
2006年 第B12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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