pi演算相关论文
科技资源服务是云计算环境下数据服务领域的重要业务之一.但是,由于科技资源归属单位不同,条块分割,实现跨平台服务与共享存在很大......
为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为......
在动态、异构和自治的互联网环境中，对WEB服务组合的形式化分析与验证是保证面向服务计算软件应用实时可性的有效途径，寻找有效的形......
随着计算机网络和多核处理器的出现，并行系统被广泛应用于生产实践中。作为描述并行系统的形式化模型，Petri网和Pi演算（π-演算）得以迅......
可信计算是一种信息安全的新技术，它主要从硬件、固件、操作系统和应用等方面综合采取措施，将大多数不安全因素控制在终端源头。可信......
学位
近年来,随着计算机性能的不断提高和网络技术的快速发展,集群因为其自身低成本、高性能的优势已成为近年来计算机技术方面的研究热......
随着软件技术的发展,一种被称为面向服务软件体系结构SOA的软件系统开发方法被提出并得到迅速发展。今天的SOA是基于已经广泛接受......
学位
基于XML技术的Web服务体系是一种新兴的分布式计算模型,其核心的消息交换协议为SOAP(Simple Object Access Protocol,简单对象访问......
为了满足企业应用系统业务的快速变化,一种新的软件系统架构理论—面向服务的架构SOA(Service-Oriented Architecture)应运而生,并......
面对服务的体系架构(Service-Oriented Architecture,SOA)是分布式计算和软件开发的最新发展方向,Web服务作为SOA的实现方式之一,......
随着Web服务技术的快速发展,越来越多的稳定易用的Web服务共享在网络上,但是单个Web服务的功能一般比较简单,很多情况下不能满足用......
网格是分布式计算领域重点研究问题,它能够将分布广泛的资源结合起来,全面共享,消除资源孤岛,协同解决大型计算问题。但目前在大部......
分布式系统以其优秀的计算能力和卓越的可扩展性成为了计算机领域的热门研究对象,它可以从分散的主机中收集数据并利用这些主机完......
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为......
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进......
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来......
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进......
新世纪信息时代的来临加速了跨组织商务活动的迅猛发展,服务交互活动的规模与涉及领域不断扩大,组织边界对业务流程的限制作用也开......
随着Web服务技术的研究、发展和应用，众多学者试图寻找Web服务组合验证的有效方法，开始运用形式化方法描述Web服务组合并对其进行分......
在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方......
构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证......
鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身......
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视......
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴Pi演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化......
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过......
确保构件系统的一致性是构件演化的根本目标．根据构件交互过程，借鉴Pi演算的类型系统和进程构造方法，提出构件交互的类型系统和基于交......
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软......
随着企业竞争日趋激烈，业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性，因此形式化......
针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的......
通过对pi演算进行扩充以形式化描述BPEL4WS程序，给出了扩充pi演算的语法和操作语义，并用pi演算的通讯并发结构表示BPEL4WS规范的link......
Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台，它为异构环境下的应用开发提供了一种新的方式。Ice协议定义......
如何从已有的Web服务构造新的增值性的正确的Web服务，已成为研究Web服务的群体关注的一个焦点.因此，为了得到可靠的、高质量的服务，必......
Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后，提出了以Pi演算作为工作流形式化的基础，并利用Pi演算对复杂分......
服务协同环境是以服务协同中间件为底层平台,面向企业级BPM、EAI和B2B应用的软件环境。文章基于进程代数方法研究了服务协同环境中......
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用，对Web服务进行描述，Pi演算在描述Web服务具有相当的优势，但其在数据定......
文中定义了Petri网的一子类系列：κ-选择网，它形成一个后类包含前类的Petri网子类的无穷序列，证明了此无穷序列的并集等于Petri网类，自......
分析了对工作流进行形式化建模的意义，应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基......
BDI模型是Agent理论与技术领域研究和应用最多的理论模型，但存在BDI模型和具体Agent结构之间缺少明确映射关系，以致难以编程实现BDI......
在医院信息管理系统中,医院耗材管理起着非常重要的作用。应用Pi演算对医院信息系统中的耗材计划管理流程建模,并应用MWB对流程进......
提出了一种改进的Web服务自动组装的方法，以提高Web服务组装的自动化。组装Web服务时，先用UML对复合Web服务进行建模，从UML模型得到复......
Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是W......
Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设......
工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以......
首先提出适用于客户关系管理CRM(Customer Relationship Management)系统业务流程的PI演算的建模方法,对业务流程建模热点问题进行......
利用实例分析基于工作流网WF_Net,pi演算和工作流管理语义网WM_semantics在工作流建模过程中的优缺点,指出将以上建模理论的各自优......
设计出一个安全模型后，要严格验证其是否满足安全需求是非常重要和必要的。利用形式化方法来检验模型是否满足了安全协议是一种有效......
