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具备广泛认可的软件体系结构描述语言的特征。
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具备广泛认可的软件体系结构描述语言的特征。
应用推荐