基于范畴论的业务目标模型形式化

分类： 计算机科学 >> 计算机科学的集成理论 提交时间： 2019-04-01 合作期刊: 《计算机应用研究》

李宗花 李必信

摘要： 面向目标需求语言模型（goal-oriented requirement language，GRL）聚焦于待定的需求，被广泛地应用于业务系统的初始需求建模，其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性，提出了一种利用范畴论形式化GRL模型的方法。首先，依据GRL元模型结构，应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系；然后，通过增加范畴模型中的初始对象和终止对象，设计紧邻序列来表示多个目标与任务实施的因果关系；最后，设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明，形式化业务范畴模型能够验证GRL模型的正确性，提高目标建模的质量。

 点击量 1121  下载量 629  评论