领域专用建模语言的自动推理一致性方法
用非正式的方式定义的特定领域建模语言(DSML)无法精确地表示其结构语义,因此无法系统地分析和验证模型的属性(例如一致性)。 作为回应,本文提出了一种自动推理DSML一致性的方法。 首先,我们建立基于一阶逻辑的DSML正式框架; 然后,定义了用于形式化DSML的自动映射机制。 在此基础上,我们提出了基于一阶逻辑推理的DSML及其模型一致性验证方法。 最后,设计了用于形式化DSML及其模型的自动映射引擎,以证明我们形式化方法的可行性。
用户评论
推荐下载
-
ServiceComb中的数据最终一致性方案
数据一致性是构建业务系统需要考虑的重要问题 ,以往我们是依靠数据库来保证数据的一致性。但是在微服务架构以及分布式环境下实现数据一致性是一个很有挑战的的问题。ServiceComb作为开源的微服务框架致
8 2021-01-31 -
NoSQL数据库数据的一致性
读取一致性 · 强一致性 在任何时间访问集群中任一结点,得到的数据结果一致; · 用户一致性 对同一用户,访问集群期间得到的数据一致; 解决用户一致性:使用粘性会话,将会话绑定到特
18 2021-02-01 -
基于扩展足迹矩阵的一致性检测
一致性检测是过程挖掘研究的重要内容,现有的一致性检测方法不足以找到准确的偏差位置。本文以Petri网作为描述过程模型的形式化方法,根据基于日志的次序关系重新定义了一种基于日志的扩展次序关系,并以此定义
11 2020-06-07 -
1285 介子形状因子的一致性分析
提出了f1(1285)介子的形状因数的参数化。 此参数化与过程e + e-→f1(1285)和e + e-→e + e-f1(1285)中f1(1285)介子生产横截面的可用实验数据一致,以及 在衰减
23 2020-07-16 -
一致性Hash算法的原理及实现
一致性Hash算法的原理及实现
36 2018-12-21 -
MSCKF改进改进EKF算法的一致性
该论文是MSCKF2.0的作者所写,提出如何对MSCKF进行改进,并改进了MSCKF算法的一致性,并提出了IMU误差的闭环形式的模型。
25 2019-05-16 -
事件触发的多智能体一致性
基于事件触发的多智能体一致性算法的研究,本人亲测程序可用
34 2019-04-14 -
基于相位一致性的边缘检测源码
用相位一致性理论对图像进行边缘检测,比canny,sobel等边缘检测算子效果更好,供学习。
54 2019-07-07 -
多人协作一致性检查的好东东
多人协作一致性检查的好东东(Kappa)
26 2018-12-08 -
多智能体系统的一致性书籍
多智能体系统的经典之作,包括最优一致性等
26 2019-04-30
暂无评论