XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications in the same framework, so that the specification and imp...XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications in the same framework, so that the specification and implementation of software systems are very convenient. A specification and an implementation of the Steam Boiler Control Specification Problem in XYZ/E is presented in this paper. A visual user interface is also implemented.展开更多
The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to...The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.展开更多
Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of ...Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of software engineering. In this paper,our research work focus on refinement methods of software architecture. By studying the several refinement methods for software architectural design,we present a component-based refinement method that refines an architectural design by replacing a component's static semanucs to its dynamic semantics.展开更多
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...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.展开更多
基金Supported by the National Natural Science Foundation of China under Grant No.60073020 (国家自然科学基金)the National High Technology Development 863 Program of China under Grant No.863-306-ZT02-04-01 (国家863高科技发展计划)
文摘XYZ/E is a temporal logic system as well as a programming language. The temporal logic language XYZ/E can represent both high level and low level specifications in the same framework, so that the specification and implementation of software systems are very convenient. A specification and an implementation of the Steam Boiler Control Specification Problem in XYZ/E is presented in this paper. A visual user interface is also implemented.
文摘The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.
文摘Software architecture is the highest-level abstraction of a system. It provides a model of the large-scale structural properties of systems. Recently, software architecture has been an important research sub-field of software engineering. In this paper,our research work focus on refinement methods of software architecture. By studying the several refinement methods for software architectural design,we present a component-based refinement method that refines an architectural design by replacing a component's static semanucs to its dynamic semantics.
文摘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.
