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

• 作者: 李宗花 李必信
• 来源期刊: 计算机应用研究
• 关键词: GRL模型 范畴论 模型形式化 模型正确性验证
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 系统应用开发
• 页码范围: 1445-1449
• 页数: 5页
• 分类号: TP311
• 语种: 中文
• DOI: 10.19734/j.issn.1001-3695.2018.10.0822

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李必信	东南大学计算机科学与工程学院	39	305	9.0	15.0
2	李宗花	淮阴师范学院计算机科学与技术学院	13	48	5.0	6.0