导读:本文包含了自动演算论文开题报告文献综述及选题提纲参考文献，主要关键词:语义Web服务,服务组合,流演算,OWL-S
自动演算论文文献综述
陈志勇,李庆忠,王文明,崔立真,丛国进[1]（2013）在《基于流演算的Web服务自动组合方法》一文中研究指出近年来,基于语义的Web服务组合,尤其是Web服务的自动组合方法已成为服务计算领域的一个研究热点.实现了从一个OWL-S过程模型到流演算概念的映射,并给出了相应的转换算法.在此基础上,提出了一个新颖的、基于流演算形式化体系的Web服务自动组合方法.该方法采用前推推理机制对状态和动作进行推理,有效地克服了以传统的情景演算为代表的人工智能规划算法执行效率较低的问题.设计实现了一个实验性的原型系统,结合一个旅游行程规划的实例说明了本文提出的方法的有效性.对提出的BCABFC(Backward-Chaining Algorithm Based On Fluent Calculus)算法与基于情景演算的同类算法进行性能比较,实验结果表明该算法具有较好的性能.(本文来源于《小型微型计算机系统》期刊2013年01期）
李天冶[2]（2012）在《多目Pi演算互模拟等价自动验证研究》一文中研究指出本文通过对多目Pi演算的强开互模拟等价自动化验证算法的研究，针对已有算法中存在大量的递归调用、冗余数据、执行效率低等问题，建立了一套全新的数据结构用来表示多目Pi演算算式，并在此基础之上提出了对已有算法的优化建议。在多目Pi演算的强开互模拟等价自动化验证优化算法中，提出了一种新的算法执行方案，对算法中关键的Add方法和Match方法做出了修正，使得算法在处理拥有大量的并行与选择、抽象与凝结因子的多目Pi演算算式的时候，算法递归深度大量减少。同时对算法中的二元关系R和D的处理做出了修正，使得算法运行过程中的冗余数据大量减少，算法执行效率得到了优化。另外，本文还讨论了多目Pi演算的α等价与其强开互模拟等价验证之间的关系，并提出并实现了一个可行的α等价验证算法，使得算法整体的递归深度进一步减少，同时α等价验证算法也可以作为一个独立的功能呈现。(本文来源于《吉林大学》期刊2012-04-01）
刘一松,王莉莉,李倩倩[3]（2012）在《基于状态演算的通用游戏系统的自动推理》一文中研究指出为提高通用游戏系统的自动推理能力,提出了基于状态演算的通用游戏系统的自动推理方法,并将其作为推理模块构建了通用游戏系统模型。利用状态演算逻辑程序设计语言(state calculus executor,STEX)实现通用游戏的状态更新与动作推理,给出了基于状态演算的通用游戏系统模型的功能模块设计,最后利用prolog语言实现了各功能模块,调试系统并进行实例验证。实验结果表明,采用了基于状态演算的自动推理方法,得到较好的游戏成绩,提高了游戏系统的自动推理能力。(本文来源于《计算机工程与设计》期刊2012年01期）
李延红,岳厚光[4]（2011）在《基于Pi演算的OWl-s的Web服务的自动组合》一文中研究指出Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。(本文来源于《信息与电脑(理论版)》期刊2011年04期）
程锋涛[5]（2010）在《基于MWB的BPEL到π演算自动转换工具的研究与实现》一文中研究指出随着全球化进程的加快,Web作为一种重要的沟通手段受到的关注越来越多,对Web服务描述的正确性投入的精力随之增加。BPEL(Business Process Execution Language)作为描述Web服务流程组合语言,可以通过组合、编排和协调等方式将多个Web服务组合到一个新的复合服务(称作业务流程)中。但是由于BPEL本身是半形式化的,因而它不能有效的描述Web服务流程间死锁、缺少同步等诸多问题,所以必须通过形式化方法建模BPEL的方式来减少Web服务中出现的此类问题。本论文结合实验室承担的国家“863”重点项目,分析和参考了π演算建模BPEL语言的相关理论、研究成果和技术方法,提出了一个完整的从BPEL到π的自动建模和分析过程,并在此基础上实现了自动建模和分析的工具原型。本文的主要工作体现在以下几个方面：1.分析了π演算建模分析BPEL理论和方法的国内外研究现状,总结了在自动建模方面面临的问题。2.融合了MWB(the Mobility WorkBench)验证工具的标识符定义,对手动建模理论提出了优化；提出了基于MWB的BPEL到π演算的自动建模的方法,利用DOM(Document Object Model)树解析,构建了自动建模过程。3.分析了自动建模过程中遇到的数据兼容性和结构合法化问题,提出了通过词法分析和语法分析解决问题的方法和实践。4.在相关理论研究基础上,设计和实现了BPCT(BPEL to Pi Convert Tool)自动建模验证工具。(本文来源于《西北大学》期刊2010-06-30）
谭力[6]（2010）在《基于情态演算的UML形式化验证与OCL约束自动生成研究》一文中研究指出从软件工程中软件生命周期的角度分析,软件架构是软件的核心结构与行为,因而软件架构的设计是软件设计的核心,也是随后进行代码开发的基础。因此软件架构设计的重要性不言而喻。由于软件架构设计本身是一种建模活动,如何对软件架构设计的标准建模语言UML进行正确性验证是一个难题。传统软件验证方法有着不够精确、非自动化等不足。另外,对UML进行正确性验证需要得到UML的形式化语义,而UML本身是一种图形化的表示方法,不具有形式化的语义。因此本文将采用形式化方法来对UML模型进行形式化描述,即为其赋予等价的形式化语义,再根据其语义进行形式化验证。为了进一步精确描述UML模型的语义,为其提供OCL约束是一种主流方法。而OCL约束需要人手工编写,同样具有正确性难以保证、人员开销等问题,因此为UML模型自动生成OCL约束模板是一种很好的解决方法,生成的OCL模板可供软件设计人员参考,从而提高了软件工程的整体效率。本文也将对OCL约束自动生成进行研究。UML是软件设计过程事实上的标准建模语言。本文首先从历史发展、子图种类、建模工具和以XMI表示的UML四个角度对UML作了简要的介绍,并具体介绍了即将研究的两种UML子图：类图和状态图。同时介绍了形式化方法的基本概念和主要分支，并总结了国内外现有的对UML形式化的研究。最后介绍了UML的标准子语言OCL、采用的形式化语言情态演算和它的具体实现——逻辑编程语言Prolog,并进一步分析了从UML转换到情态演算的可行性,从理论上确定了给出的解决方案的正确性。本文随后给出了基于情态演算的UML形式化描述方法。首先分析了选择UML类图和状态图作为研究对象的意义,再分别对UML类图和状态图进行形式化描述：先是给出了两种子图的一种形式化语义结构；再分析了两种子图元素与数理逻辑和情态演算元素的对应关系；又提出了两种子图到数理逻辑语句和Prolog代码的转换算法,并以伪代码的形式给出。然后着重定义了UML模型的两种基本错误类型：领域无关的UML模型语法错误和领域相关的UML模型语义错误,并给出具体错误实例和自动生成的Prolog代码。进一步,本文讨论了如何实现对UML模型的OCL约束模板自动生成。首先强调了OCL约束自动生成的研究意义,同时给出了OCL约束的应用范围。从而进一步分析了如何在UML模型中提取OCL约束的目标应用对象,并给出了一种提取算法。最后给出了该提取算法的Perl示例代码的具体实现。作为上述理论的补充和可行性证明,后续章节详细介绍了以UML子图到情态演算的转换算法和OCL约束模板自动生成算法为基础而设计并实现的UML形式化验证原型工具USCVSC。首先建立了该原型工具的系统实现框架和代码框架。其次给出了该原型工具的用户界面,并详细描述了其中的4个基本子功能界面。最后说明了,通过此原型工具,可以实现UML模型语法检查和语义错误验证,以及OCL约束模板自动生成的综合性功能。最后,本文对USCVSC原型工具的使用进行了介绍,并结合一个大学教学系统和大学申请系统的实际案例来对原型工具的基本功能进行演示。先描述了该应用实例的特点,并用UML建模工具对其类图和状态图进行设计。接下来则利用USCVSC原型工具对预定义的UML模型错误进行验证：对于UML语法错误的检查可以在USCVSC原型工具中完成,对于UML语义错误的验证则需要USCVSC原型工具和Prolog解析器一起协同完成。最后演示了如何利用USCVSC原型工具为UML类图自动生成OCL约束模板,并给出了示例OCL约束语句。综上所述,本文以形式化语言情态演算为描述语言来对UML模型进行形式化验证以及自动生成OCL约束,并最终实现了原型工具。使得UML模型中多初始状态、监护条件中无逻辑运算符等语法错误得以发现,同时也能验证出UML模型中需求不完整和需求逻辑错误等语义错误。从而能帮助软件设计人员修正最初的UML模型设计,避免在软件工程后续阶段不必要的系统开销。最终达到使软件工程各阶段的整体效率得到提升的目标,为软件工程自动化做出了贡献。(本文来源于《华东师范大学》期刊2010-04-01）
王丽超[7]（2008）在《基于Pi-演算的无线自动售货机系统建模与应用》一文中研究指出无线自动售货机系统通过无线网络实现了对自动售货机的远程监视和控制,便于企业内部物流管理及向顾客提供方便的手机购物。为了对这一复杂系统形成一致的理解,分析系统的正确性和可靠性,进而定量评估系统的绩效,需要建立一种严谨的可模拟系统动态运行的模型。由于无线自动售货机系统属于离散动态系统,本文采用了描述分布式并发系统的Pi-演算过程代数方法为系统建模。分别对系统的交易流程和物流配送过程建立了Pi-演算模型。对无线自动售货机系统的交易流程的建模采用自顶向下的建模方法,首先建立系统的主要活动模块的顶层Pi-演算模型,然后对这些模块进行细化,最后得出系统交易流程完整的Pi-演算模型;并用Pi-演算的形式化辅助工具MWB验证其正确性。为了能够对无线自动售货机系统物流配送过程进行建模,本文定义了一种带时间因素的Pi-演算,对无线自动售货机系统的物流配送过程建立了含有时间因素的Pi-演算模型;考虑到绩效分析的需要,还在不同的缺货情况下同时模拟两种系统物流配送过程的运行,通过选择最佳的配送路线,得出无线售货机物流配送过程与传统售货机物流配送过程工作效率的提高。本文为系统复杂的交易流程和物流配送过程建立了精确的Pi-演算模型,使系统的开发人员、监控人员和维护人员对系统形成了一致的准确的理解,为系统的分析和改进打下良好基础。同时对系统物流配送过程进行量化,实现了无线自动售货机系统的时间绩效分析。(本文来源于《大连理工大学》期刊2008-12-10）
孙秋萍,王玉珏,徐永红[8]（2007）在《水库自动调洪演算预报系统建立》一文中研究指出叁门峡水库不断调整运用方式,原有的在UCDOS运用环境下的BASIC预报程序,已不能适用变化了的河道特性、水库运用情况以及水文情报预报现代化的要求。在对水库运用方式、河道变化特性研究的基础上,研制开发用VB语言和Access数据库信息管理系统在Windows运行环境下的叁门峡水库自动调洪演算预报系统,对于叁门峡水库、小浪底水库的防洪调度运用以及目前黄河调水调沙试验、下游防汛工作都具有重要作用。(本文来源于《中国农村水利水电》期刊2007年07期）
刘琼,彭鑫,赵文耘[9]（2007）在《一种改进的基于Pi演算的Web服务自动组装方法》一文中研究指出提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。(本文来源于《计算机工程与应用》期刊2007年16期）
朱晓红[10]（2006）在《基于状态演算的网格服务自动组合技术研究》一文中研究指出网格是一种新的为实现资源整合和共享的高性能分布式计算平台。它将各种资源(计算资源、存储资源、设备资源、知识资源)根据需要集成到一个统一的网格平台上,实现资源的整合和贡献。开放网格服务体系结构OGSA是目前网格事实上的标准。它的基本思想是将网格上的资源和功能都抽象成服务,并为这些服务提供统一的接口。具体的网格应用即是根据应用目标和应用环境选择适合的网格服务组成一个执行序列进行执行。网格通过这种方式实现了分布在异地的多种资源的整合和共享。网格服务组合目前的发展目标是在减少或没有人参与的情况下,实现网格服务的自动发现、选择与组合。寻找一种适合的网格服务描述模型,对网格服务的功能、前置条件、运行结果进行精确描述是实现网格服务自动组合的前提。本文在分析现有的几种模型的基础上,选择并详细介绍了来源于语义Web技术的OWL-S服务描述模型。论文将网格服务的自动组合这一问题抽象为针对具体目标的动态领域的动态行为规划问题,基于OWL-S对网格服务的精确描述,采用状态演算这一动态行为规划方法对网格服务的自动组合进行分析。并在状态演算中为处理用户偏好,增加了意愿公理的表示和处理。从而给出了一种基于状态演算的网格服务自动组合方法OWL-SC。本文最后将OWL-SC的组合结果映射到Petri网模型,采用Petri网模型验证了网格服务自动组合结果的正确性。(本文来源于《重庆大学》期刊2006-04-20）
自动演算论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文通过对多目Pi演算的强开互模拟等价自动化验证算法的研究，针对已有算法中存在大量的递归调用、冗余数据、执行效率低等问题，建立了一套全新的数据结构用来表示多目Pi演算算式，并在此基础之上提出了对已有算法的优化建议。在多目Pi演算的强开互模拟等价自动化验证优化算法中，提出了一种新的算法执行方案，对算法中关键的Add方法和Match方法做出了修正，使得算法在处理拥有大量的并行与选择、抽象与凝结因子的多目Pi演算算式的时候，算法递归深度大量减少。同时对算法中的二元关系R和D的处理做出了修正，使得算法运行过程中的冗余数据大量减少，算法执行效率得到了优化。另外，本文还讨论了多目Pi演算的α等价与其强开互模拟等价验证之间的关系，并提出并实现了一个可行的α等价验证算法，使得算法整体的递归深度进一步减少，同时α等价验证算法也可以作为一个独立的功能呈现。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
自动演算论文参考文献
[1].陈志勇,李庆忠,王文明,崔立真,丛国进.基于流演算的Web服务自动组合方法[J].小型微型计算机系统.2013
[2].李天冶.多目Pi演算互模拟等价自动验证研究[D].吉林大学.2012
[3].刘一松,王莉莉,李倩倩.基于状态演算的通用游戏系统的自动推理[J].计算机工程与设计.2012
[4].李延红,岳厚光.基于Pi演算的OWl-s的Web服务的自动组合[J].信息与电脑(理论版).2011
[5].程锋涛.基于MWB的BPEL到π演算自动转换工具的研究与实现[D].西北大学.2010
[6].谭力.基于情态演算的UML形式化验证与OCL约束自动生成研究[D].华东师范大学.2010
[7].王丽超.基于Pi-演算的无线自动售货机系统建模与应用[D].大连理工大学.2008
[8].孙秋萍,王玉珏,徐永红.水库自动调洪演算预报系统建立[J].中国农村水利水电.2007
[9].刘琼,彭鑫,赵文耘.一种改进的基于Pi演算的Web服务自动组装方法[J].计算机工程与应用.2007
[10].朱晓红.基于状态演算的网格服务自动组合技术研究[D].重庆大学.2006