The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.

对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。

youdao