体系结构描述语言XYZ/ADL到UML的映射

作者：陈琳琳; 戎玫; 张广泉

来源：计算机应用, 2006, (02): 468-471.

• 软件体系结构
• 形式化描述
• 可视化描述
• XYZ/ADL
• UML software architecture description
• formal description
• visual description
• UML

选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL,分析了其设计元素和UML建模元素的语义,并通过UML扩展机制和对象约束语言进行扩展和约束,建立起从XYZ/ADL到UML的映射。

• 单位
  暨南大学深圳旅游学院; 中国科学院软件研究所; 苏州大学; 计算机科学国家重点实验室