pi演算相关论文
科技资源服务是云计算环境下数据服务领域的重要业务之一.但是,由于科技资源归属单位不同,条块分割,实现跨平台服务与共享存在很大......
随着计算机网络和多核处理器的出现，并行系统被广泛应用于生产实践中。作为描述并行系统的形式化模型，Petri网和Pi演算（π-演算）得以迅......
近年来,随着计算机性能的不断提高和网络技术的快速发展,集群因为其自身低成本、高性能的优势已成为近年来计算机技术方面的研究热......
随着软件技术的发展,一种被称为面向服务软件体系结构SOA的软件系统开发方法被提出并得到迅速发展。今天的SOA是基于已经广泛接受......
学位
BPMN(BusinessProcessModelingNotation)验证是BPMN模型在实现或转化成其它语言前，通过某种方法或技术发现模型中存在的问题。这是B......
为了满足企业应用系统业务的快速变化,一种新的软件系统架构理论—面向服务的架构SOA(Service-Oriented Architecture)应运而生,并......
面对服务的体系架构(Service-Oriented Architecture,SOA)是分布式计算和软件开发的最新发展方向,Web服务作为SOA的实现方式之一,......
随着Web服务技术的快速发展,越来越多的稳定易用的Web服务共享在网络上,但是单个Web服务的功能一般比较简单,很多情况下不能满足用......
形式化模型的互模拟是形式化方法领域中的一个重要研究问题。通过研究两种形式化模型的互相模拟,可以把不易于在一种模型分析的问......
分布式系统以其优秀的计算能力和卓越的可扩展性成为了计算机领域的热门研究对象,它可以从分散的主机中收集数据并利用这些主机完......
新世纪信息时代的来临加速了跨组织商务活动的迅猛发展,服务交互活动的规模与涉及领域不断扩大,组织边界对业务流程的限制作用也开......
随着Web服务技术的研究、发展和应用，众多学者试图寻找Web服务组合验证的有效方法，开始运用形式化方法描述Web服务组合并对其进行分......
在动态、异构和自治的互联网服务环境中,对WEB服务组合的形式化分析与验证是保证按需服务应用的有效途径,寻找有效的形式化分析方......
构件行为的兼容性分析是研究构件动态交互过程中的重要问题,其研究结果可应用于构件替换、迁移、动态自适应演化等研究。为了保证......
鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身......
为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视......
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴Pi演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化......
协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过......
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言（unified modeling language,UML）与Pi演算理论相结合,提出了一个软......
随着企业竞争日趋激烈，业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性，因此形式化......
通过对pi演算进行扩充以形式化描述BPEL4WS程序，给出了扩充pi演算的语法和操作语义，并用pi演算的通讯并发结构表示BPEL4WS规范的link......
如何从已有的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服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是W......
Pi演算作为一种移动进程代数,可用于分析和设计并行的分布式业务流程。基于Pi演算实现对跨组织服务交互流程的结构与形式化模型设......
工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以......
利用实例分析基于工作流网WF_Net,pi演算和工作流管理语义网WM_semantics在工作流建模过程中的优缺点,指出将以上建模理论的各自优......
设计出一个安全模型后，要严格验证其是否满足安全需求是非常重要和必要的。利用形式化方法来检验模型是否满足了安全协议是一种有效......
文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架，说明了这个框架中每一步骤涉及的理论和工具应用。并......
为顺利地执行Web复合服务，实现服务的自动组合，对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证．运用进程代数......
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求，结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展，提出......
本文主要通过PI演算对软件人的通信中信息流和控制流进行形式化表述和建立模型,基于该通信模型,实现对软件人之间的协作、自律等行......
MWB是一个基于PI演算的模型检测工具。本文对多播的PIM_SM协议用PI演算建立一个三层模型并进行模型检测，其中主要检测PIM_SM协议中......
为了研究Pi演算的表达能力，我们试着用它来表达图灵机。研究结果表明，只要对Pi演算进行一定的的扩展，即引入某些函数符号，允许对发送的......
人工神经网络是一种重要的人工智能实现方法，但是目前人工神经网络缺乏通用的数学模型，用来模拟各种结构的神经网络．然而形式化方法对......
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新......
分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑......
针对秘密共享方案的自动化验证问题,提出一种基于等值理论的秘密共享方案自动化验证方法。首先通过等值理论在应用Pi演算中对可验......
针对传统编程语言不能便捷高效利用多核芯片计算资源的缺点,本文提出了一种并行编程语言并定义了核心语义及其运行时环境的相关算......
为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而......
Web服务组合研究领域中一个重要的研究内容是服务组合验证问题,通过对Web服务组合建立形式化模型,在服务组合之前进行形式化验证,......
如何在开放的Internet环境下实现各种异构资源的共享与集成,已经成为计算机技术面临的重大挑战,并由此提出了网构软件（Internetware......
