业务目标模型与业务场景模型的语义一致性分析

• 作者: 叶正伟 李宗花
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 业务目标模型 业务场景模型 范畴论 Petri网 语义一致性
• 年，卷（期）: 2019,（12）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 308-313
• 页数: 6页
• 分类号: TP311
• 字数: 5822字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0053025

摘要

多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性.鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法.分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型,通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列,设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤.Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	叶正伟	淮阴师范学院城市与环境学院	36	245	9.0	14.0
2	李宗花	淮阴师范学院计算机科学与技术学院	13	48	5.0	6.0