3 |
A Temporal Logic-Based Software Architecture Description Language XYZ/ADL
|
|
|
|
In: http://www.jos.org.cn/1000-9825/14/713.pdf
|
|
Abstract:
Zhu XY, Tang ZS. A temporal logic-based software architecture description language XYZ/ADL. Journal of Software, 2003,14(4):713~720. Abstract: 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 (TLL) 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. Key words: software architecture; architecture description language; temporal logic language XYZ/E; specification 摘 要: 体系结构描述语言(architecture description language,简 称 ADL)是基于体系结构的软件开发的基础,便
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.550.9924 http://www.jos.org.cn/1000-9825/14/713.pdf
|
|
BASE
|
|
Hide details
|
|
|
|