PI-演算

作品数：30被引量：156H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：袁敏黄志球康辉郭文彩谭浩更多>>
相关机构：南京航空航天大学吉林大学云南大学清华大学更多>>
相关期刊：《北京交通大学学报》《广东通信技术》《计算机学报》《系统仿真学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划湖南省自然科学基金国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SOA的Web服务组合建模研究被引量：3
《内蒙古工业大学学报（自然科学版）》2016年第4期288-292,共5页田永红 王艳芳 包力 
内蒙古自治区高等学校科学研究项目(NJZY13120);内蒙古工业大学科学研究项目(X200803);内蒙古自治区自然科学基金资助项目(2013MS0920)
SOA架构是解决构建松散耦合Web服务组合系统的一种有效方式,已成为Web服务研究的一个热点。本文基于SOA架构研究Web服务组合系统,提出了一种基于SOA架构的Web服务组合模型,设计了一个Web服务组合原形系统,以"医院疾病咨询系统"为例采用...
关键词：SOA WEB服务组合 PI-演算 
基于Pi-演算的移动自助服务系统缴费流程的建模与验证
《宁夏工程技术》2016年第2期102-105,109,共5页高娟 丁志义 
在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整模型,同时在Pi-演算专业仿真软件工具MWB中验证了该模型的正确性。
关键词：移动自助服务系统 PI-演算 系统建模 MWB 
柔性银行业务流程定制技术的研究
《信息系统工程》2014年第5期97-100,共4页满俊朋 王霞 向学智 杨珊珊 
全国大学生创新创业训练计划项目(201211639007);上海大学生创新创业训练计划项目(201211639030)
银行的业务流程需要动态调整,以适应政策变化或者以满足新的业务需要,这就使得银行业务流程必须具备这种改变能力。因此该文提出一种基于Event-driven Process Chins的"功能替换构造算法"来构建业务流程,并对构造的过程提出了一些具体...
关键词：银行业务流程建模 EPC 替换构造算法 PI-演算 验证 
二元会话类型系统中演进特性研究
《浙江师范大学学报（自然科学版）》2013年第2期127-132,共6页钟发荣 杨振国 
国家自然科学基金资助项目(60873234);浙江省计算机软件与理论重中之重学科开放基金资助项目(ZSDZZZZXK24)
提出了一个保持演进特性的二元同步会话类型系统,分析了进程通信中可能发生的死锁情形;同时结合会话类型的子类型概念和松弛对偶关系,定义了类型一致性等法则,确保了类型系统中进程通信一旦发生,合式进程在通道上不会发生死锁的情形.此...
关键词：会话类型 PI-演算 子类型指派 演进特性 
基于Pi-演算的供应链节点企业行为的随机分析被引量：1
《计算机集成制造系统》2013年第1期165-172,共8页黄永涛 王刚 任秉银 张浩云 
国家863计划资助项目(2007AA04Z146)~~
为解决节点企业行为的不确定影响供应链系统性能的问题,提出一种应用Pi-演算对供应链的节点企业行为进行随机分析的方法。利用交互图描述了节点企业行为的不确定性;通过建立交互图与Pi-演算的映射关系得到节点企业行为的Pi-演算形式规约...
关键词：供应链 PI-演算 节点企业行为 随机分析 马尔科夫链 
基于Pi-演算的信任Web服务组合建模被引量：2
《计算机科学》2012年第S3期240-244,共5页云本胜 
国家自然科学专项基金(11147114);浙江省科技计划项目(2011C33012)资助
为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系。借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演...
关键词：PI-演算 信任Web服务组合 模型 
基于服务协调模型的业务事务验证方法
《计算机集成制造系统》2012年第3期662-671,共10页袁敏 黄志球 李祥 闫艳 
国家863计划资助项目(2009AA010307);国家自然科学基金资助项目(60873025);湖南省自然科学基金资助项目(09JJ3114);湘南学院资助科研项目(2007Y029)~~
为有效地保证Web服务业务活动中事务可靠地执行,提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法;定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系,提出...
关键词：业务流程集成 长事务 服务协调 PI-演算 形式化验证 WEB服务 
跨组织多业务事务建模与验证方法被引量：11
《软件学报》2012年第3期517-538,共22页袁敏 黄志球 胡军 
国家高技术研究发展计划(863)(2009AA010307);湖南省自然科学基金(09JJ3114)
面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为...
关键词：跨组织 业务流程 事务 PI-演算 验证 
大规模设备协同机制研究被引量：3
《计算机研究与发展》2011年第9期1589-1596,共8页荣晓慧 陈峰 邓攀 马世龙 
国家科技支撑计划基金项目(2006BAK12B11);软件开发环境国家重点实验室探索性自主研究课题(SKLSDE-2010ZX-06)
在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规...
关键词：大规模设备协同 协同任务模型 协同机制 时序约束 PI-演算 
基于Pi-演算的Web服务形式化描述模型*被引量：2
《计算机应用研究》2011年第6期2168-2173,共6页胡静 冯志勇 
天津市科技支撑计划重点资助项目(08ZCKFGX00700);应用基础及前沿技术研究计划资助项目(08JCZDJC19800)
当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建...
关键词：WEB服务 WEB服务组合 形式化描述模型 PI-演算 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部