计算机应用研究

作者：李宗花,李必信,

单位：1.淮阴师范学院计算机科学与技术学院,江苏淮安223300；2.东南大学计算机科学与工程学院,南京211189；

关键词：GRL模型,范畴论,模型形式化,模型正确性验证,

基金：江苏省高校自然科学研究面上项目(18KJB520006)；国家自然科学基金资助项目(61902141,41471425)；教育部人文社会科学研究青年基金项目(19YJCZH095)；淮安市科技计划资助项目(HABZ201701)；；

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

来源：2020年第5期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2020年第5期