基于Pi演算的构件演化研究 被引量：8

1

作者 龚洪泉 赵文耘 +1 位作者 徐如志 钱乐秋 《电子学报》 EI CAS CSCD 北大核心 2004年第F12期238-242,共5页

确保构件系统的一致性是构件演化的根本目标 .根据构件交互过程 ,借鉴Pi演算的类型系统和进程构造方法 ,提出构件交互的类型系统和基于交互的构件模型 .为确保构件服务端口和交互通道的正确行为 ,给出服务的端口类型和通道类型 .以此为... 确保构件系统的一致性是构件演化的根本目标 .根据构件交互过程 ,借鉴Pi演算的类型系统和进程构造方法 ,提出构件交互的类型系统和基于交互的构件模型 .为确保构件服务端口和交互通道的正确行为 ,给出服务的端口类型和通道类型 .以此为基础 ,结合Pi演算中良类型的思想 ,提出一致性构件系统的概念 .然后 ,结合构件演化的特点 ,给出能保持系统一致性的构件静态演化和动态演化规则 .最后 。 展开更多

关键词 构件系统维护 构件交互 构件演化 pi演算

在线阅读 下载PDF 职称材料

多Agent协同系统的Pi演算建模方法 被引量：2

2

作者 鱼滨 张琛 李文静 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第6期76-82,共7页

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

关键词 多Agent协同系统 pi演算 家庭物联网

在线阅读 下载PDF 职称材料

基于应用Pi演算的WTLS握手协议建模与分析 被引量：2

3

作者 潘进 顾香 王小明 《西安邮电大学学报》 2015年第2期26-31,共6页

针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。并在密码原语定义的基础上建立了WTLS握手协议的形式化模型,最后用Pro Verif工具分析了协议的秘密性和认... 针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。并在密码原语定义的基础上建立了WTLS握手协议的形式化模型,最后用Pro Verif工具分析了协议的秘密性和认证性。结果表明WTLS握手协议满足其安全性说明。 展开更多

关键词 应用pi演算 密码原语 WTLS握手协议 Pro Verif 秘密性 认证性

在线阅读 下载PDF 职称材料

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

4

作者 陈宁 冯博琴 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2006年第B07期71-73,共3页

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

关键词 人工神经网络 pi演算 模式识别

在线阅读 下载PDF 职称材料

可视化BPEL流程的pi演算描述 被引量：1

5

作者 王赏玉 《无线互联科技》 2012年第12期128-128,137,共2页

根据可视化BPEL流程编制工具实际应用中存在的问题,提出了把可视化BPEL流程用pi演算进行描述的方法。明确了可视化BPEL流程与pi演算之间的对应关系,并用实例说明了怎样把一个利用Eclipse BPEL插件建立起来的BPEL流程用pi演算进行描述的... 根据可视化BPEL流程编制工具实际应用中存在的问题,提出了把可视化BPEL流程用pi演算进行描述的方法。明确了可视化BPEL流程与pi演算之间的对应关系,并用实例说明了怎样把一个利用Eclipse BPEL插件建立起来的BPEL流程用pi演算进行描述的过程。 展开更多

关键词 WEB服务组合 可视化BPEL流程编制 ECLIPSE BPEL插件 pi演算

在线阅读 下载PDF 职称材料

工作流建模分析:WF_Net、pi演算、WM_semantics

6

作者 黄红梅 《广东水利电力职业技术学院学报》 2010年第4期27-30,共4页

利用实例分析基于工作流网WF_Net,pi演算和工作流管理语义网WM_semantics在工作流建模过程中的优缺点,指出将以上建模理论的各自优势互相补充、合理整合,开发有效的过程建模理论,并将其应用于工作流过程模型的描述和分析是一种可行的方法。

关键词 PETRI网 WF_net pi演算 工作流管理语义网

在线阅读 下载PDF 职称材料

应用Pi演算描述工作流高级模式 被引量：2

7

作者 李占峻 黄永忠 张晓雯 《信息工程大学学报》 2009年第4期537-541,556,共6页

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

