检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

业务协同中组织需求的建模与一致性验证

计算机集成制造系统 2018年第9期24卷 2186-2200页

作者：笪建莫启程耀坤张毅李彤云南大学软件学院云南昆明650091 淮安开放大学信息工程系江苏淮安223001 江苏联合职业技术学院淮安分院现代教育技术中心 223001 云南大学云南省软件工程重点实验室云南昆明650091

验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组... 详细信息

验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。

关键词：组织需求协同业务过程一致性模型检测迹等价

在线全文

学校读者我要写书评

暂无评论

参与组织需求与协同业务过程一致性验证方法

计算机集成制造系统 2018年第7期24卷 1608-1620页

作者：莫启代飞朱锐笪建郑明李彤林雷蕾戴翼超云南大学软件学院云南昆明650091 云南大学云南省软件工程重点实验室云南昆明650091 西南林业大学大数据与智能工程学院云南昆明650224 淮安开放大学信息工程系江苏淮安223001

为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建... 详细信息

为了验证协同业务过程与参与组织需求保持一致,基于模型检测技术提出一种需求一致性检测方法。首先,扩展并沿用目标模型思想,提出一种声明式需求描述语言来描述参与组织需求;然后,引入并发操作符,提供一种通过组合参与组织业务过程构建协同业务过程方法,并定义其执行语义以支持需求一致性验证;最后,基于模型检测技术提出需求一致性验证框架,实现需求一致性自动验证。通过对协同制造中供应链建模并与现有的、典型的方法对比分析,结果表明:相对已有的典型工作,所提方法能够更加有效地支持需求一致性验证。

关键词：参与组织需求协同业务过程一致性模型检测迹等价

基于Petri网行为包含和行为继承的业务流程变化域传播分析

在线全文

学校读者我要写书评

暂无评论

计算机科学 2016年第11期43卷 36-39页

作者：方贤文赵芳刘祥伟方欢安徽理工大学信息与计算科学系淮南232001 同济大学计算机科学系上海201804

业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部... 详细信息

业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部边界变迁的减少来分析模型的变化域传播,因而具有一定的局限性。为了研究模型间的变化域传播问题,基于源模型和目标模型之间存在的迹等价及行为包含关系,通过给定源模型的变化域,提出了基于行为继承的变化域传播分析方法来寻找目标模型的变化域。最后,通过一个具体的流程实例进一步说明了该方法的可行性。

关键词：变化域传播迹等价行为包含行为继承

在线全文

学校读者我要写书评

暂无评论

基于偏序归约的状态空间约简算法

计算机应用与软件 2012年第2期29卷 80-82,108页

作者：马亚南刘楠陈晶宁祝跃飞信息工程大学信息工程学院河南郑州450002

目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算... 详细信息

目前,针对安全协议分析的偏序归约算法较为复杂且不易实现,限制了其适用范围,未考虑约简诚实主体会话中的逆序结点。针对该问题,采用偏序归约的思想,提出一种诚实主体会话中逆序结点的约简算法以及一种迹等价迁移冗余后继结点的约简算法。两种算法思想简单,易于实现。实例表明,这两种算法有效地约简了安全协议的状态空间。

关键词：模型检测偏序归约逆序迹等价

在线全文

学校读者我要写书评

暂无评论

安全协议形式化验证方法研究

安全协议形式化验证方法研究

作者：王强国防科学技术大学

学位级别：硕士

随着计算机网络技术的不断发展，网络信息安全已经成为信息时代的一个至关重要的问题。安全协议作为网络安全通信的基础技术，是确保网络信息安全的有效手段之一。然而实践表明，设计正确可靠的安全协议是一项十分困难的工作，许多广泛... 详细信息

随着计算机网络技术的不断发展，网络信息安全已经成为信息时代的一个至关重要的问题。安全协议作为网络安全通信的基础技术，是确保网络信息安全的有效手段之一。然而实践表明，设计正确可靠的安全协议是一项十分困难的工作，许多广泛使用的安全协议被指出存在各种安全漏洞。因而，分析和验证协议的安全性具有重要的应用价值。目前，研究人员主要采用形式化方法来分析和验证协议的安全性。本文以符号模型下安全协议的形式化验证方法为研究内容，主要分析和拓展了基于应用Pi演算的安全协议建模和关键安全属性的自动化验证技术，取得了一系列有价值的研究成果。主要研究内容和成果体现在：（1）基于应用Pi演算的安全协议建模和验证方法研究。首先分析了应用Pi演算框架下安全协议及其安全属性的建模方法，其次分析了两类不同的安全属性形式化验证技术：基于协议迹的可达性分析技术和基于协议进程观测等价的互模拟验证技术，指出了上述两种技术方法的优缺点和存在的挑战，给出了进一步改进的思路。（2）基于约束系统的保密性验证方法和约束求解算法研究。针对可达性分析技术存在的不可判定的缺点，首先提出了基于约束系统的安全协议建模与验证方法。约束系统是对协议执行迹的符号化表示，将无穷的协议迹抽象为有限的约束系统，并将安全性验证问题转换为带安全属性公式的约束系统的可满足性判定问题;其次深入研究了HubertComon-Lundh的约束求解算法，分析了该算法的正确性、完备性和停机性。该算法可以实现安全协议的自动化验证，但存在时间复杂度较高的不足。（3）改进的协议进程迹等价判定算法研究与实现。针对应用Pi演算中观测等价性不可判定的不足，研究了应用Pi演算的可判定子集—简单进程的迹等价判定算法。首先深入分析了Vincent Cheval的不含异或算子的迹等价判定算法，对原算法进行了适当改进，降低了复杂度，给出了该算法Ocaml语言实现;其次，首次提出了含异或算子的迹等价判定算法，该算法可以用于简单进程的自动化迹等价判定，也可用于安全协议的复杂安全属性的形式化验证。由于简单进程的迹等价和观测等价是一致的，该算法也可用于观测等价性的判定。

关键词：协议验证进程演算约束求解算法迹等价约束系统