基于演算的工作流建模方法研究

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.     

应用Pi 演算描述工作流高级模式

分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。     

基于Pi演算的人工神经网络模型

人工神经网络是一种重要的人工智能实现方法,但是目前人工神经网络缺乏通用的数学模型,用来模拟各种结构的神经网络.然而形式化方法对于建模和验证系统是一种有效的方法,所以对人工神经网络的形式化描述和验证是一个重要的研究方向.Pi演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模,因此Pi演算和人工神经网络的基础都是并发计算.在这个基础上,首先通过Pi演算建模人工神经网络,证明了它们之间的等价性,然后设计了基于Pi演算的人工神经网络分类器.最后,讨论了这个模型的优越性.     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于扩展π演算的长事务处理形式化描述

为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.     

基于Pi演算有QoS保证的Web服务自适应组合方法

一直以来,Web服务组合是Web研究领域的重点,而Web服务组合能否正确的执行是该领域的热点问题。本文对web服务及其组合进行Pi-演算的形式化描述,从Web服务的可替换性入手,提出基于扩展Pi演算的有QoS保证的Web服务自适应组合方法。最后。时Web服务动态组合算法进行了验证,实验表明,该算法可以在有QoS保证的条件下,动态的进行Web服务的组合。     

基于细胞膜演算的Dryad形式化描述

由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系,为编程人员提供了任务调度的优化依据,同时该形式化描述还可作为验证程序正确性的辅助工具。     

一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

一种适用于演化过程建模的演算——通信膜演算

膜计算作为自然计算的一个分支,自提出以来受到了广大学者的关注。膜计算类形式化方法具有非确定性、并行性等性质,对区域间的通信问题有良好的建模能力。利用膜计算类形式化方法对通信问题建模是一种保证通信过程正确性以及安全性的有效方法。但因为建模完成的系统中不存在可以描述演化过程的反应规则也不能添加反应规则,所以膜计算类形式化方法不适用于对系统演化这一普遍存在的问题进行形式化建模。针对这个问题,本文提出了一种通信膜演算,该演算可以对系统的演化过程进行建模。为了分析通信膜演算的描述能力,本文利用自动机理论对通信膜演算的性质进行了分析,并利用通信膜演算对一种软件产品线的特定演化过程进行了建模,分析了通信膜演算对系统演化过程建模的适用性。     

多Agent协同系统的Pi演算建模方法

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法Pi演算进行建模． 首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型, 然后给出了Agent之间交互模式的Pi演算建模方法． 再以家庭物联网系统作为多Agent协作实例, 应用Pi演算对其建模, 模拟多个Agent协作过程中的通信． 最后, 采用移动工作台对模型的语义进行了验证, 表明了Pi演算对MAS建模的适用性．     

多重集合重写与Spi演算的安全协议分析方法

当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析。     

基于L-π演算的WSN路由协议形式化方法

针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。     

面向服务性能的认知网络理论及形式化建模方法

认知网络是解决复杂异构网络系统自我管理的一个新途径,其模型与分析方法研究是亟待解决的关键问题.提出一种基于多元π演算的认知网络形式化建模方法,首先分析认知网络的基本特征,然后结合认知问题本质,构建认知网络理论参考模型,并将多元π演算为描述语言建立认知网络系统形式化模型,把自感知、上下文感知和动作调用的过程抽象成一系列进程,利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程,最后以自配置为例说明了模型应用.该方法以逻辑精确性为特色,能够应用于系统实现的任何阶段,为认知网络的设计提供理论指导.     

一种改进的形式化本体模型研究

基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约束机制,论述相应公理,解释一些重要推论.这种形式化本体理论系统描述了分类学,为实现本体框架奠定了基础,可用于实现知识推理.     

适用于演化过程建模的通信膜演算

针对膜计算类形式化方法无法描述建模完成的系统的演化问题,提出了一种适用于演化过程建模的通信膜演算。该演算在已有的膜计算类形式化方法的基础上,通过在定义中添加规则的传递等反应规则,使得建模完成的系统可以根据演化需要发生变化,解决了膜计算类形式化方法不适用于对系统演化这一普遍存在的问题,即进行形式化建模的问题。同时利用自动机理论对通信膜演算的性质进行分析,分析了通信膜演算适用于演化过程建模的原因。并利用通信膜演算对一种软件产品线的特定演化过程进行了形式化建模,建模结果表明通信膜演算适用于对演化过程的形式化建模。     

服务协同环境中的业务过程建模与验证

服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中服务基本活动建模、控制模式建模和业务过程的建模等问题。提出一种从用户设计界面有向图到服务过程表达式的生成算法。同时,文中还研究了如何用μ演算描述流程性质,并使用验证工具研究了流程正确性验证问题。     

基于多智能体的多变量DMC研究

结合递阶动态矩阵预测控制和多智能体技术，提出了一种多智能体多变量动态矩阵控制算法，在该算法中，控制对象的每个输出变量作为一个智能体（Agent)，使用CORBA将各个Agent集成为多智能体系统，并用π演算对多智能体系统的协调过程进行了描述，最后将该算法应用在制浆生产蒸煮过程，得到了较好的控制效果。     

模糊空间描述逻辑及应用

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。