搜索到259篇“ PI-演算“的相关文章
- 基于Pi-演算的移动自助服务系统缴费流程的建模与验证
- 2016年
- 在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整模型,同时在Pi-演算专业仿真软件工具MWB中验证了该模型的正确性。
- 高娟丁志义
- 关键词：PI-演算
- 基于Pi-演算的移动自助服务系统的建模与验证
- 移动自助服务系统通过有线或无线网络实现了对其自助服务终端的远程监视和控制，方便公司内部管理，并且为用户提供了方便的途径完成缴费和其他基础业务。由于系统的复杂性，对于系统的分析和验证显得尤为重要，这时就需要建立一种精确的可...
- 高娟
- 关键词：建模仿真PI-演算
- 文献传递
- 基于分布式Pi-演算的NameNode单点故障研究与实现
- 大规模数据处理是近些年来备受重视的一个问题，相应的技术也层出不穷，Hadoop是其中应用最为广泛的一种分布式系统基础框架，分布式文件系统（Hadoop Distributed File System）则是Hadoop的最...
- 吴方超
- 关键词：HDFS
- 文献传递
- 基于Pi-演算的虚拟环境下进程通信建模与应用
- 近年来，由于计算机技术的推动，以虚拟机技术为支撑的服务和应用得到了迅猛发展。 目前，虚拟机技术已经被推广到了计算机的诸多领域。虚拟机技术能够帮助整合服务器资源，提高设备的利用率;提供隔离的运行环境，帮助开发者分析软件的...
- 葛润润
- 关键词：进程通信XEN虚拟机PI-演算数据传递
- 基于Pi-演算的供应链节点企业行为的随机分析被引量：1
- 2013年
- 为解决节点企业行为的不确定影响供应链系统性能的问题,提出一种应用Pi-演算对供应链的节点企业行为进行随机分析的方法。利用交互图描述了节点企业行为的不确定性;通过建立交互图与Pi-演算的映射关系得到节点企业行为的Pi-演算形式规约,利用Pi-演算的操作语义规则构造出节点企业行为的状态转移图;将该状态转移图与一个齐次马尔科夫链对应起来;借助马尔科夫链中的相关理论来定量分析节点企业行为的随机性,发现各节点企业订单处理能力的强弱可以决定其对供应链上客户订单操作成功率的相对影响的大小。仿真实验表明,该方法能够评价出对供应链运作影响最大的节点企业,从而可以指导供应链运作效率的改善。
- 黄永涛王刚任秉银张浩云
- 关键词：供应链PI-演算马尔科夫链
- 基于多元Pi-演算的Web服务组合描述与验证被引量：7
- 2013年
- 验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.
- 胡静饶国政冯志勇
- 基于Pi-演算的信任Web服务组合建模被引量：2
- 2012年
- 为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系。借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求。
- 云本胜
- 关键词：PI-演算
- 基于Pi-演算的Web服务形式化描述模型*被引量：2
- 2011年
- 当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的。提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构。
- 胡静冯志勇
- 关键词：WEB服务WEB服务组合形式化描述模型PI-演算
- 基于Pi-演算的Web服务组合的描述和验证
- 在研究Web服务组合中存在着一个重要问题是怎么样使用进程代数形式化的描述Web服务组合并且证明Web服务组合的正确性。用Pi-演算建模Web服务组合的模型可以用来检查、验证Web服务组合以保证服务组合的正确性。因为Web...
- 常斌
- 关键词：PI-演算WEB服务组合行为等价
- 文献传递
- 基于Pi-演算的第三代移动通信服务的形式化建模与研究
- 当今,伴随国际互联网在全球范围的广泛普及和应用,Web服务组合也在不断地变化发展。Web服务具有松散耦合性、平台无关性等特性,能够提供兼容已有系统的跨平台分布式应用,提供更为多样的服务。同时,移动通信在发展过程中,需要解...
- 高超
- 关键词：PI-演算WEB服务第三代移动通信IMS
- 文献传递
相关作者
- 袁敏
- 作品数：25被引量：53H指数：4
- 供职机构：南京航空航天大学计算机科学与技术学院
- 研究主题：WEB服务 PI-演算 事务 数据挖掘 WEB
- 黄志球
- 作品数：416被引量：1,068H指数：15
- 供职机构：南京航空航天大学
- 研究主题：WEB服务 抽象语法树 隐私 代码 本体
- 郭文彩
- 作品数：15被引量：157H指数：5
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：网格服务 工作流 PI-演算 交互模式 网格服务组合
- 钟发荣
- 作品数：43被引量：30H指数：3
- 供职机构：浙江师范大学数理与信息工程学院
- 研究主题：网络可靠度 可靠性分析 进程代数 BDD 网络
- 李祥
- 作品数：18被引量：0H指数：0
- 供职机构：南京航空航天大学
- 研究主题：变换方法 车道线检测 消失点 自适应逆 抽样技术
