PI演算

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
复杂分支和同步模式的Pi演算描述被引量：4
《计算机科学》2010年第2期139-140,179,共3页郭小群 郝克刚 侯红 丁剑洁 
国家高可信研究开发计划(2007AA010305)资助
Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
关键词：PI演算 工作流模式 形式化方法 
用Pi演算为业务过程建模的生命周期被引量：2
《计算机科学》2009年第11期157-159,195,共4页郭小群 郝克刚 侯红 丁剑洁 
国家高可信研究开发计划(2007AA010305)资助
随着企业竞争日趋激烈,业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具...
关键词：PI演算 生命周期 业务过程建模 
Ice协议的形式化分析被引量：1
《计算机科学》2006年第8期240-242,246,共4页杨小刚 沈曾伟 
国家973资助项目(No.G1999032709)
Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台,它为异构环境下的应用开发提供了一种新的方式。Ice协议定义了客户和服务器通信的规则。本文使用pi演算描述分析Ice协议,从交互过程和协议实体两方面对协议进行了刻...
关键词：ICE PI演算 协议压缩 
Web服务的Pi演算描述被引量：8
《计算机科学》2006年第3期261-262,共2页郭小群 郝克刚 
本文得到西安市科技攻关基金项目(GG200220);西北大学科研基金项目(02NW11)的支持
如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代...
关键词：PI演算 WEB服务 WEB服务组合 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部