Requirements specification patterns have received much attention as they promise to guide the structured specification of natural language requirements. By using them, the intention is to reduce quality problems related to requirements artifacts. Patterns may need to vary in their syntax (e.g. domain details/ parameter incorporation) and semantics according to the particularities of the application domain. However, pattern-based approaches, such as EARS, are designed domain-independently to facilitate their wide adoption across several domains. Little is yet known about how to adopt the principle idea of pattern-based requirements engineering to cover domain-specificity in requirements engineering and, ideally, integrate requirements engineering activities into quality assurance tasks. In this paper, we propose the Pattern-based Domain-specific Requirements Engineering Approach for the specification of functional and performance requirements in a holistic manner. This approach emerges from an academia-industry collaboration and is our first attempt to frame an approach which allows for analyzing domain knowledge and incorporating it into the requirements engineering process enabling automated checks for requirements quality assurance and computer-aided support for system verification. Our contribution is two-fold: First, we present a solution to pattern-based domain-specific requirements engineering and its exemplary integration into quality assurance techniques. Second, we showcase a proof of concept using a tool implementation for the domain of flight controllers for Unmanned Aerial Vehicles. Both shall allow us to outline next steps in our research agenda and foster discussions in this direction.
翻译:需求规范模式因其有望指导自然语言需求的规范化编写而备受关注。通过使用这些模式,旨在减少与需求工件相关的质量问题。模式可能在语法(例如领域细节/参数整合)和语义上因应用领域的特殊性而需要变化。然而,诸如EARS等基于模式的方法在设计时独立于领域,以促进其在多个领域中的广泛采用。目前尚不清楚如何将基于模式的需求工程原则思想扩展到覆盖需求工程中的领域特定性,并理想地将需求工程活动集成到质量保证任务中。本文提出了一种基于模式的领域特定需求工程方法,以整体方式规范功能需求和性能需求。该方法源于学术界与工业界的合作,是我们首次尝试构建一种能够分析领域知识并将其融入需求工程过程的方法,从而支持需求质量保证的自动化检查以及系统验证的计算机辅助支持。我们的贡献有两个方面:首先,我们提出了一种基于模式的领域特定需求工程解决方案,并将其示例性地集成到质量保证技术中;其次,我们通过针对无人飞行器飞行控制器领域的工具实现展示了概念验证。这两项工作应能帮助我们勾勒研究议程的下一步方向,并促进该方向的讨论。