π-演算相关论文
为了研究企业动态联盟中协同设计系统的特性,相关的形式化研究是非常必要的.论文给出了可体现系统配置灵敏性的π-演算模型.这将成......
CORBA(公共对象请求代理体系结构)是当今世界最流行的一种分布式对象计算技术规范,它的基本特征是分布式计算和面向对象技术的结合......
π-演算是九十年代计算机并行理论领域最重要的并发计算模型.该研究项目旨在用π-演算解释CORBA/IIOP环境下的操作过程.该文记录此......
互模拟关系是π-演算中研究的重要等价关系,研究自动验证互模拟关系的算法并建立相应的工具对π-演算应用于实际有着重要的意.该文......
人类发展的历史,就是解决问题的历史。计算机的出现,加快了人类解决问题的速度,也带来了与之相对应的问题。在一些反复出现的问题......
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关......
该文主要研究的对象是Oz 语言的约束的π-演算语义,类和对象的π-演算语义.借助带多态和子类型关系的π-演算这一中间语言来作为我......
该课题旨在用π-演算对COM的基本体系结构进行解释,选取了COM实现过程以及COM创建对象与接口调用细节作为切入点,重点研究在请求调......
本课题基于SBML 和BioSPI 的基础，分两步来完成：1．首先研究SBML 和BioSPI 对系统生物建模的不同点和相同点，SBML 从知识表示和共享的角......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
随着Web服务的出现和推广,基于Web服务的动态服务组合技术也成为近年的研究热点。Web服务的业务流程执行语言(BPEL4WS)作为一种基......
近年来，生物学的迅猛发展惊动了全世界。尤其在分子生物学和基因学方面，已由实验获得了大量的数据，如蛋白质的网络结构和人类基因组草......
业务流程的设计和验证是所有工作流产品的一个主要功能。为了能够尽早发现流程建模中死锁、缺少同步等问题,大部分工作流产品都需......
Web服务组合是一种基于面向服务架构的技术,通过把功能单一的单个Web服务组合起来,实现了服务的重用与增值,解决了互联网异构应用......
为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论......
移动工作台MWB(Mobility Workbench)是为π-演算开发的一个自动验证工具,可对用π-演算、通信系统演算(CCS)等描述的移动并发系统......
针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将......
提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大......
在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。......
用π－演算刻划ＣＯＲＢＡ／ＩＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程，构造了一个高度简化的ＣＯＲＢＡ／ＩＩＯＰ的π演算模型，借助于这个模型......
采用针对Web服务组合协议的扩充π-演算,形式化地描述了Wab服务流程的行为,在抽象的形式化层次上描述了由不同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网,是对......
π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是......
根据温控系统的特征以及需求说明,利用π-演算构建了该系统动态行为的交互模型,依据π-演算的反应规则仿真描述模型的行为交互过程......
利用Multi Agent,π 演算和Petri网给出了动态联盟中的同步协同设计系统形式化模型 该模型利用π 演算的操作语义表现系统的动态......
元组空间是一种结构化的分布式共享存储编程方式，使用一个共享的元组空间进行生成式通信。该文针对集中式元组空间的性能瓶颈、单点......
并发理论一直是计算机科学中最富有挑战性的一个研究方向之一,至今,已发展出了各种并发理论的分支,如:Petri网、CCS(Communication......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
本文对π－演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语言。该演算语义能较好地刻划导步通讯机制、......
