您的位置: 专家智库 > 作者详情>陈亮

陈亮

作品数:3 被引量:0H指数:0
供职机构:中国科学院软件研究所更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇学位论文
  • 1篇期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇产生式
  • 1篇形式化
  • 1篇形式化方法
  • 1篇业务流
  • 1篇业务流程模型
  • 1篇流模型
  • 1篇可扩展
  • 1篇可扩展性
  • 1篇扩展性
  • 1篇几何体
  • 1篇工作流
  • 1篇工作流模型
  • 1篇分析方法

机构

  • 3篇中国科学院软...

作者

  • 3篇陈亮
  • 1篇魏峻
  • 1篇夏永霖

传媒

  • 1篇计算机应用研...

年份

  • 1篇2007
  • 1篇2006
  • 1篇1994
3 条 记 录,以下是 1-3
排序方式:
一种基于产生式的流程模型分析方法
2007年
在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。
陈亮夏永霖魏峻
关键词:业务流程模型
基于产生式的工作流模型分析技术研究
工作流技术是当前非常活跃的研究领域之一,随着工作流系统在企业中应用的深入,业务流程日趋复杂和庞大,造成基于工作流的应用系统的设计成本加大、风险性提高。因此,如何在流程模型设计阶段分析其结构,验证模型的良构性,提高工作流的...
陈亮
关键词:工作流形式化方法产生式可扩展性
在二、三维空间中求两凸几何体间距离的算法
陈亮
共1页<1>
聚类工具0