导读:本文包含了弱互模拟论文开题报告文献综述及选题提纲参考文献，主要关键词:业务过程管理,编排,参与者,映射
弱互模拟论文文献综述
陈凤强[1]（2017）在《一种基于弱互模拟的编排映射方法》一文中研究指出将编排映射为Peer(参与者)是对编排进行可实现性分析的第一个步骤。现有文献提出的映射方法未考虑参与者中不可见动作τ对行为的影响,无法确保编排与参与者间的行为一致性。本文以Petri网作为形式化基础,提出了一种能保持编排与参与者间行为一致的映射方法:1)通过动作映射,将交互式Petri网定义的编排映射为角色Petri网定义的带有不可见动作τ的参与者;2)提出了四条τ删除规则,用以对角色Petri网中的不可见动作τ进行有选择地删除;3)将编排(交互式Petri网)与参与者(角色Petri网)间的行为一致性问题规约为检验两个Petri间是否满足弱互模拟的问题,并证明了这四条τ删除规则的正确性。实验表明,该映射方法能确保编排与参与者间的行为一致性。本文主要研究使用基于弱互模拟的编排映射方法来保证排与参与者间的行为一致性。为了这个目的,论文主要工作如下:第一,提出一种编排映射方法,定义动作映射。动作映射是将编排中与参与者(Peer)无关的动作映射为不可见动作τ。第二,提出τ删除规则,规则共四条。基于弱互模拟关系,将Petri结构中的τ动作进行删除,获得相对应参与者Petri网。第叁,验证τ删除规则的正确性,标准是基于弱互模拟关系进行源角色Petri网与目标角色Petri网行为一致性比较。第四,选取五篇文献中的实验,通过本文方法与其进行对比。而实验说明,文献中所提方法在弱互模拟关系下,不能完全保证编排与参与者之间的行为一致性,而本文所提方法却可以。总之,本文基础弱互模拟关系,提出了一种编排映射方法,保证编排与参与者之间的行为一致性。(本文来源于《云南大学》期刊2017-05-01）
张严[2]（2008）在《一种高阶进程代数的弱互模拟研究》一文中研究指出进程代数作为描述和分析并发与分布式系统的重要工具之一,是并发理论的主流研究方向。互模拟是进程代数的核心概念之一,用来刻画进程之间的等价关系,其中描述观察等效的弱互模拟是最为重要的互模拟之一,其性质往往比较难以研究。高阶进程代数在描述一些系统的时候比较直观,很有优势,受到越来越多的关注,但高阶进程代数的性质难以刻画。本文研究的高阶π演算一直没有一个很自然且相对简单的建立在带标记语义系统之上的等价关系,不是给定的互模拟性质太强,就是给出的互模拟证明很繁琐。有学者用环境带标记的转换语义来刻画高阶进程代数,给出的互模拟形式相对简洁。本文研究了建立在环境带标记的转换基础之上的受限的高阶π演算的弱互模拟,证明了弱互模拟的代数性质和同余性质。近来,人们也越来越多地用规约语义描述进程代数,因为规约语义简洁且能给出一个满意的数学分析。我们介绍了一个规约系统,基于它证明了其与上面给出的环境带标记的语义在弱互模拟的情况下是有等价关系的,即两个进程是弱互模拟的当且仅当它们是规约barbed同余的。(本文来源于《南京航空航天大学》期刊2008-01-01）
林惠民[3]（1999）在《嵌套谓词等式系与弱互模拟》一文中研究指出带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌套谓词等式系的最大解．(本文来源于《软件学报》期刊1999年11期）
弱互模拟论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
进程代数作为描述和分析并发与分布式系统的重要工具之一,是并发理论的主流研究方向。互模拟是进程代数的核心概念之一,用来刻画进程之间的等价关系,其中描述观察等效的弱互模拟是最为重要的互模拟之一,其性质往往比较难以研究。高阶进程代数在描述一些系统的时候比较直观,很有优势,受到越来越多的关注,但高阶进程代数的性质难以刻画。本文研究的高阶π演算一直没有一个很自然且相对简单的建立在带标记语义系统之上的等价关系,不是给定的互模拟性质太强,就是给出的互模拟证明很繁琐。有学者用环境带标记的转换语义来刻画高阶进程代数,给出的互模拟形式相对简洁。本文研究了建立在环境带标记的转换基础之上的受限的高阶π演算的弱互模拟,证明了弱互模拟的代数性质和同余性质。近来,人们也越来越多地用规约语义描述进程代数,因为规约语义简洁且能给出一个满意的数学分析。我们介绍了一个规约系统,基于它证明了其与上面给出的环境带标记的语义在弱互模拟的情况下是有等价关系的,即两个进程是弱互模拟的当且仅当它们是规约barbed同余的。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
弱互模拟论文参考文献
[1].陈凤强.一种基于弱互模拟的编排映射方法[D].云南大学.2017
[2].张严.一种高阶进程代数的弱互模拟研究[D].南京航空航天大学.2008
[3].林惠民.嵌套谓词等式系与弱互模拟[J].软件学报.1999