摘要
作为软件体系结构的重要贡献之一,连接子显式地描述了构件之间的交互.本文认为连接子的重要性值得我们在程序设计语言中加以支持.提出了一门新的面向构件语言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)