关键词 工作流 工作流高级模式 pi演算 形式化描述

在线阅读 下载PDF 职称材料

利用Pi演算实现对服务交互流程的设计 被引量：1

8

作者 刘亚亚 姜久雷 《数字技术与应用》 2016年第4期166-166,共1页

Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现... Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设计,主要包括基本服务交互流程和动态交互流程两部分。前者通过Pi演算基本的形式化语义构建交互模型并实现模型描述;后者利用Pi演算的通道移动性,即以名字的传递作为交互信息传递方式来实现对动态交互流程的分析与设计。 展开更多

关键词 pi演算 服务交互流程 形式化语义

在线阅读 下载PDF 职称材料

适用于医院信息管理系统的Pi演算的业务流程建模 被引量：1

9

作者 刘峰 王剑 《信息技术与信息化》 2018年第8期22-23,共2页

在医院信息管理系统中,医院耗材管理起着非常重要的作用。应用Pi演算对医院信息系统中的耗材计划管理流程建模,并应用MWB对流程进行验证,保证了后期研究开发的正确性。

关键词 医院耗材管理 pi演算 流程建模

在线阅读 下载PDF 职称材料

一种基于Pi演算的Agent BDI结构

10

作者 田立忠 张健 《信息技术与信息化》 2009年第3期53-55,共3页

BDI模型是Agent理论与技术领域研究和应用最多的理论模型,但存在BDI模型和具体Agent结构之间缺少明确映射关系,以致难以编程实现BDI模型的问题。本文仿真人类个体,将信念映射为内黑板和规范集,愿望映射为反馈控制,意图映射为感受器、效... BDI模型是Agent理论与技术领域研究和应用最多的理论模型,但存在BDI模型和具体Agent结构之间缺少明确映射关系,以致难以编程实现BDI模型的问题。本文仿真人类个体,将信念映射为内黑板和规范集,愿望映射为反馈控制,意图映射为感受器、效应器和数据处理器,使用单项Pi演算定义了一种A-gent BDI(AB)结构。分析表明,AB结构使用的闭环反馈机制实现结构的稳定。 展开更多

关键词 人类个体 pi演算 AGENT结构 BDI模型

在线阅读 下载PDF 职称材料

系统生物模型转换研究——从SBML到Stochastic Pi Calculus 被引量：1

11

作者 董驻鹏 董笑菊 倪佳华 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1280-1283,共4页

分析了系统生物标记语言(SBML)模型和用随机Pi演算对生物建模(BioSPI)的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程.提... 分析了系统生物标记语言(SBML)模型和用随机Pi演算对生物建模(BioSPI)的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程.提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想. 展开更多

关键词 系统生物 系统生物标记语言 随机pi演算对生物建模 形式化方法 DNA计算机

在线阅读 下载PDF 职称材料

服务协同环境中的业务过程建模与验证 被引量：2

12

作者 符宁 周兴社 詹涛 《西北工业大学学报》 EI CAS CSCD 北大核心 2010年第4期591-596,共6页

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

关键词 服务协同环境 服务协同中间件 业务过程管理 pi演算

在线阅读 下载PDF 职称材料

密钥交换协议前向安全性的自动化分析

13

作者 顾香 潘进 王小明 《现代电子技术》 北大核心 2015年第22期21-24,共4页

会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全性;然后提出了一个基于一阶定理证明器Pro Verif的前向安全性... 会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI演算,增加了阶段进程语法描述协议的前向安全性;然后提出了一个基于一阶定理证明器Pro Verif的前向安全性自动化分析方法;最后运用这种方法分析了两种典型的密钥交换协议,STS协议和MTI协议的前向安全性,分析结果表明该方法简单可靠。 展开更多

关键词 应用pi演算 前向安全性 ProVerif 自动化分析 STS协议 MTI协议

在线阅读 下载PDF 职称材料

并发计算的元模型 Ⅴ.并发模型间的关系

14

作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期864-867,共4页

讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .

关键词 并发计算 进程代数 互模拟 并发模型 pi演算

在线阅读 下载PDF 职称材料