PI演算

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种能够描述可信特征的进程代数被引量：1
《计算机研究与发展》2011年第11期2120-2130,共11页符宁 周兴社 詹涛 
国家"八六三"高技术研究发展计划重大专项基金项目(2009AA010308);国家"八六三"高技术研究发展计划基金项目(2006AA01Z162);国家发展与改革委员会基金项目(20052139);国家"十一五"国防预研基金项目(06004089)
针对可信服务计算需要对系统行为和可信特征进行建模和分析的要求,结合具有描述多个维度可信特征能力的Q代数对Pi演算进行扩展,提出一种可用于对系统行为及可信特征进行建模的进程代数,称之为QPi.QPi将可信特征附加于进程动作,在描述系...
关键词：可信软件 进程代数 PI演算 Q代数 半环 
Pi演算与动态描述逻辑DDL的关系研究被引量：1
《计算机研究与发展》2008年第z1期131-136,共6页刘磊 汪美玲 高艳华 张长海 于哲舟 
国家自然科学基金项目(60603031);教育部博士学科点专项科研基金项目(20060183044);吉林省科技发展计划基金项目(20050527)
分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,...
关键词：PI演算 动态描述逻辑DDL 关系 
基于Pi演算的跨组织工作流建模研究被引量：16
《计算机研究与发展》2007年第7期1243-1251,共9页张静 王海洋 崔立真 
国家自然科学基金项目(60673130)
传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业...
关键词：跨组织工作流 PI演算 业务流程建模 抽象 组合 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部