%0 Journal Article
%T Research on Formal Specification of Software Architecture Based on Temporal Logic<br>基于时序逻辑软件构架形式化方法研究
%A REN Hong-Min ZHU Cheng QIAN Le-Qiu
%A <br>任洪敏
%A 朱承
%A 钱乐秋
%J 计算机科学
%D 2003
%I 
%X Development based on software architecture is one of the most effective solutions to improve software quality and productivity, and minimize the difficulties of developing large and complex systems. Formal models and specifications of software architecture are one of the key research areas of software architecture. In this paper, the extension of XYZ/E Language based on set theory, called XYZ/E+ Language, is proposed, and a method of formalizing software architecture whit it is formulated. The formal method is distinguished by its ability to represent not only static properties but also dynamic behaviors, and its high-level abstraction and powerful expressiveness. Finally, through an example of formalizing software architecture of a specific system with XYZ/E + Language, its powerful modeling ability and good practicality are demonstrated.
%K Software architecture
%K Software architecture modeling
%K Formalization
%K Temporal logic
%K XYZ/E<br>软件工程
%K 软件系统
%K 时序逻辑
%K 软件构架形式方法
%K XYZ／E语言
%K 软件设计模式
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B21DF2980CA2E09D&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=94C357A881DFC066&sid=CA4FD0336C81A37A&eid=38B194292C032A66&journal_id=1002-137X&journal_name=计算机科学&referenced_num=4&reference_num=10