π-演算相关论文
人类发展的历史,就是解决问题的历史。计算机的出现,加快了人类解决问题的速度,也带来了与之相对应的问题。在一些反复出现的问题......
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关......
该文主要研究的对象是Oz 语言的约束的π-演算语义,类和对象的π-演算语义.借助带多态和子类型关系的π-演算这一中间语言来作为我......
该课题旨在用π-演算对COM的基本体系结构进行解释,选取了COM实现过程以及COM创建对象与接口调用细节作为切入点,重点研究在请求调......
本课题基于SBML 和BioSPI 的基础，分两步来完成：1．首先研究SBML 和BioSPI 对系统生物建模的不同点和相同点，SBML 从知识表示和共享的角......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
随着Web服务的出现和推广,基于Web服务的动态服务组合技术也成为近年的研究热点。Web服务的业务流程执行语言(BPEL4WS)作为一种基......
近年来，生物学的迅猛发展惊动了全世界。尤其在分子生物学和基因学方面，已由实验获得了大量的数据，如蛋白质的网络结构和人类基因组草......
业务流程的设计和验证是所有工作流产品的一个主要功能。为了能够尽早发现流程建模中死锁、缺少同步等问题,大部分工作流产品都需......
Web服务组合是一种基于面向服务架构的技术,通过把功能单一的单个Web服务组合起来,实现了服务的重用与增值,解决了互联网异构应用......
针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将......
为了提高web服务流程的有效性和可靠性，提出了π-演算形式化方法．该方法能克服web服务流语言不能表明一致性及进行验证等缺陷．讨论了w......
π-演算是以进程间移动通信为研究重点的并发理论，本文扼要叙述π-演算的基本概念，论述了如何用π-演算描述和验证安全协议，具体以Sta......
<正> 1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。......
π-网是一类新型的模块化的高级Petri网。p-网有机地结合了两类并发模型Petri 网和p-演算,p-网既可称为Petri网中的p-演算,又是p-......
Agent的BDI模型主要基于Bratman提出的理性主体理论,未能充分体现Agent主动性的认知过程,使Agent的问题求解和心智状态之间的关系......
<正> 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。......
提出了一种基于多Agent的分布对象全局一致性模型，该模型模拟了一种复制的分布对象在更新（写操作）时的一致性问题解决方法，使用演算精......
π-演算采用互模拟作为进程等价的准则.对有限状态的π-演算进程互模拟等价是可判定的，由此提出了互模拟检测算法的一种优化技术.该......
在分析了基于Web的网络考试系统需求的基础上，针对其具有多进程并发通讯的特点，采用π-演算对系统进行结构和功能的描述；在简单介绍π......
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征......
研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何......
将描述并行、分布式和可移动系统的进程代数应用于系统生物学的形式化描述和行为模拟,给出了SBP依赖式ABC转运器的π-演算模型,分......
为了保证web服务事务获得正确的执行和一致的结果，对Web服务事务处理的形式化研究是很重要的．现有研究集中在事务的建模和协议验证上......
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演......
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对......
根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程......
利用Multi Agent,π 演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型 该模型利用π 演算的操作语义表现系统的动态......
元组空间是一种结构化的分布式共享存储编程方式，使用一个共享的元组空间进行生成式通信。该文针对集中式元组空间的性能瓶颈、单点......
并发理论一直是计算机科学中最富有挑战性的一个研究方向之一,至今,已发展出了各种并发理论的分支,如:Petri网、CCS(Communication......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台(MWB)进行死锁验证......
在总结无线技术对商务活动的影响的基础上,针对信息交互频繁、不确定环境下的过程结构动态变化、局部自治等柔性特征,采用时间π-......
目的在基于构件的分布式系统开发过程中，更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一......
