一门新的面向构件语言

• 作 者: 陈波 谭庆平 李舟军 陈火旺
• 机 构: 国防科技大学计算机学院,北京航空航天大学计算机学院
• 出 处: 电子学报
• 发表日期: 2006年B12期
• 关键词: 软件体系结构 连接子 类型系统 software architecture connector type system
• 基金项目: 国家自然科学基金（No.90104026,No.60473057,No.90604007）

作为软件体系结构的重要贡献之一，连接子显式地描述了构件之间的交互．本文认为连接子的重要性值得我们在程序设计语言中加以支持．提出了一门新的面向构件语言SAJ，把构件，端口，连接子等软件体系结构概念引入到SAJ中．连接子与构件在SAJ中都是一阶实体，使得软件体系结构在底层实现中更加显式化，而且能更好地支持构件和连接子的复用．给出了SAJ语言的语法、语义和类型系统，并说明其具有类型安全性．