π演算相关论文
随着用户对软件产品性能需求的不断增加,软件规模越来越大,复杂性也越来越高。为保证软件质量、提高软件的可靠性,以软件体系结构......
工作流技术是一个被业界广泛应用并迅速发展的技术,而工作流建模技术一直是工作流技术研究的重要课题之一,它的研究范围包括:工作......
本课题旨在用π-演算对openMosix的一些基本特征进行解释，选取了进程迁移作为切入点，重点研究在进程迁移的情况下，进程间的互操作关系......
随着互联网的普及，电子商务迅速发展。软件Agent所具有的自治、响应、移动、学习、协作等特性能有效灵活适应基于互联网的在线交易......
随着全球化进程的加快,Web作为一种重要的沟通手段受到的关注越来越多,对Web服务描述的正确性投入的精力随之增加。BPEL(Business ......
随着信息时代的不断发展，单个的web服务已无法满足用户的需求，于是就需要若干个web服务之间进行交互组合，即把部署于internet上由不同......
在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务......
随着生活中出现停车越来越难的问题,已出现在普适计算环境下辅助泊车的设计。在生活中有关实际问题的设计,都需要从理论上证明。针......
以带位置扩展的移动进程π演算模型为形式化工具,在考虑位置失效的基础上,将移动系统的安全性质转换为系统进程在给定计算环境中的......
定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转......
动态软件架构（Dynamic Software Architecture）是架构领域的研究热点。分析了动态软件架构建模应关注的问题，基于π演算提出了动态软......
为适应当前云计算环境下客户的个性化要求，一种新的智能流程的概念应运而生。首先提出了智能流程平台架构，描述了智能流程生成模块、......
Agent组织是多Agent系统研究的重要方面，在不同的Agent组织形式方法中常采用显式的组织形式方法，基于π演算和化学抽象机给出了组织......
确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题在服务视图概念的基础上，给出了Web服务行为兼容性的相关定义．提出......
本文的主要工作是利用可移动进程的形式化模型л演算为工具，考虑系统的移动性（Mobility），将系统安全属性的刻画归结为特定系统进程等价......
连接器建模是软件体系结构设计中研究的重要问题之一。同样，考虑到面向服务体系结构松散耦合的特性．对其所涉及的连接独立于服务的设......
利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境......
分析了制造系统与制造过程之间的关系;论证了从过程的角度对制造进行建模更恰当;结合Agent和π演算的特点,给出Agent制造系统描述......
主要研究带mismatch的高阶进程演算的公理化问题．首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重......
首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁......
以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语......
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协......
为弥补π演算的固有缺陷,提出一种将π演算映射为Petri网语义的方法.该方法将π演算分为基本单元、顺序、并发、选择和递归等几种......
对商务主体的协同交互行为的描述是多主体协同电子商务系统模型描述中的重要部分,本文采用π演算的描述方法对商务主体的协同行为（......
随着信息技术的发展,业务流程的范围扩展至跨越部门,甚至跨越企业的边界,复杂性也越来越高。提出一种形式化的面向组合的业务流程......
根据空战作战任务的特点，对协同攻击任务进行阶段分解和类型分解。建立了基于任务、面向结构、具有集中．分布式指挥控制关系的作战编......
指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方......
应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型，采用进程代数方法π演算对该模型中A—gent间的嵌套过程、交互行为和......
目前，大多数学者都意识到需求演化的重要性，然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的......
以SKI演算作为Combinator演算族的代表，通过形式化的手段给出了SKI演算的π演算语义；通过一个实例验证了所论方法的正确性．所给出的转......
分布式地理信息检索具有有效性、高性能、高可靠性和低成本等方面的优势,因而是WebGIS的核心技术之一。以分布、异构的信息检索环......
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。......
针对分布式地理信息系统应用服务的分布性、动态性、异构性和遗留性等特点,在分析已有的WebGIS体系结构特点和移动Agent技术在分布......
用π演算模型来表现COM接口调用,在服务器是进程内或进程外组件的情况下,统一对COM接口调用中的重要部件(如客户、代理管理器、接......
证明互模拟同余通常冗长且易出错．双代数为解决该问题提供统一的框架：若行为函子保持弱回拉，共代数范畴到基范畴的忘却函子有右伴函子......
针对多机器人协商中缺少心智状态与实际任务执行能力、通信带宽拥挤导致的低实时性以及从协商历史中缺乏快速学习等问题,提出一种......
并发计算模型是计算机科学研究的重要问题之一.π演算作为一个并发计算模型,是一种重要的移动进程演算,其中的进程通过发送通信链......
从分析移动计算环境下计算安全性的基本问题入手，探讨了基于程序语言的安全技术和实现方法。通过对移动计算安全框架的分析，指出考虑......
为了形式化描述复杂的长事务处理过程，在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上，提出了一种扩展的π演算模型，该......
针对嵌入式系统软硬件划分问题,提出一种基于π网的软硬件划分方法。首先介绍π网的定义及其规则;然后,对嵌入式系统目标进行描述......
为解决FMIPv6的切换延迟长和丢包率高的问题,提出一种改进方案PI-FMIPv6。该方案通过引入信息学习机制、绑定代理机制及隧道定时器......
BPEL是实现SOA组合服务和服务编制的重要技术。重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷......
为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而......
研究网络考试系统动态建模中动态性和并发性问题,针对目前对网络考试系统的建模所使用的面向对象或面向过程的建模方法,无法完整地......
为保证工作流模型语义的正确性,提出一种基于π演算的工作流模型语义性质检验方法。采用π演算的一个子集πN演算描述工作流模型,......
在分析了基于WEB的网上拍卖系统的需求基础上,针对具有多进程并发通讯特点的该类电子商务系统,采用π演算对系统进行结构和功能建......
为了实现工作流管理功能，必须将业务过程从现实世界中抽象出来，并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造......
针对舰船作战任务流程仿真和任务成功性研究的需求,运用π演算理论,对舰船作战任务进行了元任务分解,确定了执行命令-条件-运行设......
