Learning operational requirements from goal models
Learning operational requirements from goal models
复制标题
DOI：
10.1109/icse.2009.5070527
复制
发表时间：
2009-05
期刊：
影响因子：
--
通讯作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
中科院分区：
文献类型：
--
作者：
Dalal Alrajeh;J. Kramer;A. Russo;Sebastián Uchitel
面向目标的方法越来越被认为是一种有效的手段，用于引出，阐述，分析和指定软件需求。这些方法中的一个关键活动是以先决条件和先决条件的形式详细阐述一套正确而完整的操作要求，以保证系统目标的实现。很少有现有的方法为这一关键任务提供支持，主要依赖于工程师的大量努力和专业知识。在本文中，我们提出了一个基于工具的框架，结合模型检查，归纳学习和场景，详细说明从目标模型的操作要求。这是一个迭代过程，需要工程师从反例中识别正面和负面的场景到目标，使用模型检查生成，并从归纳学习计算的建议中选择操作要求。
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these approaches is the elaboration of a correct and complete set of opertional requirements, in the form of pre- and trigger-conditions, that guarantee the system goals. Few existing approaches provide support for this crucial task and mainly rely on significant effort and expertise of the engineer. In this paper we propose a tool-based framework that combines model checking, inductive learning and scenarios for elaborating operational requirements from goal models. This is an iterative process that requires the engineer to identify positive and negative scenarios from counterexamples to the goals, generated using model checking, and to select operational requirements from suggestions computed by inductive learning.