PI演算

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于抽象服务的密码服务组合模型设计与实现被引量：2
《计算机工程与设计》2012年第8期2920-2925,共6页李建军 郁滨 陈武平 
传统的密码服务与应用系统的紧耦合,不能满足新的业务需求,同时严重制约了密码服务的发展。为了提高密码服务质量和扩展其应用范围,根据密码服务的特点,对其进行抽象归类,构建抽象服务。并在此基础上结合面向服务的体系架构,利用BPEL和P...
关键词：抽象服务 密码服务 服务组合 PI演算 原型系统 
面向跨组织业务流程的角色行为验证方法
《计算机工程与设计》2011年第10期3368-3373,共6页叶鑫 马俊锋 
国家自然科学基金项目(71001013);教育部高等学校博士学科点专项科研基金项目(200801411060);中央高校基本科研业务费基金项目(DUT09RC(3)060)
为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算...
关键词：跨组织业务流程管理 角色模型 业务流程分析 PI演算 模型验证 
基于Pi演算和EECA规则的跨组织工作流建模研究被引量：1
《计算机工程与设计》2010年第17期3831-3834,共4页钟晓雄 张远平 
针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法。将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题。利用Pi演算技术,对...
关键词：跨组织工作流 EECA规则 PI演算 本地工作流 柔性 
基于PI演算的CRM系统的业务流程建模被引量：2
《计算机工程与设计》2009年第17期4012-4015,共4页杨毅 何丰 
宁夏自然科学基金项目(NZ0692);计算机应用技术重点学科基金项目(NJG2006.311)
解决了应用PI演算对CRM(客户关系管理)进行业务流程建模的问题。对业务流程建模的常用方法UML(标准的图形化建模语言)和Petri网进行比较,得出PI演算是最适合业务流程建模的工具;应用PI演算对CRM系统的一个例子进行业务流程建模并解决了...
关键词：客户关系管理系统 PI演算 移动工作平台 模型验证 业务流程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部