.png){kind=icon}
返回
Elaborating Requirements Using Model Checking and Inductive Learning
.png){kind=icon}
PRE
AI
DOI：10.1109/TSE.2012.41.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The process of Requirements Engineering (RE) includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. In this paper, we propose a formal, systematic approach for generating a set of operational requirements that are complete with respect to given goals. We show how the integration of model checking and inductive learning can be effectively used to do this. The model checking formally verifies the satisfaction of the goals and produces counterexamples when incompleteness in the operational requirements is detected. The inductive learning process then computes operational requirements from the counterexamples and user-provided positive examples. These learned operational requirements are guaranteed to eliminate the counterexamples and be consistent with the goals. This process is performed iteratively until no goal violation is detected. The proposed framework is a rigorous, tool-supported requirements elaboration technique which is formally guided by the engineer's knowledge of the domain and the envisioned system.
Keyword:
Requirements elaboration
goal operationalization
behavior model refinement
model checking
inductive learning
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
引用论文
Development of summary indices of antenatal care service quality in Haiti, Malawi and Tanzania.png)
BMJ Open
OAAI
BMJ OpenIF0
OAAI分享收藏
分享收藏Linking the Crime and Arrest Processes to Measure Variations in Individual Arrest Risk per Crime (Q)
PREAI
分享收藏
查看更多内容