Research on Formal Specification of Software Architecture Based on Temporal Logic

任洪敏,朱承,钱乐秋
DOI: https://doi.org/10.3969/j.issn.1002-137X.2003.05.001
2003-01-01
Computer Science
Abstract: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.
What problem does this paper attempt to address?