Π演算相关论文
语义Web服务综合了本体技术与面向服务的体系结构,是语义Web和面向服务的软件工程的一个研究热点.OWL-S和WSMF等现有语义Web服务方......
语义Web服务综合了本体技术与面向服务的体系结构,是语义Web和面向服务的软件工程的一个研究热点.OWL-S和WSMF等现有语义Web服务方......
模型检测技术的最大障碍是状态爆炸问题-系统的状态数会随着系统的变元(包括相互作用的子系统以及值域杂的数据结构)数呈指数增长.......
随着用户对软件产品性能需求的不断增加,软件规模越来越大,复杂性也越来越高。为保证软件质量、提高软件的可靠性,以软件体系结构......
本课题旨在用π-演算对openMosix的一些基本特征进行解释，选取了进程迁移作为切入点，重点研究在进程迁移的情况下，进程间的互操作关系......
随着互联网的普及，电子商务迅速发展。软件Agent所具有的自治、响应、移动、学习、协作等特性能有效灵活适应基于互联网的在线交易......
随着全球化进程的加快,Web作为一种重要的沟通手段受到的关注越来越多,对Web服务描述的正确性投入的精力随之增加。BPEL(Business ......
随着信息时代的不断发展，单个的web服务已无法满足用户的需求，于是就需要若干个web服务之间进行交互组合，即把部署于internet上由不同......
首先集成两种互为补充的形式化方法-面向对象Petri网(Object-Oriented Petri nets,OPN)和π演算,建立了一种通用的形式化建模方法-......
根据人的行为建模形式化方法需求,针对直接应用π演算形式化建模人的行为所存在的不足,尝试以π演算为基础扩展定义了一种人的行为......
已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数......
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协......
该文概述了主体和多主体系统的概念、结构和研究现状,讨论了设计多主体系统采用的程序设计语言,并在此基础上提出了多主体系统的层......
目前Agent的容错研究中,一般都是通过在Agent的每一步迁移过程中产生复本(Replication),然后通过选举(Voting)得到结果.但是大量Ag......
从Web服务所交互的环境角度出发,提出了基于环境本体的Web服务能力描述框架,从Web服务操作的环境以及操作导致的环境变化两个方面......
在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务......
用π演算模型来表现ＣＯＲＢＡ请求调用流程，对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库，实现库，桩，对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都......
随着生活中出现停车越来越难的问题,已出现在普适计算环境下辅助泊车的设计。在生活中有关实际问题的设计,都需要从理论上证明。针......
以带位置扩展的移动进程π演算模型为形式化工具,在考虑位置失效的基础上,将移动系统的安全性质转换为系统进程在给定计算环境中的......
定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转......
动态软件架构（Dynamic Software Architecture）是架构领域的研究热点。分析了动态软件架构建模应关注的问题，基于π演算提出了动态软......
为适应当前云计算环境下客户的个性化要求，一种新的智能流程的概念应运而生。首先提出了智能流程平台架构，描述了智能流程生成模块、......
Agent组织是多Agent系统研究的重要方面，在不同的Agent组织形式方法中常采用显式的组织形式方法，基于π演算和化学抽象机给出了组织......
确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题在服务视图概念的基础上，给出了Web服务行为兼容性的相关定义．提出......
体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构......
从构件组装研究背景出发,针对软件应对复杂多变的业务需求时的不足,提出了一种基于逻辑推理的构件行为片段提取与重组算法。其主要......
为确保云平台上虚拟机系统用户信息的安全,提出了一种基于混合流策略的按需分布式云信息流控制模型（Mixed Flow Policy Based On-de......
本文的主要工作是利用可移动进程的形式化模型л演算为工具，考虑系统的移动性（Mobility），将系统安全属性的刻画归结为特定系统进程等价......
针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推......
连接器建模是软件体系结构设计中研究的重要问题之一。同样，考虑到面向服务体系结构松散耦合的特性．对其所涉及的连接独立于服务的设......
定义了服务的基调视图和行为视图,接着设计了将Web服务行为转化为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自......
利用π演算对云服务流程进行形式化描述,基于描述结果给出一种针对用户越权访问和服务不完整两种安全性问题的检测方法.基于云环境......
分析了制造系统与制造过程之间的关系;论证了从过程的角度对制造进行建模更恰当;结合Agent和π演算的特点,给出Agent制造系统描述......
在基于Mult-agent的虚拟油料保障系统问题求解研究中，组织是一种有效的求解方法，笔者首次将演算和化学抽象机运用到军队油料保障系统......
期刊
主要研究带mismatch的高阶进程演算的公理化问题．首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重......
首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁......
以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语......
为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协......
对商务主体的协同交互行为的描述是多主体协同电子商务系统模型描述中的重要部分,本文采用π演算的描述方法对商务主体的协同行为（......
随着信息技术的发展,业务流程的范围扩展至跨越部门,甚至跨越企业的边界,复杂性也越来越高。提出一种形式化的面向组合的业务流程......
根据空战作战任务的特点，对协同攻击任务进行阶段分解和类型分解。建立了基于任务、面向结构、具有集中．分布式指挥控制关系的作战编......
指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方......
简要总结了多Agent系统(MAS)形式化建模方法的研究现状;以面向对象Petri网(OPN)和π演算为基础,给出了一种直观的MAS体系结构模型(......
应用任务Agent和巡航Agent构造了移动Agent分布式网络管理模型，采用进程代数方法π演算对该模型中A—gent间的嵌套过程、交互行为和......
采用π演算对电子市场框架及成员进行定义,动态地描述了市场中agent的行为,从动态的观点来讨论以agent为中介的电子市场.提出了一......
结合递阶动态矩阵预测控制和多智能体技术,提出了一种多智能体多变量动态矩阵控制算法.在该算法中,控制对象的每个输出变量作为一......
目前，大多数学者都意识到需求演化的重要性，然而依然缺乏有效的方法指导需求演化。反射式需求规约通过描述支持OWL-S需求规约演化的......
以SKI演算作为Combinator演算族的代表，通过形式化的手段给出了SKI演算的π演算语义；通过一个实例验证了所论方法的正确性．所给出的转......
