A Software Architecture Description Approach Based on the Temporal Logic Language XYZ/E
Guangquan Zhang · Journal of Huaiyin Teachers College · 2002
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 .