Research of Software Architecture Based on the Temporal Logic Language XYZ/E (II)──A description of typical architecture styles
Guangquan Zhang · 2002
XYZ/E is the first executable temporal logic language,which can desribe abstract static semantics and also express programming dynamic semantics.This characteristic can be applied to describe software architecture in different levels. In , XYZ/E is used to describe basic components and connectors of software architecture.This paper discusses the specific combination of the components and connectors to show several important styles of software architecture.