A Formalization Description Method for Software Architecture
In order to describe the dynamic property behavior of the software architecture precisely, this paper presents a unified framework of the software architecture based on LTL, constrains the elements of architecture and the connective relationship among the elements through the method of formalization description. The method proposed is verified by the example of TRIMCS, and the state behavior of system is deduced. So it provides theory foundation to analyze and validate the dynamic behavior of software architecture.
linear temporal logic software architecture formalization description
Qingyan Kong
College of Computer and Information Engineering,Harbin University of Commerce,Harbin,China
国际会议
太原
英文
38-40
2011-02-26（万方平台首次上网日期，不代表论文的发表时间）