作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2019, Vol. 45 ›› Issue (12): 308-313. doi: 10.19678/j.issn.1000-3428.0053025

• 开发研究与工程应用 • 上一篇    下一篇

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

李宗花1a,2, 叶正伟1b   

  1. 1. 淮阴师范学院 a. 计算机科学与技术学院;b. 城市与环境学院, 江苏 淮安 223300;
    2. 东南大学 计算机科学与工程学院, 南京 211189
  • 收稿日期:2018-10-30 修回日期:2018-12-29 发布日期:2019-01-22
  • 作者简介:李宗花(1981-),女,副教授、博士,主研方向为模型驱动开发、形式化方法;叶正伟,教授、博士。
  • 基金资助:
    国家自然科学基金(61902141,41471425);教育部人文社会科学研究青年基金(19YJCZH095);江苏省高校自然科学研究面上项目(18KJB520006);淮安市科技计划项目(HABZ201701)。

Semantic Consistency Analysis of Business Objective Model and Business Scenario Model

LI Zonghua1a,2, YE Zhengwei1b   

  1. 1a. School of Computer Science and Technology;1b. School of Urban and Environmental Sciences, Huaiyin Normal University, Huai'an, Jiangsu 223300, China;
    2. School of Computer Science and Engineering, Southeast University, Nanjing 211189, China
  • Received:2018-10-30 Revised:2018-12-29 Published:2019-01-22

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

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

Abstract: Multi-level and multi-view modeling is commonly used for business modeling in scenarios without specific requirements,but the semantic inconsistency between models of different levels or views can affect the integrity of business models.To address the problem,the paper proposes a semantic consistency verification method for business objective model and business scenario model.The method represents the two kinds of models respectively with the category model and extended Petri net model,and defines the nearest neighbor sequence of formalized business objective models and execution order sequence of formalized business scenario models.On this basis,the verification conditions and steps of complete,partial and weak semantic consistency between the two kinds of models are designed.Consistency verification results of Travel Agency business system demonstrate the feasibility and effectiveness of the proposed method.

Key words: business objective model, business scenario model, category theory, Petri net, semantic consistency

中图分类号: