一、基于Pi演算的构件演化研究（论文文献综述）
张娓娓,李苗钰,石梅,朱省吾,黄位,郭军[1]（2021）在《一种分布式科技资源池架构及其交互行为分析》文中认为科技资源服务是云计算环境下数据服务领域的重要业务之一。但是,由于科技资源归属单位不同,条块分割,实现跨平台服务与共享存在很大障碍。为了解决资源空间分散、业务并发等问题,需要构建基于分布式虚拟化存储技术的科技资源服务业务虚拟化资源池,统一管理资源并提供可靠的数据访问和交互功能。针对这一应用背景,基于云计算理论,在软硬件虚拟化技术的基础上,该文提出了一种分布式虚拟化科技服务资源池多层次模型架构,该模型将资源池应用、汇聚、虚拟和物理层进行了统一描述;在此基础上,利用Pi演算这一描述移动并发系统的数学工具,对所构建的集成化科技资源服务模型的外部行为进行描述,通过Pi演算的推演规则分析系统的交互行为,形式化验证了模型系统数据汇聚和交互行为的安全性和可靠性。提出的模型和取得的研究结果可为实际系统的设计开发提供重要的理论依据和参考。
李响[2]（2018）在《基于云管程机制的SaaS软件动态演化方法研究》文中进行了进一步梳理随着云计算的不断发展,出现了有别于传统的软件模式。SaaS软件不仅改变了传统软件的商业模式,还改变了人们使用软件的方式。SaaS软件要求服务提供商随时随地按需为用户提供服务,停机状态下的静态演化方式将会对用户产生影响使得服务提供商承受经济损失。因此,SaaS软件对于动态演化的需求显得尤为迫切。文本旨在提出一种基于云管程机制的SaaS软件动态演化方法。首先对当前研究背景和国内外的研究现状进行了综述并介绍了本文的相关工作。然后根据SaaS软件可配置、多租户、可伸缩特点,提出了 SaaS软件的结构模型——SaaS软件元模型。它支持SaaS软件成熟度模型,能够建模任何成熟度等级的SaaS软件。SaaS软件元模型分为多个层次:应用层、软件实例层、租户层、表示层、云管程层、服务实体层。文中对SaaS软件元模型进行了形式化定义,并对每个成熟度等级的表示情况进行了讨论。之后以SaaS软件元模型为视图,提出云管程机制的动态演化方法。因为云管程层是SaaS软件功能的实现和执行层,所以SaaS软件的动态演化工作目标定位在云管程层。云管程是为SaaS 软件提供普适性支持和保证动态演化正确实施的特殊服务。这部分先对云管程的结构和功能进行了定义,然后根据不同的演化阶段制定演化规则。云管程机制的动态演化过程类似于操作系统中的进程切换,使用保护现场和跳转的方式换取执行过程的逻辑连续性。然后根据云管程层中的基本Petri网结构云服务网的不同结构,提出了适用于不同的结构的动态演化算法。顺序结构包括了服务的添加、删除和替换操作算法,它是其他所有结构的基础。在选择结构中提出分叉库所和汇合库所,并对这两种特殊结构的演化情况进行讨论。并发结构演化实施情况与前两种结构的类似。最后本文作者开发实现了支持云管程机制的工具CloudMonitor,它能够对SaaS软件云服务网的基本Petri网结构执行动态演化。以一个CRM系统为例进行案例分析。首先建立了这个CRM的结构模型,然后根据几个演化需求使用CloudMonitor工具对需要演化的云服网执行动态演化,并对执行结果进行分析,验证本文方法的可行性。
郑明,李彤,林英,周小煊,李响,明利[3]（2017）在《构件系统建模及其动态演化一致性验证方法》文中研究指明基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态演化一致性的验证准则;最后,提取演化前后构件系统的行为,并将其转换成便于Pi演算自动工具MWB（Mobility Workbench）识别的格式,以进行行为一致性验证。案例研究表明,该方法是可行且有效的。
徐飞[4]（2017）在《面向网络化控制的自适应中间件研究》文中提出随着分布式计算和网络通信技术水平的不断提高,网络化控制系统（Networked Control System,NCS）正朝着控制功能现场化、结构分布式化、系统开放化和产品集成化发展。网络化控制系统除了要解决信息调度、传送时延、通信资源优化和故障检测等基本问题外,还要处理被控对象的多样性、业务复杂性、环境的不可预知性、多种通信协议标准共存等学科交叉产生的新问题。这对网络化控制系统中间件平台的自适应性提出了更高的要求。中间件作为一种软件复用技术,能够处理底层环境的复杂性和异构性带来的问题,为上层应用提供高质量的开发和运行环境,具有动态重配置、可扩展、上下文敏感等特征,实现了节点间的协同处理及系统资源的共享。面向网络化控制系统的自适应中间件能够将控制系统从多种协议的透明处理、异质数据的复制、网络故障的辨识与处理、轻量化部署等问题中独立出来,屏蔽网络环境上下文的复杂性和异构性,使网络化控制领域应用可以专注于领域问题的建模、控制算法的设计、功能部件的封装,更好的支持网络化控制系统的节点重构、功能重构和协议栈的重构。本文从软件工程和自适应体系结构的方法入手,研究了面向网络化控制系统的自适应中间件基础理论和关键技术,包括其自适应构件模型、支持重构的微内核设计、QoS管理框架和面向服务的动态配置框架等,具体研究成果和创新点有:（1）提出了一种自适应中间件构件模型对高阶Pi演算语法进行了扩展,构建了一类面向网络化控制的自适应构件模型（Networked Control Oriented Adaptive Component Model,NCOACM）;提出了分布式资源边界的概念并增加了自适应语义要素和行为要素,利用Pi演算中的进程元素来描述构件的计算功能,使得构件的功能描述独立于编程语言的实现。NCOACM构件模型支持构件结构和行为的动态重配置,可以对上下文环境要素的变化进行辨识,使构件实体具有适应开放、动态和多变环境的感知能力,满足差异化的业务需求并支持对多种网络协议的自适应。（2）设计了支持可重构的构件化微内核利用反转控制和切面分离的思想设计了中间件的微内核（NCOACM based Adaptive Middleware Micro-Kernel,NBMMK）,实现对NCOACM构件实例的生命周期管理;设计了构件演化决策、演化事务性包装、演化一致性分析和演化完整性分析等算法;结合网络化控制系统的领域特征对“构件容器”和“连接子”的语义内涵进行了扩展,更好的支持构件的主动重构;将构件管理框架设计为NBMMK的内核服务,其它的资源管理功能设计为插件式的非内核服务,使NBMMK具有较低的实时资源消耗和较好的可扩展性与自适应性。（3）提出了面向构件的QoS管理框架对NCS的环境上下文因素进行抽象,利用关注点分离的方法,建立面向领域的QoS概念模型,设计了支持跨域的QoS策略封装机制;通过扩展OMG接口定义语言来构造面向构件的QoS策略管理框架,实现了网络资源的优化配置,使网络化控制应用可以更加便捷的实现对多种网络协议栈的自适应;最后,在QoS构件的资源满足及构件部署仿真等实验中验证了多层QoS策略框架的合理性及相关算法的有效性。（4）设计了中间件的业务层服务化架构及其相关算法设计了面向服务（Service-Oriented Architecture,SOA）的中间件业务层架构,将该层的核心事务、调用逻辑和过程约束抽象为服务,将网络化控制应用视为若干服务组成的有机体;设计了服务发现、服务调用、服务配置等相关算法,使得业务层能适应领域上下文的变化并可对组成结构、行为功能进行在线的动态配置,使中间件具有外省式的自适应能力,最后在QoS目标优化的服务组合仿真中验证了服务化架构的合理性和相关算法的有效性。（5）设计了自适应中间件原型系统利用OSGi框架设计了基于NCOACM构件模型、具有轻量化内核结构的自适应中间件原型系统。该原型系统利用反射技术构建,包括了平台抽象层、自适应通信层、构件框架层和服务层等基本结构,支持跨域的QoS参数映射;设计了构件生命周期管理、QoS策略管理等以核心服务,其他非核心服务以插件的方式集成到微内核中。最后,在网络控制器的效能评估仿真实验及中间件内核的可伸缩性评估仿真实验中对原型系统及相关模型、算法的可行性进行评估,验证了本文提出的自适应中间件相关理论与方法的有效性。
曹国荣[5]（2015）在《Web服务适配关键技术研究》文中指出面向服务是目前软件工程领域重要的发展趋势之一。以Web服务为基础的分布式计算模式“面向服务的计算”是面向服务的软件应用的最重要标志。该计算模式提出以服务作为构建软件的基本单元,希望通过统一的技术规范来达到网络软件资源的充分利用和共享。然而,现有Web服务往往由众多不同的软件开发机构提供,这导致Web服务在接口描述语言、功能实现、运行行为上存在广泛的异构性,实际可复用性较差,严重阻碍了面向服务的计算技术的推广和应用。虽然Web服务描述语言标准化在一定程度上降低了Web服务的异构性,但是仍无法彻底消除这种异构性。如何克服Web服务资源的异构性,提高Web服务间协同的正确性和可靠性成为实施面向服务的软件应用的关键问题。Web服务适配为解决上述问题提供了可行的方法,成为推动和实施面向服务的软件应用的关键技术。Web服务适配的概念源于软件适配,是对软件适配技术的继承和发展。在Web服务适配提出之前,软件适配主要为小范围小规模的软件复用问题提供解决方案;之后,软件适配主要是指Web服务适配,为大范围大规模的网络软件资源的企业业务集成提供协同正确性和可靠性解决方案。基于分布、异构的Web服务,如何通过适配来构筑新的业务应用已成为软件工程领域的一个新的热点问题。本文以上述需求为背景,展开Web服务适配关键技术研究,主要工作和创新点包括:（1）Web服务形式化模型Web服务的描述信息可划分为标签层、行为层、语义层和质量层四个层次。本文在分析现有Web服务形式化模型的基础上,提出了层次扩展Web服务模型HESM（Hierarchical and Extensible Service Model）。HESM模型包括标签层和行为层描述信息,标签层刻画Web服务接口的基本信息,主要包括消息、消息类型和动作（操作）。行为层可以选择使用标记迁移系统、服务流网或PI演算刻画Web服务的交互行为。标记迁移系统可以刻画Web服务的交互行为,提供直观的状态集和状态迁移关系,服务流网可以刻画Web服务动作之间的控制依赖和消息之间的数据依赖关系,PI演算可以刻画通信结构动态变化的Web服务。而且,服务流网和PI演算都具有迁移系统语义,可以实现它们到标记迁移系统的等价转换。对HESM模型进行扩展,通过添加本体描述可以刻画Web服务的接口语义,通过添加安全属性也可以刻画Web服务的接口安全需求。HESM模型在对Web服务建模时,全面考虑了影响Web服务交互的各种因素,其通过分层描述、扩展描述和综合的行为描述支持精确的Web服务刻画和分析,为Web服务适配关键技术问题的顺利解决提供了坚实的形式化基础。（2）web服务可适配性分析方法web服务适配并不能保证解决所有失配（mismatches）问题,因此,web服务适配总会面临失败的风险。本文针对该问题,系统地提出了web服务可适配性的概念和分析方法。可适配性是指一组web服务是否可通过适配器调解实现正确的交互,可适配性分析则是一种用来检测web服务可适配性的技术。在服务规模较大时,基于组合服务流网可达图的行为可适配性分析方法容易引起状态空间爆炸。针对该问题,本文提出了一种基于组件服务流网可达图的行为可适配性分析方法。该方法基于组件服务流网间的通信,生成每个组件服务流网的可达图,通过分析组件服务流网可达图的状态结点确定交互服务的行为可适配性。通过算法分析以及实例分析表明,采用组件服务流网可达图可以大大节省空间开销,有效避免状态空间爆炸问题的发生。（3）基于本体的web服务动作映射生成方法动作映射作为一种简单且普遍使用的适配器规约,在web服务适配中占有重要地位。目前动作映射主要依靠人工生成,工作量大、容易出错,基于类型的web服务动作映射生成方法准确性低,会产生大量的错误动作映射。同时,目前针对生成的动作映射缺乏有效的正确性验证手段。针对上述问题,本文通过对hesm模型扩展本体描述,提出了基于本体的web服务动作映射生成方法。该方法不仅实现了web服务动作映射的自动生成,而且准确性高。在此基础上,本文提出通过检查通信数据依赖性以及分析服务行为可适配性等方式来验证生成的动作映射的正确性。这些方法对自动化web服务适配技术的发展具有重要意义。（4）基于标记迁移系统乘积的web服务行为适配方法针对web服务行为失配问题,本文提出了基于标记迁移系统模拟广播乘积的行为适配器生成方法和基于标记迁移系统交互乘积的行为适配器正确性验证方法,并结合实例说明了上述方法的有效性。该方法基于标记迁移系统乘积获取并验证交互服务的行为适配器,是一个完全自动化的推导过程。该方法的最重要特征是将每个动作映射转换为一个对应的标记迁移系统表示,使用标记迁移系统的状态迁移表示动作间的通信数据依赖关系。同时,该方法支持多web服务适配,可为交互服务生成唯一的适配器。因此,该方法对研究基于形式化模型的web服务自动化适配以及大规模web服务适配具有重要价值。（5）动态web服务适配静态web服务适配方法难以支持web服务的动态演化或更新,本文针对该问题提出了一种动态web服务适配方法。该方法基于标记迁移系统对适配器实例行为建模,通过控制适配器实例的运行实现web服务行为适配。与静态web服务适配方法相比,该方法仅针对交互服务部分行为适配,适配的开销以及适配失败的风险都显着降低。由于动态Web服务适配仍存在适配失败的风险,本文提出了一种面向动态Web服务适配的行为可适配性分析方法,该方法通过深度优先遍历交互服务后续行为的状态空间是否可终止来判定交互服务当前状态下的行为可适配性。结合该方法,本文探讨了两种改进的适配器实例运行控制算法,一种改进算法可在服务适配失败前提前返回,这对强实时性Web服务系统的错误恢复具有一定价值;另一种改进算法通过限制交互服务的可执行动作集,可以有效避免动态Web服务适配失败。（6）Web服务安全适配Web服务安全适配是指适配器能够对接收到的数据进行解密和安全验证,同时能够对发送的数据进行加密和签名。本文针对Web服务安全失配问题进行了初步探讨,提出了扩展安全属性的HESM模型,该扩展模型将Web服务安全基础规范中的密钥、时戳、加密、签名等要素分别抽象为模型中的安全属性和安全函数。在此基础上,本文提出了一种安全适配器规约自动生成方法和一种安全适配器规约验证方法,实现了安全适配器规约的自动生成和验证。安全适配器规约自动生成方法将扩展安全属性的HESM模型简化为HESM模型,然后借助Web服务动作映射生成方法生成动作映射,进而生成安全适配器规约。安全适配器规约验证方法对生成的安全适配器规约进行消息解析和消息创建,然后返回适配器的默认数据集,通过分析该数据集来判定生成的安全适配器规约的正确性。此外,安全适配器规约还可以辅助实施Web服务交互的安全验证。综上所述,本文针对目前Web服务适配技术中亟待解决的几个关键问题提出了有效的解决方案,对于进一步推动Web服务适配技术的理论研究和实用化具有重要意义。
丁莹莹[6]（2014）在《基于协同的服务组合与验证》文中研究指明语义Web服务（Semantic Web Services，SWS）是用语义Web标记语言来描述服务的技术，它使Web服务成为计算机可以理解的实体，从而支持服务的自动发现、执行和组合等。本文研究的是基于协同的服务组合与验证，主要目标是在Agent系统上实现Web服务的协同工作，完成自动组合，生成相应的组合序列。本文主要成果有以下四个方面：（1）深入研究了语义Web本体语言OWL及语义Web服务描述语言OWL-S，并通过本体开发工具Protégé来开发本体，运用OWL-S Editor插件同Protégé开发工具来开发OWL-S，并通过购书服务的实例实现了OWL本体的开发和实现了OWL-S的服务描述。（2）采用将OWL-S模型和状态演算相结合的一种服务自动组合方法，用状态演算描述语言Golog语言描述OWL-S服务，以电子商务中购书为例进行分析，分析出所涉及的原子服务，然后根据原子服务的协同交互运用Golog语言进行描述组合，并生成了相应的序列。（3）设计了一种基于多Agent系统平台的Web服务组合模型，并进行了实例研究分析模拟。通过电子商务购书实例的演示系统初步验证了基于协同的服务组合的可行性。（4）采用Pi演算算法对服务组合方法及产生的序列进行进一步验证，并运用Pi演算算法对Web服务可能的行为动作进行描述，验证出了上述服务所产生的服务序列是兼容的。
马超[7]（2013）在《价值知觉的服务系统设计模型分析与优化方法》文中进行了进一步梳理近年来，现代服务业发展迅猛，已成为服务产业中最具活力和最令人瞩目的现代高技术产业，受到世界各国的高度重视。研究如何设计、开发和管理IT使能的服务系统，以支持现代服务业的持续发展成为服务学中的一项重要任务。因此，服务工程成为了服务学中的一个重点研究领域。服务工程可以看做是软件工程的一种扩展，但是对于具有社会化技术特征的服务系统，传统的软件工程缺乏有效的解决方法。因此，有必要发展独立的服务工程方法。随着“服务化”逐渐成为计算机软件领域的主流思想，人们从以往更多地关注服务系统的功能和质量，转向更多地关注服务系统的价值。但是目前的服务工程方法对服务价值这一服务系统的重要特征关注不够。而服务工程方法与传统的软件工程方法最大的不同是它应该更加关注服务价值以及创造服务价值的协同交互过程。为了解决这一问题，本课题组提出了价值知觉的服务工程方法论（Value-Aware Service Engineering and Methodology, VASEM）。价值知觉是指在服务全生命周期内的每个阶段均将价值作为设计决策的核心依据，在进入下一阶段之前进行面向价值的评价分析，确保所有价值均得到折中性的满足。VASEM通过在全生命周期执行各种价值知觉活动（例如，价值声明、价值保持、价值分析与优化等），以保证最终实现的IT使能的服务系统能够最大化的向服务参与者交付服务价值。本文的研究内容是价值知觉的服务工程方法论VASEM的主体部分，重点关注服务系统的设计阶段，提出了价值知觉的服务系统设计模型分析与优化方法。本文研究了价值知觉的服务工程方法论VASEM与服务价值的相关概念、服务价值性质与服务价值模型、面向VASEM建模的价值标注和度量方法、面向价值的服务模型分析与优化。具体研究内容包括：1)价值知觉的服务工程方法论VASEM和服务价值相关概念。在明确了本文研究服务的范围的基础上，针对传统服务工程方法对服务价值关注不够这一问题，提出了价值知觉的服务工程方法VASEM，并给出了VASEM的提出背景、框架和主要研究内容。从服务工程的角度，对服务价值进行了定义，并对服务价值进行了分类，初步讨论了服务价值的表示和特征。此外，研究了VASEM中服务模型需要包括哪些语义以及服务模型与价值模型之间的关系。2)服务价值性质与服务价值模型。为了支持在服务系统的设计过程中实现各种价值知觉活动，需要研究服务价值的各种性质，特别是针对依赖关联性，本文研究了服务价值之间各种价值依赖关系的形式化表示和度量方法。在此基础上，提出了从不同维度、不同层次支持对服务系统的价值特征建模的服务价值模型：服务价值声明模型、面向参与者的价值网、价值依赖模型和价值标注模型。3)面向VASEM建模的价值标注和度量方法。在给出了VASEM的一般建模过程的基础上，重点研究了如何通过合理的迭代式建模过程来实现服务模型中服务要素质量参数的优化设计，提出了价值知觉的迭代式服务建模过程。针对迭代过程中的“价值标注”和“价值度量”两种价值知觉活动，分别提出了价值的半自动标注方法和基于语义的价值度量方法。4)面向价值的服务模型分析与优化。将初步设计完成的服务模型作为分析对象，从功能和性能两个角度对价值期望约束被服务模型满足的情况进行分析，提出了基于扩展Pi演算的服务价值分析方法。为了提高面向价值的服务模型优化的效率，对服务要素的面向价值的优先级（Value Oriented Priority, VOP）进行了量化分析，提出了基于关系树的服务要素VOP分析方法。针对初步设计完成的服务模型没有能够满足价值期望约束的情况，研究如何通过修改服务要素质量参数的方式来实现对服务模型的优化，提出了基于VOP的服务价值优化方法，并通过仿真实验验证了方法的有效性。最后，为了验证理论研究成果，设计并实现了VASEM建模工具的原型系统，同时将威海海运物流出口服务作为应用案例，通过对海运物流出口服务系统进行建模，然后对初步设计完成的服务模型执行价值度量、价值分析与优化等活动来验证本文提出的理论和方法，分析了理论验证效果。
周学尧[8]（2013）在《面向方面的网构软件动态演化一致性保障技术研究》文中研究表明随着用户需求和开放的网络计算环境的不断变化,软件复杂性与演化要求也随之不断增强,实现Internet软件的自适应性和软件系统的动态演化对那些连续运行、安全攸关的应用有着重要的意义。由于系统关注点的彻底分离有助于动态演化的实现,所以从面向方面软件体系结构出发,研究方面化网构软件动态演化的一致性技术,以确保动态演化的正确、可行。首先,扩展了Darwin语言,通过新增方面定义构建ADarwin语言,使之用于描述可动态演化面向方面软件体系结构。由于面向方面软件体系结构是方面化构件系统的高层抽象和集成蓝图,它的形式化描述和分析能够为体系结构动态演化的一致性验证提供行为和语义基础。因此基于Pi-演算提出了ADarwin的面向方面软件体系结构的语义模型,设计了方面化构件动态演化行为一致性验证方法,对演化后方面化构件的行为交互进行推导,最终判断演化是否行为一致。其次,设计了一种方面化构件系统动态编织框架DWA（Dynamic Weaving framework for Aspectual component-based system）,给出了DWA框架与体系结构规约、系统实现之间的映射关系。通过ADarwin语言形式化描述了方面化构件动态演化过程。通过实例研究阐述DWA框架的具体实现技术,保证了面向方面体系结构规约和方面化系统实现之间的一致性关系。最后,以一个方面化构件系统——酒店管理系统为例,针对动态演化行为一致性验证方法及DWA演化框架进行分析。分析结果表明,新增的方面相关切入点健壮性验证是对当前行为一致性验证方法的补充,有效的验证了方面化构件系统演化行为的一致性,而DWA也在实例验证下证明了对方面化构件动态演化的支持能力。
何俊[9]（2013）在《需求驱动的SaaS服务演化研究》文中研究表明随着信息技术的高速发展,人们迎来了新一轮技术变革。近年来,SaaS作为云计算的主要服务提供模式之一已成为研究热点,软件技术也将随着云计算的产生和深入应用发生深远变化,并对原有的软件工程理论提出了新的要求。本文根据SaaS模式的“单实例,多租户”、功能可伸缩、按需服务等特性,以租户需求为驱动,研究SaaS服务的演化理论和方法。通过建立SaaS服务演化的总体概念框架,采用OWL-S、Pi演算及其扩展作为形式化工具,对SaaS服务演化的需求规约、需求转换映射、演化操作模型、模型分析等进行深入研究,从需求、流程和服务三个层面研究演化过程。主要研究工作为：1.建立SaaS服务演化的总体概念框架。以整体论的思想方法为指导,站在全局的角度研究SaaS服务演化的思路,建立以租户需求为驱动的SaaS服务演化分层概念框架,为后续研究提供框架性指导。2.提出一种SaaS服务需求规约的形式化描述及演化方法。对Web服务本体描述语言OWL-S进行扩展,增加演化位置和演化内容描述,使其可对SaaS需求规约进行形式化描述,并建立起SaaS服务需求和OWL-S的对应关系和描述方法,用OWL-S来表示或刻画SaaS服务需求规约及演化。研究了SaaS服务需求规约中可能存在的冲突类型,以及冲突检测和消解方法。3.建立SaaS服务流程演化模型。对经典Pi演算进行扩展,形式化表示和描述SaaS服务流程,并建立服务流程演化模型,对服务流程演化前后的互摸拟程度问题,以及模型簇膨胀问题进行研究,提出对应的解决方法。用Pi演算验证SaaS服务流程的可达性、死锁和活锁问题。4.建立基于扩展Pi演算的SaaS增量式服务演化模型。以原子服务为演化的基本单元,建立增量式服务演化模型。针对SaaS服务演化多租户环境下的复杂需求,提出增量式服务演化解决方案,研究服务的原子演化操作和和操作复合问题,并利用互摸拟理论证明复合顺序结果的等价性,以及服务演化的一致性。通过分析、设计和实现,开发出SaaS演化辅助平台,以日志数据库、0WL解析引擎及接口、Graph引擎及接口等为基础,实现演化需求描述图形化表示、日志分析等工具。并通过两个典型案例的分析来说明本文所研究理论和方法的可行性和实用性。总之,本文提出一种以租户需求为驱动的SaaS服务演化方法,建立了该方法的理论体系,指导SaaS服务的演化过程,为实现云计算环境下的软件演化提供了一种有效途径。
王智[10]（2012）在《一种新型Pi演算到BufferPetri网的语义转换研究》文中认为Buffer-Pi演算是经典Pi演算的一种扩展形式，它主要用于具有异步交互行为的系统建模和分析中，它将异步这一抽象概念通过具体的缓冲区构件形式引入到Pi演算当中，使得在系统中的同步与异步交互方式都得以描述。本文中将缓冲区构件作为独立的概念提出来，并通过与调度器的交互，达到协调控制异步行为的目的，它结合了相关学者对异步交互的处理方式——并行和缓冲区机制，以增强Pi演算的异步交互行为的描述能力。通过将新的缓冲区算子与Pi演算中的动作动态关联起来，将缓冲区操作算子的语义和Pi演算本身的操作语义融合，从而实现了缓冲区与Pi演算集成和相互作用，避免了对基本Pi演算直接进行扩充，降低了复杂性，弥补了基本Pi演算中无法直接对异步交互系统进行建模的不足。本文的后半部分提出了针对Buffer-Pi演算向高级Petri网进行转换的方法，由于直接进行Buffer-Pi演算的Petri网转换是有困难的，为了便于转换，首先在Buffer-Pi演算中引入索引的概念，并定义一个基于索引Buffer-Pi演算的上下文表达方法，对Buffer-Pi演算进行转换，它分离了有关控制流的静态特征和有关通道替换和通道绑定的动态特征，使得这两部分分别进行Petri网的语义转换，使得原本复杂的问题简单化。
二、基于Pi演算的构件演化研究（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、基于Pi演算的构件演化研究（论文提纲范文）
（1）一种分布式科技资源池架构及其交互行为分析（论文提纲范文）
| 0 引 言 |
| 1 相关工作 |
| 1.1 云计算与虚拟化技术 |
| 1.2 Pi演算理论 |
| 2 分布式科技资源池应用架构 |
| 3 资源池数据汇聚行为分析 |
| 3.1 Pi演算的代数定义 |
| 3.2 数据汇聚行为的Pi演算描述 |
| 3.3 客户访问集成资源的Pi演算描述 |
| 4 结束语 |
（2）基于云管程机制的SaaS软件动态演化方法研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 引言 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究现状 |
| 1.3 论文选题依据 |
| 1.4 论文的主要工作 |
| 1.5 论文的创新点 |
| 1.6 论文的组织结构 |
| 第二章 相关综述及基础 |
| 2.1 云计算 |
| 2.1.1 云计算的发展 |
| 2.1.2 SaaS软件成熟度模型 |
| 2.2 软件演化 |
| 2.3 管程 |
| 2.4 PETRI网 |
| 第三章 SAAS软件元模型 |
| 3.1 概念 |
| 3.2 建模思路 |
| 3.3 对SAAS软件成熟度模型的支持 |
| 3.4 形式化建模 |
| 第四章 云管程机制 |
| 4.1 概念 |
| 4.2 形式化定义 |
| 4.3 演化规则 |
| 4.4 顺序结构的动态演化实施 |
| 4.5 选择结构的动态演化实施 |
| 第五章 案例分析 |
| 5.1 建立结构模型 |
| 5.2 动态演化实施 |
| 5.2.1 演化需求1 |
| 5.2.2 演化需求2 |
| 5.2.3 演化需求3 |
| 5.2.4 演化需求4 |
| 第六章 总结与展望 |
| 6.1 总结 |
| 6.2 展望 |
| 参考文献 |
| 攻读硕士学位期间完成科研成果 |
| 致谢 |
（3）构件系统建模及其动态演化一致性验证方法（论文提纲范文）
| 1 引言 |
| 2 基于进程代数的构件建模及一致性验证方法概览 |
| 3 基于进程代数的构件建模及构件系统建模 |
| 3.1 构件建模 |
| 3.2 构件系统建模 |
| 4 构件系统外部行为进程代数表达式形式提取算法及一致性验证准则 |
| 4.1 构件系统外部行为进程代数表达式形式提取算法 |
| 4.2 构件系统动态演化前后一致性验证准则 |
| 5 案例分析 |
| 5.1 网上在线列车订票的构件系统建模 |
| 5.2 网上在线列车订票的构件系统形式化描述与一致性验证 |
（4）面向网络化控制的自适应中间件研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 课题的研究背景及意义 |
| 1.1.1 网络化控制系统基本概念 |
| 1.1.2 网络化控制系统存在的问题 |
| 1.1.3 中间件技术与网络化控制系统 |
| 1.1.4 面向网络化控制系统的中间件面临的问题 |
| 1.2 自适应中间件概述 |
| 1.2.1 自适应中间件的定义 |
| 1.2.2 自适应中间件的体系结构 |
| 1.2.3 自适应中间件的研究现状 |
| 1.3 面向网络化控制的自适应中间件的关键技术 |
| 1.4 论文研究内容和贡献 |
| 1.5 论文结构 |
| 第二章 相关基础理论 |
| 2.1 引言 |
| 2.1.1 自适应软件概述 |
| 2.1.2 自适应软件的特点 |
| 2.1.3 自适应软件的实现技术 |
| 2.2 自适应体系结构理论 |
| 2.2.1 体系结构描述语言 |
| 2.2.2 自适应软件体系结构研究成果 |
| 2.3 分布式系统的形式化模型 |
| 2.3.1 基于图形化的模型 |
| 2.3.2 基于通信系统演算的模型 |
| 2.4 网络服务质量保证理论 |
| 2.4.1 QoS的关键指标 |
| 2.4.2 QoS的管理框架 |
| 2.4.3 QoS调度及跨层感知 |
| 2.5 小结 |
| 第三章 面向网络化控制的自适应构件模型 |
| 3.1 引言 |
| 3.1.1 自适应构件模型综述 |
| 3.1.2 分布式构件模型 |
| 3.1.3 基于Pi演算的分布式构件模型 |
| 3.2 NCOACM构件模型 |
| 3.2.1 NCOACM构件理论模型 |
| 3.2.2 NCOACM构件实现模型 |
| 3.2.3 NCOACM分布式资源边界 |
| 3.2.4 NCOACM自适应性语义要素 |
| 3.2.5 NCOACM自适应行为要素 |
| 3.3 自适应构件交互模式 |
| 3.3.1 广播交互模式 |
| 3.3.2 代理者模式 |
| 3.3.3 P2P模式 |
| 3.4 小结 |
| 第四章 支持可重构的构件化微内核 |
| 4.1 引言 |
| 4.1.1 微内核 |
| 4.1.2 相关工作 |
| 4.2 NBMMK构成要素 |
| 4.2.1 原子件与复合体 |
| 4.2.2 自适应构件实例 |
| 4.3 NBMMK连接子管理框架 |
| 4.3.1 NCMF的框架元素 |
| 4.3.2 NCMF的元接口 |
| 4.4 NBMMK构件容器模型 |
| 4.4.1 容器环境端口 |
| 4.4.2 容器感知连接子 |
| 4.5 NBMMK重构机制的设计 |
| 4.5.1 构件装配的一致性分析 |
| 4.5.2 构件的演化过程管理 |
| 4.5.3 构件的演化容错管理 |
| 4.6 仿真实验 |
| 4.7 小结 |
| 第五章 面向构件的QoS管理框架 |
| 5.1 引言 |
| 5.1.1 QoS概述 |
| 5.1.2 QoS中间件 |
| 5.2 QoS语义模型 |
| 5.2.1 QoS元模型 |
| 5.2.2 QoS管理模型 |
| 5.3 QoS构件的资源调度服务 |
| 5.3.1 QoS资源满足算法 |
| 5.3.2 QoS构件部署算法 |
| 5.4 跨域的QoS感知策略 |
| 5.4.1 QoS感知策略管理框架 |
| 5.4.2 QoS资源发现算法 |
| 5.5 仿真实验 |
| 5.5.1 QoS构件资源满足仿真实验 |
| 5.5.2 QoS构件部署仿真实验 |
| 5.6 小结 |
| 第六章 面向服务的动态配置 |
| 6.1 引言 |
| 6.1.1 服务选择概述 |
| 6.1.2 服务选择的策略 |
| 6.2 QoS驱动的服务选择模型 |
| 6.2.1 基于反射的服务选择处理框架 |
| 6.2.2 QoS目标驱动的决策模型 |
| 6.3 服务选择的处理 |
| 6.3.1 服务选择的处理框架 |
| 6.3.2 服务选择的评估 |
| 6.4 仿真实验 |
| 6.5 小结 |
| 第七章 自适应中间件原型系统的设计 |
| 7.1 OSGi概述 |
| 7.2 基于OSGi的开放式框架 |
| 7.2.1 原型系统框架结构 |
| 7.2.2 服务发布及注册机制的设计 |
| 7.2.3 构件管理层的设计 |
| 7.2.4 通信服务抽象层的设计 |
| 7.3 仿真实验 |
| 7.3.1 网络时延下状态反馈控制器设计 |
| 7.3.2 中间件的资源服务能力评估 |
| 7.5 小结 |
| 第八章 总结及未来工作 |
| 8.1 工作总结 |
| 8.2 未来工作展望 |
| 参考文献 |
| 致谢 |
| 攻读博士学位期间发表的学术论文和参加科研情况 |
| 发表学术论文情况 |
| 参加科研情况 |
（5）Web服务适配关键技术研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第一章 绪论 |
| 1.1 研究背景 |
| 1.1.1 软件适配 |
| 1.1.2 Web服务与Web服务适配 |
| 1.2 研究现状 |
| 1.2.1 Web服务形式化模型 |
| 1.2.2 Web服务可适配性分析 |
| 1.2.3 Web服务适配方法 |
| 1.3 研究现状的总结与分析 |
| 1.4 主要研究内容 |
| 1.5 论文结构 |
| 第二章 Web服务形式化模型 |
| 2.1 基于迁移系统的服务行为模型 |
| 2.2 基于进程代数的服务行为模型 |
| 2.3 基于Petri网的服务行为模型 |
| 2.4 Web服务标准模型与标准基础模型 |
| 2.4.1 基于迁移系统的Web服务标准模型与标准基础模型 |
| 2.4.2 基于进程代数的Web服务标准模型与标准基础模型 |
| 2.4.3 基于网的Web服务标准模型与标准基础模型 |
| 2.5 层次扩展Web服务模型 |
| 2.5.1 模型定义 |
| 2.5.2 对偶 |
| 2.5.3 标记迁移系统乘积 |
| 2.5.4 适配器规约 |
| 2.5.5 模型的特点及优势 |
| 2.6 Web服务系统实例 |
| 2.6.1 旅行信息服务系统 |
| 2.6.2 在线多媒体服务系统 |
| 2.6.3 网络文件服务系统 |
| 2.7 小结 |
| 第三章 Web服务可适配性分析 |
| 3.1 Web服务兼容性与分析方法 |
| 3.2 Web服务行为可适配性与分析方法 |
| 3.2.1 服务行为可适配性的概念 |
| 3.2.2 基于动作映射的服务行为可适配性分析方法 |
| 3.3 基于组件服务流网可达图的服务行为可适配性分析方法 |
| 3.3.1 组件服务流网可达图生成算法 |
| 3.3.2 组件服务流网可达图生成算法空间开销分析 |
| 3.3.3 服务行为可适配性判定算法 |
| 3.3.4 实例分析 |
| 3.4 相关工作 |
| 3.5 小结 |
| 第四章 基于本体的Web服务动作映射生成方法 |
| 4.1 基于本体标注的Web服务 |
| 4.2 基于本体的Web服务动作映射生成方法 |
| 4.2.1 参数自动匹配 |
| 4.2.2 动作映射生成 |
| 4.2.3 输入输出转换 |
| 4.2.4 动作映射正确性验证 |
| 4.3 实验及结果分析 |
| 4.3.1 基于本体和基于类型两种动作映射生成方法比较 |
| 4.3.2 动作映射正确性验证方法的有效性验证 |
| 4.4 相关工作 |
| 4.5 小结 |
| 第五章 基于标记迁移系统乘积的Web服务行为适配方法 |
| 5.1 动作映射的标记迁移系统表示 |
| 5.2 Web服务行为适配器创建和验证方法 |
| 5.2.1 1-0 适配 |
| 5.2.2 0-1 适配 |
| 5.2.3 1-1 适配 |
| 5.2.4 1-n适配 |
| 5.2.5 n-1 适配 |
| 5.2.6 m-n适配 |
| 5.2.7 顺序适配 |
| 5.3 实例分析 |
| 5.4 小结 |
| 第六章 动态Web服务适配 |
| 6.1 动态Web服务适配的概念 |
| 6.2 支持动态Web服务适配的框架机制 |
| 6.2.1 框架组成和主要运行流程 |
| 6.2.2 适配器实例行为模型 |
| 6.2.3 适配器实例运行控制算法 |
| 6.3 面向动态Web服务适配的行为可适配性分析 |
| 6.4 实验分析 |
| 6.5 小结 |
| 第七章 安全Web服务适配 |
| 7.1 Web服务安全基础规范 |
| 7.2 基于安全要素的Web服务形式化模型 |
| 7.3 服务安全适配方法 |
| 7.3.1 安全适配器规约自动生成方法 |
| 7.3.2 安全适配器规约自动验证方法 |
| 7.4 小结 |
| 第八章 总结与展望 |
| 8.1 本文主要贡献 |
| 8.2 未来工作展望 |
| 致谢 |
| 参考文献 |
| 作者在学期间取得的学术成果 |
（6）基于协同的服务组合与验证（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 1.1 研究背景 |
| 1.2 研究现状 |
| 1.3 研究目标 |
| 1.4 主要研究内容 |
| 1.5 论文组织结构 |
| 第2章 语义 Web 服务描述 |
| 2.1 协同定义 |
| 2.2 语义 Web 服务 |
| 2.2.1 语义 Web |
| 2.2.2 语义 Web 服务 |
| 2.3 语义 Web 本体标记语言 OWL |
| 2.3.1 本体定义 |
| 2.3.2 本体建模元素 |
| 2.3.3 本体语言 OWL |
| 2.4 语义 Web 服务描述 OWL-S |
| 2.4.1 语义 Web 服务 OWL-S 的模型 |
| 2.4.2 OWL-S 与其他服务描述语言对比 |
| 2.4.3 OWL-S 描述实例 |
| 2.5 本章小结 |
| 第3章 基于协同的服务组合 |
| 3.1 状态演算概述 |
| 3.2 用状态演算支持服务组合 |
| 3.3 状态演算逻辑编程语言 Golog 系列 |
| 3.4 服务组合 |
| 3.4.1 服务组合方案生成策略 |
| 3.4.2 电子商务购书服务组合实例 |
| 3.5 本章小结 |
| 第4章 多 Agent 系统平台的 Web 服务组合模型 |
| 4.1 多 Agent 系统设计 |
| 4.1.1 多 Agent 系统概述 |
| 4.1.2 多 Agent 系统设计模型 |
| 4.2 多 Agent 服务组合模型实现 |
| 4.2.1 网上购书案例分析 |
| 4.2.2 购书服务的 OWL-S 得标记语言 |
| 4.2.3 开发工具的选择 |
| 4.2.4 服务组合规划 Agent 的设计 |
| 4.3 本章小结 |
| 第5章 基于 Pi 演算的服务组合验证 |
| 5.1 Pi 演算 |
| 5.1.1 Pi 演算简介 |
| 5.1.2 Pi 演算的语法定义 |
| 5.1.3 Pi 演算的操作语义 |
| 5.1.4 Pi 演算的算法的等价规则 |
| 5.2 服务组合的兼容性验证 |
| 5.2.1 Web 服务的行为 |
| 5.2.2 Web 服务的兼容性 |
| 5.2.3 Pi 演算中 Web 服务交互 |
| 5.2.4 服务组合的兼容性验证 |
| 5.3 本章小结 |
| 结论 |
| 参考文献 |
| 攻读硕士学位期间发表的论文 |
| 致谢 |
（7）价值知觉的服务系统设计模型分析与优化方法（论文提纲范文）
| 摘要 |
| Abstract |
| 目录 |
| Contents |
| 第1章 绪论 |
| 1.1 课题研究背景及意义 |
| 1.2 相关问题的研究现状 |
| 1.2.1 服务价值理论 |
| 1.2.2 服务模型及建模方法 |
| 1.2.3 面向价值的服务分析方法 |
| 1.2.4 面向价值的服务优化方法 |
| 1.2.5 相关待深入研究的问题 |
| 1.3 课题来源 |
| 1.4 主要研究内容和论文章节安排 |
| 1.4.1 主要研究内容 |
| 1.4.2 论文章节安排 |
| 第2章 价值知觉的服务工程方法论及服务语义基础 |
| 2.1 服务与服务工程方法论 |
| 2.1.1 服务与服务系统 |
| 2.1.2 服务工程方法论 |
| 2.2 价值知觉的服务工程方法论 |
| 2.2.1 VASEM 提出背景与价值知觉概念 |
| 2.2.2 VASEM 框架 |
| 2.2.3 VASEM 的方法内容 |
| 2.3 服务价值 |
| 2.3.1 服务价值的定义与分类 |
| 2.3.2 服务价值的表示与特征 |
| 2.4 服务模型与服务语义 |
| 2.4.1 服务模型 |
| 2.4.2 BPMN 的基本语义 |
| 2.4.3 BPMN 的扩展语义 |
| 2.5 服务模型与服务价值模型的关系 |
| 2.5.1 基本关联关系 |
| 2.5.2 服务价值对服务的约束 |
| 2.6 本章小结 |
| 第3章 服务价值性质与服务价值模型 |
| 3.1 服务价值的性质 |
| 3.1.1 可传递性 |
| 3.1.2 可转换性 |
| 3.1.3 可分解性/可拆分性 |
| 3.1.4 可组合性/可聚合性 |
| 3.1.5 依赖关联性 |
| 3.2 服务价值依赖 |
| 3.2.1 服务价值依赖的定义与分类 |
| 3.2.2 直接服务价值依赖 |
| 3.2.3 服务价值依赖的性质 |
| 3.2.4 间接服务价值依赖 |
| 3.3 服务价值模型 |
| 3.3.1 服务价值元模型与模型层次划分 |
| 3.3.2 价值声明模型 |
| 3.3.3 面向参与者的价值网 |
| 3.3.4 价值依赖模型 |
| 3.3.5 价值标注模型 |
| 3.3.6 服务价值模型的建模 |
| 3.3.7 服务价值模型的实例 |
| 3.3.8 与其他服务价值模型的比较 |
| 3.4 本章小结 |
| 第4章 面向 VASEM 建模的价值标注与度量方法 |
| 4.1 VASEM 的服务建模过程 |
| 4.1.1 VASEM 中服务模型与价值模型之间的关系 |
| 4.1.2 VASEM 中服务建模的基本阶段和步骤 |
| 4.2 价值知觉的迭代式服务建模方法 |
| 4.2.1 价值知觉的迭代式服务建模的处理对象 |
| 4.2.2 单一可选方案的迭代式服务建模过程 |
| 4.2.3 多可选方案的迭代式服务建模过程 |
| 4.3 价值的半自动标注方法 |
| 4.3.1 价值标注的概念 |
| 4.3.2 价值的半自动标注过程 |
| 4.4 基于服务语义的服务价值度量方法 |
| 4.4.1 独立价值的度量方法 |
| 4.4.2 非独立价值的度量方法 |
| 4.4.3 服务价值度量方法的实例 |
| 4.4.4 与其他服务价值度量方法的比较 |
| 4.5 与其他服务建模方法的比较 |
| 4.6 本章小结 |
| 第5章 面向价值的服务模型分析与优化 |
| 5.1 面向价值的服务模型分析与优化问题定义 |
| 5.1.1 服务模型分析的问题定义 |
| 5.1.2 服务模型优化的问题定义 |
| 5.2 基于扩展 Pi 演算的服务价值分析方法 |
| 5.2.1 服务价值的可满足性分析方法 |
| 5.2.2 服务价值的可保障程度分析方法 |
| 5.3 基于关系树的服务要素优先级分析方法 |
| 5.3.1 服务要素质量参数的贡献程度分析 |
| 5.3.2 服务要素质量参数的敏感程度分析 |
| 5.3.3 服务要素质量参数的折中点分析 |
| 5.3.4 服务要素的 VOP 评价条件与评价规则 |
| 5.4 基于 VOP 的服务价值优化方法 |
| 5.4.1 追求最小代价的服务价值优化模型 |
| 5.4.2 基于 VOP 的人工蜂群算法 |
| 5.4.3 算法性能与效果的仿真实验与分析 |
| 5.4.4 与其他服务模型优化方法的比较 |
| 5.5 本章小结 |
| 第6章 原型系统与案例验证 |
| 6.1 原型系统：VASEM 建模工具 |
| 6.2 案例验证：威海海运物流出口服务系统 WHOLESS |
| 6.2.1 WHOLESS 的服务模型 |
| 6.2.2 WHOLESS 的服务价值模型 |
| 6.2.3 WHOLESS 建模过程中的分析与优化 |
| 6.3 本章小结 |
| 结论 |
| 参考文献 |
| 攻读博士期间发表的论文 |
| 攻读博士学位期间的主要科研成果 |
| 致谢 |
| 个人简历 |
（8）面向方面的网构软件动态演化一致性保障技术研究（论文提纲范文）
| 摘要 |
| ABSTRACT |
| 第一章 绪论 |
| 1.1 研究背景 |
| 1.2 研究意义与研究内容 |
| 1.3 论文的组织结构 |
| 第二章 网构软件动态演化及方面化技术研究概述 |
| 2.1 网构软件动态演化研究 |
| 2.1.1 研究概述 |
| 2.1.2 研究现状 |
| 2.2 动态软件体系结构研究 |
| 2.2.1 体系结构描述语言 |
| 2.2.2 演化执行工具 |
| 2.2.3 可动态演化的面向方面软件体系结构 |
| 2.3 AOP系统的方面编织机制研究 |
| 2.4 本章小结 |
| 第三章 基于ADarwin的方面化体系结构描述及动态演化行为一致性验证 |
| 3.1 工作基础 |
| 3.1.1 面向方面软件体系结构描述语言ADarwin |
| 3.1.2 ADarwin的语义基础Pi-演算 |
| 3.1.3 基于Pi-演算的面向方面体系结构语义模型 |
| 3.2 面向方面体系结构动态演化的行为一致性验证方法 |
| 3.2.1 动态演化一致性的相关性质说明 |
| 3.2.2 方面化系统动态演化一致性验证过程 |
| 3.3 本章小结 |
| 第四章 支持方面化构件演化的动态编织框架 |
| 4.1 动态方面编织的相关工作 |
| 4.2 方面化构件动态编织框架DWA |
| 4.2.1 研究方面化构件编织的主要关注点 |
| 4.2.2 动态方面编织框架设计 |
| 4.2.3 DWA框架的实现技术 |
| 4.3 本章小结 |
| 第五章 实例研究 |
| 5.1 实例描述 |
| 5.2 动态演化行为一致性分析 |
| 5.3 动态方面编织验证 |
| 5.4 本章小结 |
| 第六章 结束语 |
| 6.1 工作总结 |
| 6.2 工作展望 |
| 参考文献 |
| 致谢 |
| 攻读硕士学位期间参加的科研项目 |
| 攻读硕士期间发表和录用的学术论文 |
（9）需求驱动的SaaS服务演化研究（论文提纲范文）
| 摘要 |
| Abstract |
| 第1章 绪论 |
| 本章目标 |
| 本章引言 |
| 1.1 研究背景 |
| 1.2 研究内容和方法 |
| 1.3 研究的原则和成功标准 |
| 1.4 论文创新点 |
| 1.5 论文组织结构 |
| 1.6 本章小结 |
| 第2章 研究现状综述 |
| 本章目标 |
| 本章引言 |
| 2.1 SAAS的发展现状 |
| 2.2 SAAS的定义和特性 |
| 2.3 SAAS理论研究综述 |
| 2.4 服务演化研究现状 |
| 2.5 SAAS与SOA的比较 |
| 2.6 SAAS服务演化与WEB服务演化比较 |
| 2.7 本章小结 |
| 第3章 形式化工具及扩展 |
| 本章目标 |
| 本章引言 |
| 3.1 PI演算 |
| 3.1.1 基本概念 |
| 3.1.2 操作语义 |
| 3.1.3 行为观察理论 |
| 3.2 OWL-S |
| 3.2.1 基本概念 |
| 3.2.2 基本语法 |
| 3.3 扩展PI演算 |
| 3.3.1 操作符 |
| 3.3.2 标号迁移系统 |
| 3.3.3 约束和归属关系 |
| 3.4 扩展OWL-S |
| 3.4.1 支持演化的扩展 |
| 3.4.2 支持动态的扩展 |
| 3.5 本章小结 |
| 第4章 SAAS服务演化概念框架 |
| 本章目标 |
| 本章引言 |
| 4.1 SAAS特性分析 |
| 4.2 SAAS服务演化的基本定义 |
| 4.2.1 服务 |
| 4.2.2 需求 |
| 4.2.3 流程 |
| 4.2.4 SaaS服务演化 |
| 4.3 概念框架 |
| 4.4 层次间约束规则 |
| 4.5 本章小结 |
| 第5章 需求规约描述和演化 |
| 本章目标 |
| 本章引言 |
| 5.1 SAAS服务需求特征 |
| 5.2 SAAS服务需求规约描述 |
| 5.2.1 需求规约描述语言 |
| 5.2.2 SaaS服务需求描述 |
| 5.3 OWL-S到PI演算的映射 |
| 5.3.1 基本映射关系 |
| 5.3.2 转换规则 |
| 5.3.3 复合映射关系 |
| 5.4 SAAS服务需求规约演化模型 |
| 5.4.1 演化机制 |
| 5.4.2 需求规约演化请求 |
| 5.4.3 基层模型 |
| 5.4.4 元层模型 |
| 5.4.5 需求规约演化模型 |
| 5.4.6 演化操作过程 |
| 5.5 需求规约冲突问题 |
| 5.5.1 冲突类型 |
| 5.5.2 冲突检测 |
| 5.5.3 冲突消解 |
| 5.6 本章小结 |
| 第6章 SAAS服务流程演化 |
| 本章目标 |
| 本章引言 |
| 6.1 服务流程演化过程定义 |
| 6.1.1 服务流程结构 |
| 6.1.2 服务流程状态 |
| 6.1.3 服务流程演化规则 |
| 6.2 服务流程的PI演算描述 |
| 6.2.1 服务流程表示 |
| 6.2.2 服务流程结构描述 |
| 6.3 服务流程演化模型 |
| 6.3.1 演化模型 |
| 6.3.2 演化执行 |
| 6.4 服务流程互摸拟程度分析 |
| 6.5 服务流程簇膨胀问题 |
| 6.5.1 问题的产生 |
| 6.5.2 演化路径和服务流程簇优化 |
| 6.6 SAAS服务流程验证 |
| 6.6.1 可达性 |
| 6.6.2 死锁 |
| 6.6.3 活锁 |
| 6.7 本章小结 |
| 第7章 SAAS服务增量式演化 |
| 本章目标 |
| 本章引言 |
| 7.1 SAAS服务 |
| 7.1.1 基本概念 |
| 7.1.2 原子服务描述 |
| 7.1.3 原子服务通道类型 |
| 7.1.4 服务基调 |
| 7.2 增量式服务演化 |
| 7.2.1 多租户服务 |
| 7.2.2 增量式服务演化 |
| 7.3 增量式演化模型 |
| 7.3.1 插入增量演化 |
| 7.3.2 删除增量演化 |
| 7.3.3 替换增量演化 |
| 7.3.4 移动增量演化 |
| 7.3.5 通道增量演化 |
| 7.4 演化的复合 |
| 7.4.1 复合顺序 |
| 7.4.2 复合行为 |
| 7.5 服务演化一致性分析 |
| 7.6 本章小结 |
| 第8章 原型系统和案例分析 |
| 本章目标 |
| 本章引言 |
| 8.1 AEPS介绍 |
| 8.1.1 概述 |
| 8.1.2 系统框架 |
| 8.1.3 技术开发环境 |
| 8.2 运行环境 |
| 8.2.1 演化日志数据库 |
| 8.2.2 OWL解析引擎及接口 |
| 8.2.3 Graph引擎及接口 |
| 8.3 辅助工具 |
| 8.3.1 演化需求描述图形化表示工具 |
| 8.3.2 演化需求建模工具 |
| 8.3.3 演化日志分析工具 |
| 8.4 客户关系管理SAAS服务系统案例分析 |
| 8.4.1 系统介绍 |
| 8.4.2 服务需求演化 |
| 8.4.3 服务流程演化 |
| 8.4.4 服务演化 |
| 8.4.5 案例评析 |
| 8.5 政务信息资源目录服务系统案例分析 |
| 8.5.1 系统介绍 |
| 8.5.2 服务需求演化 |
| 8.5.3 服务流程演化 |
| 8.5.4 服务演化 |
| 8.5.5 案例评析 |
| 8.6 本章小结 |
| 第9章 总结和展望 |
| 本章目标 |
| 本章引言 |
| 9.1 本文工作回顾 |
| 9.2 下一步改进方向 |
| 9.3 本章小结 |
| 附录 |
| 附录A 攻读博士学位期间主持和参与的项目 |
| 附录B 攻读博士学位期间发表和录用的论文 |
| 参考文献 |
| 致谢 |
（10）一种新型Pi演算到BufferPetri网的语义转换研究（论文提纲范文）
| 提要 |
| 摘要 |
| Abstract |
| 第1章 引言 |
| 1.1 研究背景 |
| 1.1.1 问题的提出 |
| 1.1.2 研究意义 |
| 1.2 技术发展与现状 |
| 1.2.1 Pi 演算的研究现状 |
| 1.2.2 Petri 网的研究现状 |
| 1.3 本文的主要工作 |
| 1.4 本文的组织结构 |
| 第2章 Pi 演算及 Petri 网 |
| 2.1 Pi 演算相关知识 |
| 2.2 Petri 网相关知识 |
| 2.3 Pi 演算与 Petri 网的转换 |
| 第3章 Buffer-Pi 演算及其互模拟分析 |
| 3.1 Buffer-Pi 演算的语法 |
| 3.1.1 基本概念 |
| 3.1.2 Buffer-Pi 演算的语法 |
| 3.2 缓冲区标号迁移系统 |
| 3.3 Buffer-Pi 演算的扩展操作语义 |
| 3.4 基于 Buffer-Pi 演算的进程异步交互建模和分析 |
| 3.5 缓冲区互模拟及其性质分析 |
| 3.6 异步处理能力的分析 |
| 3.7 本章小结 |
| 第4章 Buffer-Pi 演算到 Petri 网的语义转换 |
| 4.1 索引 Buffer-Pi 演算及其操作语义 |
| 4.1.1 索引 Buffer-Pi 演算 |
| 4.1.2 基于上下文的索引 Buffer-Pi 演算表示 |
| 4.2 BufferPetri 网的代数定义 |
| 4.2.1 轨迹通道和持有者库所 |
| 4.2.2 标签库所 |
| 4.3 BufferPetri 网的形式化定义 |
| 4.3.1 基本 BufferPetri 网定义 |
| 4.3.2 组合 BufferPetri 网定义 |
| 4.4 基于上下文的表达式的转换过程 |
| 4.4.1 BufferPetri 网转换阶段一 |
| 4.4.2 BufferPetri 网转换阶段二 |
| 4.4.3 BufferPetri 网转换阶段三 |
| 4.5 变迁激发规则和标识等价规则 |
| 4.6 BufferPetri 网与 Buffer-Pi 演算的语义等价 |
| 4.7 BufferPetri 网中缓冲区组件的形式化表达 |
| 4.7.1 BufferPetri 网中缓冲区的库所定义 |
| 4.7.2 BufferPetri 网中缓冲区的弧定义 |
| 4.7.3 BufferPetri 网中缓冲区的变迁定义 |
| 4.7.4 缓冲区组件 Petri 网语义的实例建模 |
| 4.8 本章小结 |
| 第5章 使用 CPN Tools 进行验证 |
| 5.1 使用 CPN Tools 对转换结果进行建模 |
| 5.2 使用 CPN Tools 对转换结果进行验证 |
| 5.3 本章小结 |
| 第6章 结语 |
| 6.1 工作总结 |
| 6.2 工作展望 |
| 参考文献 |
| 作者简介及在学期间所取得的科研成果 |
| 致谢 |
四、基于Pi演算的构件演化研究（论文参考文献）
- [1]一种分布式科技资源池架构及其交互行为分析[J]. 张娓娓,李苗钰,石梅,朱省吾,黄位,郭军. 计算机技术与发展, 2021(12)
- [2]基于云管程机制的SaaS软件动态演化方法研究[D]. 李响. 云南大学, 2018(01)
- [3]构件系统建模及其动态演化一致性验证方法[J]. 郑明,李彤,林英,周小煊,李响,明利. 计算机科学, 2017(11)
- [4]面向网络化控制的自适应中间件研究[D]. 徐飞. 西北工业大学, 2017(01)
- [5]Web服务适配关键技术研究[D]. 曹国荣. 国防科学技术大学, 2015(12)
- [6]基于协同的服务组合与验证[D]. 丁莹莹. 沈阳理工大学, 2014(03)
- [7]价值知觉的服务系统设计模型分析与优化方法[D]. 马超. 哈尔滨工业大学, 2013(12)
- [8]面向方面的网构软件动态演化一致性保障技术研究[D]. 周学尧. 广西大学, 2013(03)
- [9]需求驱动的SaaS服务演化研究[D]. 何俊. 云南大学, 2013(11)
- [10]一种新型Pi演算到BufferPetri网的语义转换研究[D]. 王智. 吉林大学, 2012(10)