论文摘要
多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型,通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列,设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。
论文目录
文章来源
类型: 期刊论文
作者: 李宗花,叶正伟
关键词: 业务目标模型,业务场景模型,范畴论,语义一致性
来源: 计算机工程 2019年12期
年度: 2019
分类: 信息科技
专业: 计算机软件及计算机应用
单位: 淮阴师范学院计算机科学与技术学院,东南大学计算机科学与工程学院,淮阴师范学院城市与环境学院
基金: 国家自然科学基金(61902141,41471425),教育部人文社会科学研究青年基金(19YJCZH095),江苏省高校自然科学研究面上项目(18KJB520006),淮安市科技计划项目(HABZ201701)
分类号: TP391.1;TP301.1
DOI: 10.19678/j.issn.1000-3428.0053025
页码: 308-313
总页数: 6
文件大小: 1154K
下载量: 110