您的位置： 专家智库 > >

秦皇岛市科学技术研究与发展计划课题(201001A048)

作品数：1 被引量：5H指数：1
相关作者：高尚赵丹枫刘海滨王颖刘国华更多>>
相关机构：东华大学燕山大学更多>>
发文基金：秦皇岛市科学技术研究与发展计划课题国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇业务过程管理
  • 1篇可满足性
  • 1篇过程管理
  • 1篇PETRI网

机构

  • 1篇东华大学
  • 1篇燕山大学

作者

  • 1篇刘国华
  • 1篇王颖
  • 1篇刘海滨
  • 1篇赵丹枫
  • 1篇高尚

传媒

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

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
ArtiFlow中artifact生命周期的可满足性问题被引量：5
2012年
以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artifact生命周期树进行路径比较,验证业务过程模型中artifact生命周期的可满足性.给出相应的算法并分析了算法的复杂度.
王颖刘国华高尚赵丹枫刘海滨
关键词：业务过程管理PETRI网可满足性
全选 清除 导出
共1页<1>
聚类工具0