Full-Text Search:
Home|About CNKI|User Service|中文
Add to Favorite Get Latest Update

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 .
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©CNKI All Rights Reserved