| 本文已被：浏览 4173次 下载 6526次 |
码上扫一扫！ |
|
|
| 体系结构描述语言XADL和组合失配检测 |
|
张波1,2, 冯玉琳1,2, 黄涛1,2
|
|
1.中国科学院软件研究所计算机科学重点实验室,北京,100080;2.中国科学院软件研究所软件工程技术研究开发中心,北京,100080
|
|
| 摘要: |
| 在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-messagebased architecture description language),支持对构件交互协议和构件组合关系的描述,在此基础上给出了组合失配的定义和检测算法.XADL不仅丰富了构件的接口语义,能够有效地避免组合失配问题,并且便于实现系统的运行监控、性能分析和动态调整. |
| 关键词: 构件 接口 有限自动机 软件体系结构 组合失配 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69833030):国家863高科技发展计划资助项目(863-306-ZD02-01-1) |
|
| The Architecture Description Language XADL and Architectural Mismatch Checking |
|
ZHANG Bo,FENG Yu-lin,HUANG Tao
|
| Abstract: |
| By the currently developed component models and standards, the component interfaces convey only limited semantics and the interaction protocol among components is hidden within the implementations, which may result in the problem of architectural mismatches, also make these components in difficulty to reuse, validate and manage. In this paper, an XML-message based architecture description language (XADL) is outlined, which supports the description of explicit interaction protocols and the composing relations of components. Based on the XADL, the notion of architectural mismatch is introduced and shows how it can be checked. The XADL enhances the descriptive capacity of interfaces, prevents systems from potential architectural mismatches, and facilities the implementation of system monitor, performance analysis and dynamic tuning. |
| Key words: component interface finite-state automata software architecture architectural mismatch |
