基于时序逻辑软件构架形式化方法研究

作     者：任洪敏 朱承 钱乐秋 REN Hong-Min ZHU Cheng QIAN Le-Qiu (Department of Computer Science and Technology ,Fudan University,Shanghai 200433)

作者机构：复旦大学计算机科学系软件工程实验室上海200433 

基　　金：上海市教委重点学科建设项目资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2003年第30卷第5期

页      码：1-3,11页

摘      要：Development based on software architecture is one of the most effective solutions to improve software qual-ity and productivity, and minimize the difficulties of developing large and complex systems. Formal models and speci-fications of software architecture are one of the key research areas of software architecture. In this paper, the exten-sion of XYZ/E Language based on set theory, called XYZ/E+ Language, is proposed, and a method of formalizingsoftware architecture whit it is formulated. The formal method is distinguished by its ability to represent not onlystatic 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 powerfulmodeling ability and good practicality are demonstrated.

主 题 词：软件工程 软件系统 时序逻辑 软件构架形式方法 XYZ/E语言 软件设计模式 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2003.05.001

馆 藏 号：203115619...