Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing

2020 IEEE 19th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC) Pub Date : 2020-09-26 DOI:10.1109/ICCICC50026.2020.9450275

James Y. Xu, Yingxu Wang

{"title":"Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing","authors":"James Y. Xu, Yingxu Wang","doi":"10.1109/ICCICC50026.2020.9450275","DOIUrl":null,"url":null,"abstract":"Autonomous software requirement analysis and generation are a persistent challenge to theories and technologies of software engineering. A cognitive system is demanded to automatically elicit and rigorously refine informal software requirements in natural language descriptions into formal specifications. This paper presents a novel software requirements elicitation methodology based on latest advances in software science and denotational mathematics such as semantic algebra and concept algebra. It is found that user requirements for a software system in natural language may be either expressed in to-be sentences for software structures or to-do sentences for software behaviors. Thus, formal software requirements may be elicited by two sets of structural and functional models. This approach is implemented by a tool for Formal Requirement Elicitation and Analysis (FREA). Experimental results demonstrate that the FREA tool may rigorously elicit and generate formal requirements for arbitrary software systems specified in real-time process algebra (RTPA) or equivalent notations. This technology paves a way towards autonomous code generation in software engineering.","PeriodicalId":212248,"journal":{"name":"2020 IEEE 19th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 IEEE 19th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCICC50026.2020.9450275","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

Abstract

Autonomous software requirement analysis and generation are a persistent challenge to theories and technologies of software engineering. A cognitive system is demanded to automatically elicit and rigorously refine informal software requirements in natural language descriptions into formal specifications. This paper presents a novel software requirements elicitation methodology based on latest advances in software science and denotational mathematics such as semantic algebra and concept algebra. It is found that user requirements for a software system in natural language may be either expressed in to-be sentences for software structures or to-do sentences for software behaviors. Thus, formal software requirements may be elicited by two sets of structural and functional models. This approach is implemented by a tool for Formal Requirement Elicitation and Analysis (FREA). Experimental results demonstrate that the FREA tool may rigorously elicit and generate formal requirements for arbitrary software systems specified in real-time process algebra (RTPA) or equivalent notations. This technology paves a way towards autonomous code generation in software engineering.

查看原文本刊更多论文

基于语义代数和认知计算的形式化软件需求提取

自主软件需求分析和生成是对软件工程理论和技术的持续挑战。需要一个认知系统来自动引出并严格地将自然语言描述中的非正式软件需求提炼成正式的规范。基于软件科学和指称数学的最新进展，如语义代数和概念代数，提出了一种新的软件需求引出方法。研究发现，在自然语言中，用户对软件系统的需求既可以用将来句来表示软件结构，也可以用要做句来表示软件行为。因此，正式的软件需求可以由两组结构和功能模型引出。这种方法是由正式需求引出和分析(FREA)工具实现的。实验结果表明，FREA工具可以严格地推导和生成在实时过程代数(RTPA)或等效符号中指定的任意软件系统的形式化需求。该技术为软件工程中的自主代码生成铺平了道路。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2020 IEEE 19th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

自引率

0.00%

发文量