【摘 要】
：
多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景
【机 构】
：
淮阴师范学院计算机科学与技术学院,淮阴师范学院城市与环境学院,东南大学计算机科学与工程学院
【基金项目】
：
国家自然科学基金(61902141,41471425);教育部人文社会科学研究青年基金(19YJCZH095);江苏省高校自然科学研究面上项目(18KJB520006);淮安市科技计划项目(HABZ201701)
论文部分内容阅读
多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型,通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列,设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。
其他文献
动力电池管理系统是电动汽车中的关键组成部分之一。电动汽车中存在着大功率IGBT以及驱动电机等产生大量电磁噪声的设备，对与动力电池管理系统而言，若不利用金属机箱对其进行电
站台空间既是旅客到达时对城市最初记忆,也是离开城市时的最后印象,无论是在现实生活中,还是在影视作品里,多少的相逢别离、荡气回肠,发生在雨棚下、站台上、列车前。铁路客
义务教育数学课程标准及其相关教材的修订,对当前小学数学教学改革具有纲领性和方向性的引导作用。广大数学教师不仅要认真学习和梳理修订的精髓,更要从自身的教学实际出发,
本论文主要是对纤维素酶高产菌株的筛选及产酶条件的研究，以绿色木霉的7株菌为出发菌株，通过种子培养基和发酵培养基的处理，分别测其C1、CX、CB和滤纸的酶活大小以及纤维素、木
对学生进行学业评价是教育教学的常规工作，具有很强的导向性。课程改革以来，数学和教学改革风生水起，但是，学生学业质量的评价改革却举步维艰，透析其中的原因并找寻改革的突破点，是
目前中国快速的社会变化给市场带来了巨大的发展动力,与此同时也带来了各种矛盾,这成为当下社会加强治理工作的重要原因。作为国家治理体系的末端,乡村基层社会治理的难度明
毛喉鞘蕊花[Coleus forskohlii（Wild.）Briq.]系唇形科（Labiatae）鞘蕊花属（Coleus Lour）植物，主要分布于印度和中国云南省。该植物在古印度被称为“万灵药”，长期用于治疗咳嗽、心脏病
历来多次国际战争中经常看到地地弹道导弹的身影。因其威力大、射程远和高精度等特点，自问世以来受到世界各国的高度重视。地地弹道导弹的轨迹是在发射前确定的，因此对其轨迹的
目的:观察升血宝颗粒治疗恶性肿瘤化疗所致白细胞减少的临床疗效。方法:将80例该病患者随机分为治疗组60例与对照组20例。治疗组口服生血宝颗粒,1包/次,3次/d;对照组口服淀粉
缪勒认为：“会计会对其环境做出反映,不同的文化、经济、法律和政治环境就会产生不同的会计制度。”政府会计亦不例外,自1998年以来,我国现行的预算会计体系就一直扮演着我国