【摘 要】
：
软件系统与日俱增的复杂性使得基于模型的协同开发成为热点。作为具有图形和文本两种表达方式的异形模型,由于其在图形和文本中的更改不具有等价性,其模型的协同编辑成为一个难点问题。现有的方法并不支持异形模型的协同编辑。本文以达成持续一致性为目标,提出了一种基于抽象语法树的异形模型协同编辑方法,将两种表示都规范化为抽象语法树表示,然后进行三路合并,根据修改时间进行冲突的自动消解。主要贡献包括:·提出规范化过
论文部分内容阅读
软件系统与日俱增的复杂性使得基于模型的协同开发成为热点。作为具有图形和文本两种表达方式的异形模型,由于其在图形和文本中的更改不具有等价性,其模型的协同编辑成为一个难点问题。现有的方法并不支持异形模型的协同编辑。本文以达成持续一致性为目标,提出了一种基于抽象语法树的异形模型协同编辑方法,将两种表示都规范化为抽象语法树表示,然后进行三路合并,根据修改时间进行冲突的自动消解。主要贡献包括:·提出规范化过程,将图形和文本表示的模型转换为带时间戳的抽象语法树。我们忽略了模型的文本表示和图形表示之间不必要的差异,将其转换为统一语义形式,再通过Gum Tree Diff获取抽象语法树并添加时间戳。·使用基于抽象语法树的三路合并和基于修改时序的自动冲突消解获取无冲突版本。首先基于规范化后的抽象语法树表示,使用Gum Tree Diff检测更改版本的差异,将差异表示为编辑脚本。然后使用基于抽象语法树的三路合并算法合并两个编辑脚本,以获得最新的版本。此外,合并算法还检测可能的冲突,并根据更改事件的时间顺序自动解决冲突。·扩展语言服务器协议来支持信息同步并同步检查模型的语法。为了支持多人协同,将版本号修改为哈希值并添加父标识符确定修改顺序;为了支持图形的编辑,修改did Open、did Change、did Save和did Close等消息。为了证明本文方法的通用性,我们开发了问题框架的web协同编辑工具PF-Sync、问题框架的VSCode协同编辑插件PF-Plug-in和i Star2的web协同编辑工具Pistar-Sync,使其支持问题框架模型、i Star2模型的协同编辑。最后通过对三个工具进行评估,证明本文方法可以提高建模效率,性能较好,在可接受范围内。
其他文献
滨海湿地生态系统由于其强大的光合能力和微小的分解作用,被认为是全球碳汇能力最强的生态系统之一。因而,滨海湿地恢复和增汇可以成为服务碳中和战略目标和应对全球气候变化的有效途径之一。植物光合作用是滨海湿地碳循环的重要组成部分,也是滨海湿地蓝碳的重要驱动力。此外,叶绿素荧光是一种监测植物光合状态的无损探针,能够成为植物光合效率研究的有效手段之一。然而,当前滨海湿地植被光合作用和荧光特性的动态变化及内在机
液晶材料作为光学调制材料被广泛应用在可见光、红外、毫米波和太赫兹光谱区域,但低粘度、高双折射率、低熔点、宽液晶相温度区间和大介电各向异性依旧是衡量液晶材料能否应用及应用范围的关键指标。伴随着液晶光学器件和新型显示技术的发展,高双折射率混合液晶成为研究热点,为改善目前高双折射率混合液晶在应用上存在的熔点高、介电小等突出问题,本论文以二氟乙烯氧基作为极性末端基设计合成了三类液晶稀释剂:二氟乙烯氧基联苯
长三角生态绿色一体化发展示范区在高质量发展的要求下,面临着不破行政隶属与实现区域环境共治的重要挑战,且一体化示范区存在水环境监管各自为政、数据割裂的问题,在监测指标、监测频次、特征污染物监测和数据共享等方面,与协同监测的要求存在较大差距。因此,筛选一体化示范区的优先污染物,明确常规监测指标外的特征性污染物,完善一体化示范区常规监测、应急监测与响应,对于推进一体化示范区水环境协同共治至关重要。本文采
全球范围内的能源短缺及环境恶化问题,使得逐步禁售纯燃油汽车,大力发展新能源汽车成为各国汽车产业的战略选择,中国亦是如此。目前,永磁同步电机由于具有调速范围宽、起动转矩大、可靠性好等诸多优势,在我国新能源汽车中的使用占比超过90%,但其高频电磁振动噪声所造成的电机啸叫等问题长期以来受到广泛关注。对于车用永磁同步电机而言,定转子之间由于气隙磁场的作用而存在相互作用的电磁力,其中切向电磁力主要用于产生电
初期雨水径流的判定方法直接影响到污染雨水的收集量及其管控效果,开展化工区初期雨水径流的判定及收集管控模式研究对化工企业径流污染风险防控具有重要的现实意义。论文依托上海化学工业区相关研究课题,在开展企业问卷调查、现场采样监测的基础上,从降雨时间、降雨深度、雨水径流水质三个维度将初期雨水径流判定方法归纳为时间法、水量法及水质法。依据不同判定方法构建了“基于降雨时间/降雨深度/雨水径流水质的初期雨水径流
神经机器翻译在数据充分的翻译任务上取得了突破性的进展,然而在数据缺乏情景下的翻译任务上表现糟糕。基于学生教师模型的枢轴方法在一定程度上克服了数据缺乏的困难,成为了低资源神经机器翻译的一种有效实现方案。由于学生教师模型和枢轴方法在效率和生成数据规模上仍存在着问题和瓶颈,其提升的潜力仍然很大。针对效率问题,本文提出了包含编码输出表征和解码器参数的多元生成数据的概念,利用多元生成数据来引导学生模型的组件
等离子体是包含电子、离子、原子、自由基的气体,气体放电是实验室产生等离子体的重要方式,在许多学科有着广泛的应用前景。天然气中含有丰富的碳氢物质,包括饱和烷烃、不饱和炔烃和不饱和烯烃,开采的燃气通常需要转化为增值产品。氰化氢（HCN）是燃气转化过程中产物之一,具有极强的毒性。研究烷烃放电等离子体生成HCN的条件和机理,对调控燃气转化过程中HCN的浓度至关重要。本文利用辉光放电和介质阻挡放电作用于碳氢
日益严重的城市环境恶化问题,如热岛效应、噪音和空气污染等,可以通过城市公园进行缓解。同时,城市公园也是重要的社会资源,可以促进游客的身心健康。因此,城市公园资源与居民福祉紧密相关,社会对公园资源公平分配的关注度也越来越高。近年来,我国城市化发展迅速,但一直以城市人均绿地面积等面积比率指标作为指导城市公园绿地建设主要指标,该类指标侧重数量分配,缺乏指导空间格局的效力,许多研究开始利用公园的可达性来解
菱镁矿（Mg CO3）是我国的优势矿产,储量占据世界菱镁矿总量的四分之一及以上,其具有产量丰厚、杂质含量低、后处理简单的鲜明特点,是制备含镁化合物的优质矿源。根据矿石结晶状态的不同,可分为晶质菱镁矿以及微晶质菱镁矿两种。目前,我国菱镁矿资源以晶质菱镁矿为主,微晶质菱镁矿的产量不多。因此,之前对菱镁矿的研究多以晶质菱镁矿为原料,以微晶质菱镁矿为原料的研究不多。如何利用好我国的菱镁矿资源,提高其资源经
激光测距领域中,基于时间相关单光子符合计数技术的脉冲飞行时间激光测距（单光子测距）可将测距系统的灵敏度提升至单光子水平,降低远距离测距对激光能量的要求,增长测距距离,提高测距系统的人眼安全性能。另一方面,国民经济发展和国防建设对激光测距精度提出了越来越高的需求。其中,单光子测距的精度主要受两方面因素的影响:测距系统时间抖动、单光子探测器的延时漂移。当前单光子测距精度的大多都在毫米量级,因此开展更高