PI演算

作品数：73被引量：109H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郭小群郝克刚侯红李彤莫启更多>>
相关机构：吉林大学西北大学武汉大学云南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
使用Pi演算的构件交互可信性验证模型被引量：1
《计算机科学与探索》2012年第5期419-429,共11页王丹 常建生 赵文兵 
国家重点基础研究发展规划(973)No.2007CB311106;北京市自然科学基金No.4122007~~
为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为...
关键词：构件 交互 PI演算 可信性验证 
软件实体中预期协作路径的获取方法
《计算机工程》2012年第5期76-78,88,共4页常建生 王丹 赵文兵 
国家"973"计划基金资助项目(2007CB311106);北京市自然科学基金资助项目(4122007)
为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,利用Pi演算的操作语义推演实体协作,生成实体预期协作路径集,...
关键词：软件实体 PI演算 推演 协作路径 可扩展标记语言 
Ice协议的形式化分析被引量：1
《计算机科学》2006年第8期240-242,246,共4页杨小刚 沈曾伟 
国家973资助项目(No.G1999032709)
Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台,它为异构环境下的应用开发提供了一种新的方式。Ice协议定义了客户和服务器通信的规则。本文使用pi演算描述分析Ice协议,从交互过程和协议实体两方面对协议进行了刻...
关键词：ICE PI演算 协议压缩 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部