进程代数相关论文
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动......
面向服务计算是下一代基于互联网的全新软件体系结构。它具有分布、共享、健壮、可扩展、可移植、互操作等特性。这些特性主要来自......
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋......
随着对软件系统的连续运行性要求的提高,构件的动态演化逐渐成为研究热点,而保证构件系统的行为一致性是构件动态演化的首要问题和......
该文针对分布式复杂应用领域中业务流程的这些特点,对工作流的一些关键技术问题进行了研究,包括适于分布式复杂应用的工作流建模技......
该文的主要研究内容和成果包括:1.非对称χ-演算的语法和语义 定义了非对称χ-演算的语法和语义:在语法上,给出了一组算子用以构造......
本课题基于SBML 和BioSPI 的基础，分两步来完成：1．首先研究SBML 和BioSPI 对系统生物建模的不同点和相同点，SBML 从知识表示和共享的角......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
双代数是同一基集上的代数共代数对，它结合了代数的构造和共代数的观察。计算机科学中的许多概念都是构造与观察的结合体，如程序、进......
在分布式并发系统构造过程中,基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。但并发......
随着Internet/Intranet的出现,计算机及其应用领域正发生着深刻的革命,计算机的应用正向着协同工作的方向发展。以此同时,分布式处......
随着Web服务数量的急剧增多,用户面临大量的服务选择。因此如何从众多功能相似的Web服务中高效地发现满足条件的服务,如何判定服务......
下一代网络是电信网络发展的方向，业务控制方式和业务提供方式是下一代网络研究的重要内容。业务和传输的分离是下一代网络的基本特......
随着并发软件系统在国民经济、国防等关键领域的广泛应用，如何验证其正确性和可靠性以保证软件质量成为日益紧迫的问题。对并发系统......
性能评价的目的是描述和分析系统的动态及与时间有关的行为。尽早将功能、时序行为检验与设计相结合，可以在很大程度上消除不必要的......
进程代数与时序逻辑是并发理论中应用最为广泛的两类规范系统,其中进程代数支持组合式的规范,而时序逻辑便于描述与验证系统的抽象......
随着软件技术的发展,一种被称为面向服务软件体系结构SOA的软件系统开发方法被提出并得到迅速发展。今天的SOA是基于已经广泛接受......
学位
在现有的并发分布式系统中，信息的发送往往是非阻塞的，必须采用异步的通信方式。而实际的程序设计严格区分输入和输出动作，即非对称通......
通信需要各种协议的参与,如何描述这些协议,如何确保这些协议的一致性,正确性和完备性成为一个难题。人们提出了很多理论来刻画这......
近年来,随着互联网技术与网络应用程序的迅速发展,基于Web服务的分布式计算模式正在成为技术发展的新趋势。Web服务是一种基于网络......
事务性内存(Transactional memory,简称TM)是一种非常有前景的解决多核系统中同步和并发问题的机制。然而在高冲突情况下,事务性内......
进程演算是刻画并发与交互式反应系统行为的原型规范语言,它们通过进程项来描述反应式系统的规范及实现,实现是否满足规范则由行为......
进程代数研究的核心内容之一是讨论进程之间的行为等价或精化关系。传统的行为等价或精化关系不考虑动作的类型，它们不适合处理具有......
随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B......
网格环境下实体信任网络的形式化建模是实现其仿真的关键环节,利用pi-演算刻画网格中信任网络的结构和交互。抽象定义信任网络,讨......
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统.本文研究了异步非对称Chi演算的各种互模拟关系,文中定义了异......
期刊
带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用"on-the-fly"实例化算法来验证传值进程之间的互模拟等......
在进程代数框架内基于算子的性质研究抽象安全性质及其偏序关系,定义了复合不变安全性质和可构造安全性质.首先证明进程代数算子在......
基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的......
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA).在此基础上进一步提出一种软件体系结构描述语言(PEADL).介......
期刊
为了保证构件在动态演化时的行为一致性,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请......
软件对环境的依赖性主要体现在软件与环境的交互。在实际中,有时软件与环境未必成功交互。其交互程度对软件的性能有着很大的影响......
可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的......
针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件......
针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过......
结构分析与设计语言（Architecture Analysis and Design Language，AADL）是复杂嵌入式实时系统体系结构建模的语言标准，但是对于嵌入式......
针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法（PA4WS）,该方法新增WS-CDL工作......
针对Spi演算在安全协议分析中存在的局限性，通过引入概率多项式时间进程，提出了一个分析安全协议的新方法。该方法是对Spi演算的改进......
在ｃｈｉ进程间互模拟格的基础上，利用Ｌ－互模拟的开刻划，给出所有４个Ｌ－互模拟等价诱导的同余关系的完全公理化系统。４个Ｌ－互模拟等价中最小的同余关......
为了实现适合描述并发和组合系统的经典进程代数对服务组合时间规约的建模与分析,首先,提出了一种模糊时间通信顺序进程（FTCSP）,定义......
演算作为一种刻划通信系统的进程演算在刻划Agent间的交互时具有得天独厚的优势。该文用多价演算来描述面向电子商务的Agent间的通......
基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义.基于进程代数提出了PA4WS（Process Algebra for WS-CDL）来描......
可信连接架构作为我国在可信网络方面的解决方案,规范了具有可信平台控制模块的终端接入可信网络所涉及的实体、实体之间的信息交......
进程之间的等价关系或精化关系的同余或前同余性（congruence或precongruence）是组合式推理和模块化设计验证的理论基础。针对面向Web......
为了消除移动灰箱演算中的强干扰问题,Levi等人提出了安全灰箱演算.然而,安全灰箱演算中引入的反动作却带来了新的安全隐患.为了消......
把进程代数 ( Process Algebra简称PA 引入到 ) DSS模型系统建模中来,提出了一种新......
