中国邮电高校学报(英文) ›› 2017, Vol. 24 ›› Issue (2): 18-30.doi: 10.1016/S1005-8885(17)60195-X

• Artificial Intelligence • 上一篇    下一篇

Research on formalization of efficient query application problems with compound condition in software development

杨宇晨 Wang Xiaofang Yin Guisheng   

  1. 电子政务建模仿真国家工程实验室
  • 收稿日期:2016-12-01 修回日期:2017-04-10 出版日期:2017-04-30 发布日期:2017-04-30
  • 通讯作者: 杨宇晨 E-mail:yangyuchen521_1979@aliyun.com
  • 基金资助:
    电子政务建模仿真国家工程实验室

Research on formalization of efficient query application problems with compound condition in software development

Yu-Chen YANG   

  • Received:2016-12-01 Revised:2017-04-10 Online:2017-04-30 Published:2017-04-30
  • Contact: Yu-Chen YANG E-mail:yangyuchen521_1979@aliyun.com
  • 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.

关键词: automatic programming, formal specification, requirements-based programming, compound condition query

Abstract: 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.

Key words: automatic programming, formal specification, requirements-based programming, compound condition query

中图分类号: