计算机工程

作者：李宗花, 叶正伟

单位：1. 淮阴师范学院 a. 计算机科学与技术学院;b. 城市与环境学院, 江苏 淮安 223300;2. 东南大学 计算机科学与工程学院, 南京 211189

关键词：业务目标模型,业务场景模型,范畴论,Petri网,语义一致性

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

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

来源：2019年第12期

《计算机工程》期刊编辑部

查看计算机工程杂志2019年第12期