基于P/T系统化简方法的工作流过程模型验证
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

model verification;reduction rules;procedure net;P/T system


Workflow Process Model Verification Using Reduction Method Based on P/T System
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果.

    Abstract:

    Nowadays, workflow technology has been intensively applied in the domains of administration, production, and scientific research. For the complexity and variability of process logic, how to build a well-structured business process is a practical problem. Thus, process model analysis and improvement become one of research directions in workflow technology. Firstly, according to the modified workflow process meta-model, a P/T system based workflow model procedure net is proposed. And then, a set of simplification rules are given to verify two structural conflicts of the process model, i.e. deadlock and lack of synchronization. Finally, following these rules, a procedure net example transformed from a business process is simplified, and the result is obtained.

    参考文献
    相似文献
    引证文献
引用本文

赵文,袁崇义,刘刚,张世琨,王立福.基于P/T系统化简方法的工作流过程模型验证.软件学报,2004,15(10):1423-1430

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2004-01-16
  • 最后修改日期:2004-03-29
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号