A Software Architecture Description Approach Based on the Temporal Logic Language XYZ/E
ZHANG Guang-quan, TANG Zhi song (Key Lab. of Computer Science, Institute of Software,The Chinese Academy of Sciences, Beijing 100080 ,China)
XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program. It can describes architecture in different abstract levels. In this paper, XYZ/E is used to describe software architecture, specifically the components, connectors and architecture styles .