智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码...智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码存在难点。因此,提出在编写合约前基于CPN(Coloured Petri Net)对供应链业务逻辑进行形式化规范并构建双层仿真模型,以图形化界面描述交易状态变化,进行形式化验证和状态分析,从而在建模阶段就减少逻辑漏洞。最后,提供了一种从CPN建模语言到Solidity编写的合约的转换方法,以提高智能合约的安全性和可靠性。展开更多
BPMN (Business Process Model and Notation)已成为企业业务架构的主流框架标准。但由于其本身存在的局限性,对业务架构描述存在不足,且无法对业务架构的动态特性进行分析,因此,对于现有的基于TOGAF中ACF元模型提出一种完整覆盖业务架...BPMN (Business Process Model and Notation)已成为企业业务架构的主流框架标准。但由于其本身存在的局限性,对业务架构描述存在不足,且无法对业务架构的动态特性进行分析,因此,对于现有的基于TOGAF中ACF元模型提出一种完整覆盖业务架构的i-BPMN建模方法进行研究,建立i-BPMN中的四种模型场景过程模型、活动模型、规则模型以及数据实体模型与CPN (Colored Petri nets)的建模语言间映射关系,实现了架构模型组到可执行模型的转化,提出一种基于i-BPMN业务架构的CPN可执行模型五阶段建模方法,方法过程中采用CPN Tools工具对业务架构进行动态仿真分析。最后,以智慧课堂中“课堂小测”的i-BPMN业务架构为例,验证该方法的可行性和有效性。由于映射过程是一一映射的,为模型组到可执行模型的自动转换提供了技术支持｡.展开更多
针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子...针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子系统的结构组成及工作模式建立故障树模型,并通过Petri网描述故障树逻辑门事件之间的逻辑关系,给出故障树的Petri网表示方法,建立车载子系统的P/T系统模型;进一步根据CPN理论确定托肯染色方法、权函数等模型参数,将P/T系统转化为着色网系统,并举例说明后继标识的计算规则。最后,通过与传统Petri网推理及故障识别过程的对比,证明了采用CPN分析系统故障机理的正确性及在故障识别过程中的高效性。所提方法可为车载子系统的故障识别提供一定依据。展开更多
1 引言
Petri网理论是由联邦德国的Carl Adam Petri于1962年在其博士论文中提出的一种建模方法.最初的网理论称为条件/事件网(CE-nets).在随后的几年中,人们对新的网模型、网的基本概念及分析方法等进行了大量的研究.其中最有影响的是位...1 引言
Petri网理论是由联邦德国的Carl Adam Petri于1962年在其博士论文中提出的一种建模方法.最初的网理论称为条件/事件网(CE-nets).在随后的几年中,人们对新的网模型、网的基本概念及分析方法等进行了大量的研究.其中最有影响的是位置/变迁网(PT-nets),PT-nets后来命名为Petri网(Petri Net).这些早期的网模型在理论上都归结为基本网(EN-nets).研究者通过对PT-nets进行了扩展,在网中增加了变迁的优先级、时间延迟、全程变量等一些概念以满足解决实际应用建模的具体要求.展开更多
概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活...概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。展开更多
文摘智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码存在难点。因此,提出在编写合约前基于CPN(Coloured Petri Net)对供应链业务逻辑进行形式化规范并构建双层仿真模型,以图形化界面描述交易状态变化,进行形式化验证和状态分析,从而在建模阶段就减少逻辑漏洞。最后,提供了一种从CPN建模语言到Solidity编写的合约的转换方法,以提高智能合约的安全性和可靠性。
文摘BPMN (Business Process Model and Notation)已成为企业业务架构的主流框架标准。但由于其本身存在的局限性,对业务架构描述存在不足,且无法对业务架构的动态特性进行分析,因此,对于现有的基于TOGAF中ACF元模型提出一种完整覆盖业务架构的i-BPMN建模方法进行研究,建立i-BPMN中的四种模型场景过程模型、活动模型、规则模型以及数据实体模型与CPN (Colored Petri nets)的建模语言间映射关系,实现了架构模型组到可执行模型的转化,提出一种基于i-BPMN业务架构的CPN可执行模型五阶段建模方法,方法过程中采用CPN Tools工具对业务架构进行动态仿真分析。最后,以智慧课堂中“课堂小测”的i-BPMN业务架构为例,验证该方法的可行性和有效性。由于映射过程是一一映射的,为模型组到可执行模型的自动转换提供了技术支持｡.
文摘针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子系统的结构组成及工作模式建立故障树模型,并通过Petri网描述故障树逻辑门事件之间的逻辑关系,给出故障树的Petri网表示方法,建立车载子系统的P/T系统模型;进一步根据CPN理论确定托肯染色方法、权函数等模型参数,将P/T系统转化为着色网系统,并举例说明后继标识的计算规则。最后,通过与传统Petri网推理及故障识别过程的对比,证明了采用CPN分析系统故障机理的正确性及在故障识别过程中的高效性。所提方法可为车载子系统的故障识别提供一定依据。
文摘概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活性以及公平性。在轨服务概念模型,可以为在轨服务系统及其仿真系统的建立提供参考。
