PI-CALCULUS

作品数：6被引量：6H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：潘晓华冯志林董金祥尹建伟徐东红更多>>
相关机构：浙江大学西安交通大学清华大学中国科学技术大学更多>>
相关期刊：《Journal of Software Engineering and Applications》《计算机应用研究》《Journal of Computer Science & Technology》《Journal of Southeast University(English Edition)》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Pi-Calculus的跨组织工作流建模方法
《计算机应用研究》2006年第1期63-65,76,共4页潘晓华 冯志林 尹建伟 郑正平 董金祥 
国家"863"资助项目(2003AA411021;2001AA415220);国家自然科学基金资助项目(60273056)
针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法。首先根据工作流管理联盟(W fMC)的有关工作流过程定义接口规范,利用Pi-Calculus技术对跨组织业务流程结构进行了形式化定义。此外,利...
关键词：工作流建模 Pi—Calculus 跨组织流程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部