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

被引：0
作者：
Yang Yuchen [1 ,2 ]
Wang Xiaofang [1 ,2 ]
Yin Guisheng [1 ]
机构：
[1] College of Computer Science and Technology,Harbin Engineering University
[2] National Engineering Laboratory for E-Government Modeling and Emulation,Harbin Engineering University
来源：
The Journal of China Universities of Posts and Telecommunications | 2017年 / 02期
关键词：
automatic programming; formal specification; requirements-based programming; compound condition query;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：18 / 30
页数：13
相关论文
共 6 条
  • [1] 支持分布式大数据应用建模的模型理论
    张文燚
    项连志
    王小芳
    [J]. 哈尔滨工程大学学报, 2015, 36 (05) : 671 - 677
  • [2] 支持高效查询检索的大数据资源描述模型
    张文燚
    项连志
    王小芳
    [J]. 哈尔滨工程大学学报, 2014, 35 (05) : 594 - 601
  • [3] 大数据分区管理模型及其应用研究
    张文燚
    项连志
    王小芳
    [J]. 哈尔滨工程大学学报, 2014, 35 (03) : 353 - 360
  • [4] Bridging the gap between requirements and design: An approach based on Problem Frames and SysML[J] . Pietro Colombo,Ferhat Khendek,Luigi Lavazza. The Journal of Systems & Software . 2011 (3)
  • [5] A requirements-based programming approach to developing a NASA autonomous ground control system[J] . Artificial Intelligence Review . 2007 (4)
  • [6] Specifying and executing behavioral requirements: the play-in/play-out approach[J] . David Harel,Rami Marelly. Software and Systems Modeling . 2003 (2)
1