摘要
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.
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.
出处
《计算机科学》
CSCD
北大核心
2003年第5期1-3,11,共4页
Computer Science
基金
上海市教委重点学科建设项目资助
