通过状态转移模型交叉检验来改进 UML 需求分析模型中行为流的验证方法
软件工程
2021-03-02 v1
摘要
我们提出一种通过从不同视角比较模型来评估并改进需求规约有效性的方法。不一致性从分析师基于初始需求定义服务流程的模型中自动提取；此后，分析师将其与由不同于分析师的评估者基于相同初始需求创建的状态转移模型自动比较。所识别的不一致性被报告给分析师，以便改进需求规约。我们开发了用于提取与比较的工具，并通过将该 method 应用于一个需求规约示例来讨论其有效性。
引用
@article{arxiv.2103.00781,
title = {validation method to improve behavioral flows on uml requirements analysis model by cross-checking with state transition model},
author = {Hikaru Morita and Saeko Matsuura},
journal= {arXiv preprint arXiv:2103.00781},
year = {2021}
}