XYZ/ADL

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

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Tao, Zhi-Hong; B√ľning, Hans Kleine; Wang, Li-Fu: Direct model checking matrix algorithm (2006) ioport
  2. Zhu, Xue-Yang; Tang, Zhi-Song: A temporal logic-based software architecture description language XYZ/ADL (2003)