-
题名基于范畴论的业务目标模型形式化
- 1
-
-
作者
李宗花
李必信
-
机构
淮阴师范学院计算机科学与技术学院
东南大学计算机科学与工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2020年第5期1445-1449,共5页
-
基金
江苏省高校自然科学研究面上项目(18KJB520006)
国家自然科学基金资助项目(61902141,41471425)
+1 种基金
教育部人文社会科学研究青年基金项目(19YJCZH095)
淮安市科技计划资助项目(HABZ201701)。
-
文摘
面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。
-
关键词
GRL模型
范畴论
模型形式化
模型正确性验证
-
Keywords
GRL model
category theory
model formalization
model correctness verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
