A temporal logic-based software architecture description language XYZ/ADL The Architecture Description Language (ADL) is the foundation of software development based on software architecture. An ADL supporting stepwise refinement can make it more convenient that a good design leads to a good implementation. The architecture description language XYZ/ADL can support the stepwise transition from higher-level architectures to lower-level architectures, because it is based on the temporal logic language XYZ/E, which can represent both dynamic semantics and static semantics under a unified logical framework. In this paper, the framework and syntax of XYZ/ADL is presented and its underlying semantics is explained using XYZ/E, and how to describe software architecture and software architecture style using XYZ/ADL is introduced.
Keywords for this software
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Tao, Zhi-Hong; Büning, Hans Kleine; Wang, Li-Fu: Direct model checking matrix algorithm (2006)
- Zhu, Xue-Yang; Tang, Zhi-Song: A temporal logic-based software architecture description language XYZ/ADL (2003)