高尚
- 作品数：4 被引量：7H指数：1
- 供职机构：燕山大学更多>>
- 发文基金：国家自然科学基金秦皇岛市科学技术研究与发展计划课题更多>>
- 相关领域：自动化与计算机技术更多>>
- ArtiFlow中artifact生命周期的可满足性问题被引量：5
- 2012年
- 以数据为中心是业务过程管理技术发展的一个新趋势.artifact是记录业务过程的数据实体,围绕artifact的业务过程管理正在成为业务过程管理研究的一个热点.生命周期是artifact的一个重要特征,业务过程能否满足对artifact生命周期的定义是业务过程设计中需要验证的一个重要特性.本文从artifact属性赋值顺序的角度,基于Petri网定义artifact的生命周期树.采用ArtiFlow建立业务过程模型,在ArtiFlow模型中根据业务规则提取artifact状态变化树,与artifact生命周期树进行路径比较,验证业务过程模型中artifact生命周期的可满足性.给出相应的算法并分析了算法的复杂度.
- 王颖刘国华高尚赵丹枫刘海滨
- 关键词：业务过程管理PETRI网可满足性
- 业务流程中Artifact的有效性问题研究
- 以数据为中心的业务流程管理是业务流程管理领域的重要分支，其典型代表是IBM提出的面向Artifact的业务流程管理。Artifact作为业务流程中的核心数据实体，具有动态时变性，Artifact状态的变化也关系到流程执行...
- 高尚
- 关键词：ARTIFACT有效性时间PETRI网可达树
- 文献传递
- ArtiFlow Designer:一种面向Artifact的业务流程设计工具被引量：1
- 2011年
- ArtiFlow是一种以数据为中心的业务流程描述模型,如何管理ArtiFlow是面向Artifact业务流程管理中的一个关键问题.ArtiFlow的设计方法和设计工具是ArtiFlow管理的基础,首先在介绍Artifact和Arti-fact系统的基础上给出了以业务流程中关键Artifact及其生命周期为出发点的ArtiFlow设计方法;其次描述了ArtiFlow模型中各元素的含义,并给出了ArtiFlow模型的形式化定义;最后设计开发出了ArtiFlow的设计工具——ArtiFlow Designer.
- 张大伟王颖李慧芳李婷蔡换换高尚刘国华
- 关键词：业务流程管理ARTIFACT
- 基于时间Petri网的Artifact有效性的验证被引量：1
- 2011年
- 在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。
- 高尚金顺福刘国华王颖刘海滨
- 关键词：时间PETRI网业务流程管理有效性
