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

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