Research of Software Architecture Based on the Temporal Logic Language XYZ/E(I)——Description of Components and Connectors
Zhang Guang · 2001
XYZ/E is the first executable temporal logic language,which can represent both of the static and dynamic aspects of program.It can describe architecture in different abstract levels.In this paper,XYZ/E is used to describe basic components and connectors of software architecture.It provides a basic for describing architecture styles.