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

随着软件系统的规模和复杂性日益增加,人们已经超越传统的“算法+数据结构=程序”的软件设计模式,软件系统的整体结构,即软件构架(Software Architecture)成为软件设计的重心和难点。运用形式化方法描述大规模、复杂软件系统的构架,能够阐明软件系统的真实内涵,有助于系统设计人员和相关人员更准确地了解系统,达成共识,避免误解。但更重要的是,形式化描述软件构架奠定了利用数学方法对软件构

Effects of lysine levels on the growth performance,serum urea nitrogen and free lysine contents of piglets

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.