您的位置: 专家智库 > >

中央高校基本科研业务费专项资金(2012QJ090)

作品数:1 被引量:4H指数:1
相关作者:吴峥向勇孙瑞志袁钢更多>>
相关机构:中国农业大学清华大学更多>>
发文基金:中央高校基本科研业务费专项资金国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇语义验证
  • 1篇工作流

机构

  • 1篇清华大学
  • 1篇中国农业大学

作者

  • 1篇袁钢
  • 1篇孙瑞志
  • 1篇向勇
  • 1篇吴峥

传媒

  • 1篇小型微型计算...

年份

  • 1篇2013
1 条 记 录,以下是 1-1
排序方式:
基于条件约束的工作流语义验证方法及应用被引量:4
2013年
针对业务流程在动态执行时,由于业务环境、资源的复杂性和多变性会给流程的正确执行带来影响的问题,提出一个用于描述基于业务目标实现的流程、业务资源,以及三者协作和约束关系的四维元模型;并且基于流程模式对业务过程进行表示,利用XML进行流程知识表示的优势,通过在流程模式的XML Schema中对实现业务目标所依赖的资源、环境等进行条件约束的设计,根据业务目标、流程和资源三者之间的逻辑条件约束关系,采用条件匹配算法对动态规划出的流程文件进行解析和语义检查,减少了工作流引擎在执行时会发生错误的概率.
袁钢孙瑞志向勇吴峥
关键词:工作流语义验证
共1页<1>
聚类工具0