体系结构描述语言XADL和组合失配检测

被引:6
作者
张波
冯玉琳
黄涛
机构
[1] 中国科学院软件研究所 计算机科学重点实验室
[2] 中国科学院软件研究所 软件工程技术研究开发中心 北京
[3] 北京
关键词
构件; 接口; 有限自动机; 软件体系结构; 组合失配;
D O I
10.13328/j.cnki.jos.2002.12.004
中图分类号
TP311.53 [];
学科分类号
081202 ; 0835 ;
摘要
在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-messagebased architecture description language),支持对构件交互协议和构件组合关系的描述,在此基础上给出了组合失配的定义和检测算法.XADL不仅丰富了构件的接口语义,能够有效地避免组合失配问题,并且便于实现系统的运行监控、性能分析和动态调整.
引用
收藏
页码:2238 / 2243
页数:6
相关论文
共 2 条
[1]   Protocol specifications and component adaptors [J].
Yellin, DM ;
Strom, RE .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02) :292-333
[2]   ON COMMUNICATING FINITE-STATE MACHINES [J].
BRAND, D ;
ZAFIROPULO, P .
JOURNAL OF THE ACM, 1983, 30 (02) :323-342