This paper provides a formalized definition of the application problem of compound condition query （CCQ） and a formal method of applying requirements elicitation based on trace information space derived from trace a...This paper provides a formalized definition of the application problem of compound condition query （CCQ） and a formal method of applying requirements elicitation based on trace information space derived from trace algebra. With the formalized process of solving the application problem of CCQ, formal requirements specification of application of CCQ is given, a formalized and automatic mapping of the results of requirements elicitation to the formal requirements specification is performed, the software system model and the application code are developed. Through a sample application of comprehensive query on housing information, the feasibility of formalized and automatic software development for the application problem of CCQ is proved. The result has important implications for the other problems regarding formalization and automatic software development.展开更多
On the basis of researching on requirement product configuration in mass customization, the concept of product family requirement class （PFRC） and requirement-matching template are put forward. A case-based requirem...On the basis of researching on requirement product configuration in mass customization, the concept of product family requirement class （PFRC） and requirement-matching template are put forward. A case-based requirement product configuration （CB-RPC） model and corresponding requirement product model are established. The result of requirement product configuration is obtained by using the method of two-level similar matching. In addition, the effect of the method on requirement responding is analyzed. Finally, the model and the method given are applied in elevator industry, and have improved the enterorise＇s ability of rapid responding to customer＇s reouirements.展开更多
基金supported by the Open Fund for National Engineering Laboratory for E-Government Modeling and Emulation
文摘This paper provides a formalized definition of the application problem of compound condition query （CCQ） and a formal method of applying requirements elicitation based on trace information space derived from trace algebra. With the formalized process of solving the application problem of CCQ, formal requirements specification of application of CCQ is given, a formalized and automatic mapping of the results of requirements elicitation to the formal requirements specification is performed, the software system model and the application code are developed. Through a sample application of comprehensive query on housing information, the feasibility of formalized and automatic software development for the application problem of CCQ is proved. The result has important implications for the other problems regarding formalization and automatic software development.
基金This project is supported by National Basic Research Program of China (973 Program, No.2004CB719402)National Natural Science Foundation of China(No.50475072, No.50275133)National Hi-tech Research and Development Program of China(863 Program, No.2003-AA411320).
文摘On the basis of researching on requirement product configuration in mass customization, the concept of product family requirement class （PFRC） and requirement-matching template are put forward. A case-based requirement product configuration （CB-RPC） model and corresponding requirement product model are established. The result of requirement product configuration is obtained by using the method of two-level similar matching. In addition, the effect of the method on requirement responding is analyzed. Finally, the model and the method given are applied in elevator industry, and have improved the enterorise＇s ability of rapid responding to customer＇s reouirements.
