PI演算

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
软件实体中预期协作路径的获取方法
《计算机工程》2012年第5期76-78,88,共4页常建生 王丹 赵文兵 
国家"973"计划基金资助项目(2007CB311106);北京市自然科学基金资助项目(4122007)
为解决软件实体间的预期协作路径获取问题,提出一种软件实体中预期协作路径的获取方法。结合UML与Pi演算理论,在对软件实体行为分析的基础上,对实体行为进行Pi演算语义抽取,利用Pi演算的操作语义推演实体协作,生成实体预期协作路径集,...
关键词：软件实体 PI演算 推演 协作路径 可扩展标记语言 
基于Pi演算的BPMN编排模式被引量：1
《计算机工程》2009年第23期274-277,共4页杨鹏玉 邱锦伦 
上海市学科建设基金资助重点项目(J50103)
针对业务流程建模标记(BPMN)无法依靠自身对编排进行形式化分析的问题,提出用Pi演算描述BPMN编排模式,实现对BPMN编排的描述。BPMN编排模式是服务交互模式的BPMN表达。实验结果表明,该方法能够找到并排除BPMN编排中的死锁。
关键词：业务流程建模标记 PI演算 编排 
用Spi演算描述和验证密码学安全协议被引量：3
《计算机工程》1999年第2期51-53,共3页曾小平 孙永强 
讨论了针对共享密钥安全协议的Spi演算，而且对安全协议的Spi演算描述和验证进行了深入的探讨。
关键词：PI演算 SPI演算 安全协议 密码学 计算机安全 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部