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

在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于xml消息的体系结构描述语言xadl(xml-messagebasedarchitecturedescriptionlanguage),支持对构件交互协议和构件组合关系的描述,在此基础上给出了组合失配的定义和检测算法.xadl不仅丰富了构件的接口语义,能够有效地避免组合失配问题,并且便于实现系统的运行监控、性能分析和动态调整.