导读:本文包含了进程代数论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:代数,进程,组合,系统,实时,过程,业务。
进程代数论文文献综述
高沙沙[1]（2019）在《智能情境化印刷系统的进程代数建模与仿真验证》一文中研究指出随着个性化需求变得越来越普遍,对定制产品的需求也在增加,企业快速推出新产品的压力越来越大。印刷生产系统必须实时地感知当前情境,即实时生产环境与生产需求,并在尽可能少的人工干预下进行智能、动态、快速地配置和组织各类制造资源,重构制造系统以满足生产需求。本课题针对印刷生产系统的智能化生产需求,研究了智能情境化印刷生产系统的架构体系,并实现了对其进行代数建模及仿真验证。主要完成的工作有:(1)将情境感知和马尔科夫逻辑网络(MLN)的概念融入到Agent的设计中,构建了智能情境化印刷生产系统的框架体系,该智能化系统能够通过捕获实时情境信息进行分析计算,并根据不同产品的生产工艺需求高效地变更生产路线。(2)基于Agent技术提出了适用于印刷生产系统的Agent-Resource-Worker(ARW)组元模型,并运用ARW组元模型和进程代数构建印刷生产系统的代数模型。该代数模型综合ARW组元模型的复合机制,结合印刷生产特点,对印刷生产流程进行代数建模,该数学模型能够模拟重构后的印刷生产系统的流程与功能。(3)对获得的印刷生产系统进程代数模型进行验证与仿真,验证了该代数模型的有效性。基于进程代数的相关运算规则,对构建的代数模型进行形式化验证,获得相应的进程迁移图;同时,利用mCRL2软件进行编程仿真,模拟印刷生产流程,获得整个系统的进程图。所得的进程迁移图与进程图均与预期的系统行为一致。(本文来源于《西安理工大学》期刊2019-06-30）
笪建,程耀坤,莫启,孙华,吕永华[2]（2017）在《结合Petri网与进程代数的业务过程协同模型研究》一文中研究指出业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。(本文来源于《软件导刊》期刊2017年12期）
黄苾,代飞[3]（2017）在《Petri网到进程代数的转换》一文中研究指出Petri网和进程代数作为Web服务组合和业务过程建模的理论模型,各有优劣。提出了Petri网到进程代数的转换方法,用于把一个Petri网转换为通信进程代数。通过一个例子,说明了本文方法的有效性。(本文来源于《计算机产品与流通》期刊2017年11期）
李永湘[4]（2017）在《基于进程代数的云制造服务组合形式化建模与验证》一文中研究指出云制造作为一种新的制造模式,采用云计算思想,利用分布式技术与资源重用技术,为解决制造业“信息孤岛”问题带来了曙光。云制造服务组合形式化建模与验证是确保云制造服务组合顺利执行的关键技术。论文以云制造服务组合为研究对象,以进程代数方法为依托,从理论、模型和应用叁个层次上来研究云制造服务组合方法、服务交互场景模型、服务组合过程模型、形式化验证、服务组合平台开发等内容,以促进云制造环境下服务组合的正确性、安全性,帮助云制造服务用户按需获取、付费使用云制造服务,有助于用户在更广的范围里共享和优化配置制造资源,提高制造的柔性、敏捷性和企业竞争力。本文对云制造服务组合、建模及形式化验证的关键技术进行了系统的研究,主要包括:研究了云制造服务组合平台体系架构,详细阐述包括制造资源层、虚拟资源层、服务信息层、核心功能层、终端应用层和服务运营层在内的各层主要功能和实现技术;根据面向服务的理念将云制造资源划分为物质型、知识型和能力型叁种制造资源,并分析这叁种制造资源的特性,给出了对其进行描述与封装的方法;探讨了云制造资源服务化的实现过程,将其分为资源感知、虚拟封装、服务蜕变、服务展现四个主要环节;建立了云制造资源服务化模型,并给出了机床服务化等实例。研究了基于进程代数、云熵遗传算法与业务智能的云制造平台智能服务组合方法,阐述了智能服务组合方法的基本原理及其叁种不同服务组合模式:手动模式、半自动模式和自动模式云制造服务组合方法;提出并分析了云制造服务组合策略;给出了服务匹配度、组合和谐度和云熵的计算方法,并在此基础上构建云制造服务组合多目标优化数学模型;给出了一种求解云制造服务组合多目标优化问题的云熵遗传算法;以自动导引搬运小车制造任务为例,验证了所给出的云制造服务组合多目标优化模型的正确性及其求解算法的可行性。研究了云制造服务组合形式化建模方法,重点阐述了服务交互场景形式化模型和服务组合进程形式化模型。云制造服务交互场景形式化模型用于描述云制造服务间的交互行为,可清晰表达云制造服务组合中各组成部分之间的业务逻辑关系,并可模拟云制造服务组合的整个交互行为;云制造服务组合进程形式化模型用于描述云制造服务的组合活动,可表达云制造服务组合实现的工作流程和工序关系。以MillingMachine服务与MoldFactory服务为例分别验证了云制造服务交互场景形式化建模和组合进程形式化建模方法。研究了云制造服务组合主要属性的形式化验证机制。以进程代数为工具,将服务交互场景模型验证与服务组合进程模型验证相结合;在对服务交互场景模型进行形式化验证时,将整个服务组合的交互行为根据场景分割原理划分为多个服务交互场景,重点验证各服务交互场景的功能属性;在对服务组合进程模型进行形式化验证时,则重点验证各服务组合进程模型中各服务组合活动的非功能属性。研究了机加工云服务平台技术架构与实现工具,阐述了云制造服务组合形式化建模与验证技术在云服务平台中的具体应用。以医用氧气吸入器制造任务为例展示了智能服务组合方法在机加工云服务平台中的具体应用;而以自动导引搬运小车车身加工服务组合和开放式集成制造系统服务组合为例,分别展示了服务组合进程模型和服务交互场景模型的应用,并运用所提出的形式化验证方法对两个应用案例的形式化模型的主要属性进行了验证。案例研究结果表明本文提出的基于扩展进程代数的形式化建模与验证方法是可行的,可验证服务组合相关属性,并且与其它服务组合方法相比较,本文提出的智能服务组合方法满足服务组合的需求项数最多。(本文来源于《华南理工大学》期刊2017-05-05）
杨进,张小彬,严博,陈璐[5]（2015）在《基于进程代数的系统性能评价方法综述》一文中研究指出现代通信网络系统中大量存在的各种并发同步事件,使得系统的性能特征与其功能特征密切相关,该类系统进行性能评价时,需要综合其性能模型与功能模型进行分析。由于进程代数具备功能推导和验证能力,通过有效扩展,融合相应的性能参数,可以成为理想的针对并发系统的性能建模工具。综述了进程代数的发展历史,并总结了将进程代数应用于性能评价的有效扩展方法,通过实例论述了进程代数应用于性能评价的一般过程。最后,讨论了基于进程代数的系统性能评价方法的发展趋势。(本文来源于《软件导刊》期刊2015年02期）
袁晓月,万珍珍,冯星[6]（2014）在《基于进程代数WS-CDL交互模式建模研究》一文中研究指出基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。(本文来源于《江西科学》期刊2014年06期）
孙再亮[7]（2014）在《基于进程代数的REST系统的形式化建模与分析》一文中研究指出万维网诞生于1994年,如今已渗透到人们生活的方方面面。一种为高效地开发大规模分布式超媒体系统而提出的、被称为表述性状态转移(REST)的软件架构风格,是万维网获得成功的主要原因之一。REST架构风格从提出至今已有十余年,但是到目前为止,对它进行形式化建模分析的研究工作很少。缺乏形式化模型的支持导致REST的相关概念在工业界屡屡被误解和误用,这阻碍Web架构和Web工程的发展。本文在前人相关工作的基础上,主要考察了REST架构风格中的四个约束条件,分别是客户-服务器约束、分层约束、无状态约束和统一接口约束。我们使用π演算对REST系统进行形式化建模分析,力图在模型中刻画重要的REST约束条件,最终得到一个符合REST架构风格的系统模型。在本文中我们使用了自顶向下的系统建模方法,首先从整个系统中识别出系统组件,然后根据组件的功能划分模块,最后将REST系统的组件和模块抽象为相应的进程,将组件及模块间的消息通信映射为π演算的进程通信,将模块内部数据状态的变化抽象为对相应的数据结构的操作结果。最终,所有模块的进程并发构成了整个系统的形式化模型。最后结合实例详细分析REST的主要约束条件在模型中的刻画情况,阐明了所建立的模型是符合以上枚举的REST的四个约束条件的。我们相信在本文中建立的形式化模型对于增加相关人员对REST的理解、消除对它的误解和误用有所帮助,并相信该模型能用于指导包括Web系统在内的分布式系统软件的开发。(本文来源于《华东师范大学》期刊2014-04-01）
李永湘,姚锡凡,徐川,张洁,李彬[8]（2014）在《基于扩展进程代数的云制造服务组合建模与QoS评价》一文中研究指出为解决云制造服务组合建模与形式化验证问题,在Web服务编制演算的基础上提出一种扩展了服务质量信息的进程代数XPC4CMSC,给出了XPC4CMSC的语法、操作语义,建立了顺序组合、并发组合、选择组合的活动图与XPC4CMSC描述模型,计算了叁种服务组合执行的响应时间、执行费用、可靠性、可用性、物流时间和物流费用。给出了服务质量评价算法与服务组合的形式化验证方案,通过一个柔性多车间调度问题展示了该方案的执行过程。示例研究表明,基于XPC4CMSC的云制造服务组合建模及形式化验证方案是可行的。(本文来源于《计算机集成制造系统》期刊2014年03期）
马川,王涛,申利民[9]（2014）在《基于进程代数的并发行为检测模型》一文中研究指出针对并发行为难以描述和检测的问题,引入进程代数对系统调用序列进行分析,提出一种描述和检测并发行为的模型。首先通过静态分析二进制码得到系统的控制流程图,并对流程图进行分析生成进程表达式;接着针对并发行为的互斥和同步关系重写表达式,向表达式中添加并发操作;然后通过扩展进程代数的性质和运算法则构造出动作、算子和进程3个基本元素,进而建立了模型;最后给出并发行为检测的方法并对模型的时空效率进行了分析和验证。理论分析和实验表明,所提出的方法具有线性的时间和空间复杂度。(本文来源于《四川大学学报(工程科学版)》期刊2014年01期）
祝义,黄志球,张广泉,周航,肖芳雄[10]（2014）在《硬实时软件建模与分析的进程代数方法》一文中研究指出针对硬实时软件缺乏有效的系统动态行为建模机制,提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程;然后提出时间调度算法,用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间;最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性,计算结果有助于硬实时系统截止期的量化分析和优化设计。(本文来源于《计算机科学与探索》期刊2014年06期）
进程代数论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标。为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成。该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证。同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
进程代数论文参考文献
[1].高沙沙.智能情境化印刷系统的进程代数建模与仿真验证[D].西安理工大学.2019
[2].笪建,程耀坤,莫启,孙华,吕永华.结合Petri网与进程代数的业务过程协同模型研究[J].软件导刊.2017
[3].黄苾,代飞.Petri网到进程代数的转换[J].计算机产品与流通.2017
[4].李永湘.基于进程代数的云制造服务组合形式化建模与验证[D].华南理工大学.2017
[5].杨进,张小彬,严博,陈璐.基于进程代数的系统性能评价方法综述[J].软件导刊.2015
[6].袁晓月,万珍珍,冯星.基于进程代数WS-CDL交互模式建模研究[J].江西科学.2014
[7].孙再亮.基于进程代数的REST系统的形式化建模与分析[D].华东师范大学.2014
[8].李永湘,姚锡凡,徐川,张洁,李彬.基于扩展进程代数的云制造服务组合建模与QoS评价[J].计算机集成制造系统.2014
[9].马川,王涛,申利民.基于进程代数的并发行为检测模型[J].四川大学学报(工程科学版).2014
[10].祝义,黄志球,张广泉,周航,肖芳雄.硬实时软件建模与分析的进程代数方法[J].计算机科学与探索.2014
论文知识图
