资料下载
×
基于业务目标和业务场景的语义一致性验证方法
消耗积分:0 |
格式:pdf |
大小:1.18 MB |
2021-05-19
分享资料个
多层次多视图模型是在不确定需求环境下进行业务建模的主要方法，不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此，设计一种业务目标模型与业务场景模型的语义一致性验证方法分别以范畴模型和扩展Peτi网模型代表业务目标模型和业务场景模型，通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列，设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。 Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
