AFSCR：i* 模型中功能满足条件的标注及其协调
软件工程
2019-05-14 v1
摘要
背景：工业界和学术界的研究人员都面临着将面向目标的需求工程（GORE）技术的优势用于业务合规管理的挑战。这需要分析目标模型及其语义。然而，大多数著名的目标建模框架无法捕获目标的语义（除其命名所平凡传达的内容外）。目标：在本文中，我们提出功能满足条件的标注及其协调（AFSCR）框架以达成此目的。整个框架针对 i* 建模构造给出。方法：这是一个半自动化框架，需要分析人员用各自的即时目标满足条件标注各个目标。然后 AFSCR 框架可以协调这些满足条件，并验证推导出的累积满足条件集合是否与预期的目标满足条件集合一致。结果：如果推导出的与预期的目标满足条件集合冲突，框架会发出蕴含和/或一致性标志。每当标志出冲突时，框架还通过重构给定的 i* 模型向分析人员提供替代解决方案和可能的变通策略。结论：在本文中我们提出一个新框架，利用满足条件超越命名而捕获 i* 模型中目标的功能语义。协调过程中执行的分析具有足够的通用性，如有需要可适配于任何目标建模框架。
引用
@article{arxiv.1905.04777,
title = {AFSCR: Annotation of Functional Satisfaction Conditions and their Reconciliation within i* models},
author = {Novarun Deb and Nabendu Chaki},
journal= {arXiv preprint arXiv:1905.04777},
year = {2019}
}