通信顺序进程相关论文
软件定义网络（SDN）为网络赋予了可编程性，降低了网络管理的复杂性，促进了新型网络技术的发展。SDN交换机作为数据转发与策略执行的设备......
Android隐私泄露问题日益严重,信息流分析是发现隐私泄露的一种主要方法.传统信息流分析方法以单一可达性分析为主,难以分析复杂信......
并发系统是现实世界中一类重要的复杂系统，已广泛应用于军事、交通、商业和服务业中，纵观现代软件行业，从操作系统到互联网，并发程序无......
目前，软件体系结构的研究主要集中在静态体系结构上。对于一些需要长期运行并具有特殊使命的系统(例如金融系统、航空航天系统等)，如......
一个大型软件的体系结构应该是一个分层次的体系结构，每一层都是该软件的一个体系结构。位于最上层的体系结构是最抽象的，位于最下层......
传统的软件系统维护和调整都是通过停机升级的方式进行的。然而对于航空通讯系统、工业控制系统、医疗生命系统等关键性系统而言，停......
由于协议开发过程中,复杂的协议流程和协议应用场景可能会导致协议描述出现逻辑漏洞,致使整个系统产生逻辑冲突。协议的安全性和可......
进入新世纪以来,网络技术的发展日益迅速,并且随着制造业的发展,工厂对无线电子类产品的制作工艺不断改进,因此制造成本也在不断降......
学位
随着移动计算、普适计算和Web Service等新兴技术的迅速发展，尤其是在Internet成为主流的软件开发环境后，动态软件架构(DynamicSoftw......
随着全球高分对地观测系统、导航定位技术和移动互联网的快速发展,空间数据的增长,地理信息的处理已经发展至大规模时空数据的集成......
为了更好地适应对Internet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.......
作者提出了一种面向对象安全模型。这一模型是一个信息流模型，其主要元素是对象。对象之间通过一个特殊对象－－消息－－进行信息交流。基于......
工作流作为支持企业经营过程重组、经营过程自动化的一种手段,已在并行工程、办公自动化、计算机集成制造等方面得到了广泛的应用......
本文使用通信顺序进程(Communicating Sequential Process)建模和分析认证协议,CSP有着良好的语义来描述认证协议,并且比较适合分......
软件定义网络(Software-Defined Networking,SDN)是一种新兴的网络架构,能够解决传统网络层级复杂,以至难以管理和创新的问题。该......
传达顺序的过程(CSP ) 是一种过程代数学，它对当模特儿合适；验证万维网服务作文。这篇论文描述怎么与 CSP 为万维网服务 compositiob......
物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心......
增量ETL过程的并行化是提高ODS数据实时性的有效途径。结合通信顺序进程理论研究了增量ETL过程模型,形式化分析了增量ETL过程事件......
为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。......
为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采......
安全协议的建模分析与设计一般采用形式化的方法进行,这是许多经典安全协议存在的缺陷。因此,文章提出采用形式化验证的方法对一种......
模型检测是通信顺序进程（communicating sequential processes,简称CSP）形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需......
基于Parlay业务规范的开放业务技术是下一代网络研究的重要内容.虽然Parlay业务规范目前已经被电信界普遍接受,但是,Parlay业务规......
隔离有助于阻止信息泄露或被篡改、错误或失败被传递等。利用不干扰理论给出了隔离的精确语义，以利于分析和制定系统的隔离策略；利用......
传统并发通信顺序进程（CSP）性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证工具开发的难度;同时,主流的并发系......
在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥......
工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出......
对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化......
Web services组合是Web services领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Web services组合,则是一......
研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变......
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSI......
首先提出一种基于CSP的协议形式化描述方法。这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交......
针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进......
针对现有模型检测工具对活性描述不足、模型转换复杂,提出一种基于ASP及稳定失败语义的CSP模型检测方法。该方法采用时态逻辑LTL刻......
讨论了为建立协议模型而进行的CSP扩充问题.主要向CSP中引入了可终止进程的概念,给出了可终止进程的判定方法;提出了用CSP来描述异......
描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便但在实际中，使用异步机制将机制将不可避免。基于霍尔的“通信顺序......
针对网络故障的复杂性和多样性，对网络故障管理的形式化描述进行了研究。基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究......
在当前的社会中,随着计算机技术、网络技术的不断发展,在人们的日常生活当中,对计算机网络的使用要求越来越高。在这样的情况之下,......
本文引入了“通信顺序进程”的概念，同时介绍了一种实现环境－ＲＩＳＣ结构的Ｔｒａｎｓｐｔｅｒ处理器及Ｏｃｃａｍ并行化编程语言，......
提出了一种基于通信顺序进程(CSP)理论的协议组合模型.该模型将协议表示为协议实体的组合,使得协议模型可以表示分解为协议实体层......
力图以通信顺序进程理论作为制造系统的规格说明语言，该描述语言可以自动转化生成系统的Petri网模型，从而为复杂制造系统Petri网模型......
为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并......
通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制......
对一个开源的、主流的虚拟机监控器Xen进行了优化研究。用通信顺序进程(CSP)和软件体系结构等形式化方法描述了Xen的块设备I/O体系......
在不干扰理论的基础上，提出扩展不干扰模型ENISM及其验证方法，用以描述和分析操作系统中的信息流策略．工作包括：（1）依据系统功能模块定义......
Cloud computing systems play a vital role in national securi-ty.This paper describes a conceptual framework called dual-......
为了更好地适应对Internet中迅速发展的新形态P2P网络应用进行建模的需求，深入研究了适于描述多方并发网络交互的形式化建模方法．首......
