计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 86-90.doi: 10.11896/j.issn.1002-137X.2014.07.017

• 2013'Petri 网 • 上一篇    下一篇

基于XAr/T-net的业务流程建模与分析

王颖,李季辉,黄震   

  1. 燕山大学信息科学与工程学院 秦皇岛066004;河北省计算机虚拟技术与系统集成重点实验室 秦皇岛066004;燕山大学信息科学与工程学院 秦皇岛066004;燕山大学信息科学与工程学院 秦皇岛066004
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受河北省自然科学基金(F2011203092),秦皇岛科技支撑计划项目(201302A038)资助

Business Process Modeling and Analyzing Based on XAr/T-net

WANG Ying,LI Ji-hui and HUANG Zhen   

  • Online:2018-11-14 Published:2018-11-14

摘要: Petri网是对业务流程进行描述和分析的有效工具,但已有的基于Petri网的建模方法无法体现流程中关键业务数据的变化。Artifact作为业务流程中的数据实体,是具有嵌套结构的复杂数据对象。用一种图形化的XML模式定义语言描述Artifact的结构。将XML文档的操作与Petri网流程的定义相结合,对以Artifact为中心的业务流程建立一种可计算的XAr/T-net模型。在XAr/T-net模型的基础上,分析业务流程逻辑结构,并采用覆盖图分析Artifact的特性。

关键词: 以Artifact为中心,Petri网,XAr/T-net模型,业务流程分析 中图法分类号TP311文献标识码A

Abstract: Petri net is an effective tool to describe and analyze business processes,but existing Petri net-based modeling approach can not reflect the flow of business data.Artifact is the key data entity in business processes and has complex nested structure.Artifact structure and operations were defined with graphical XML schema definition language.A computable model named XAr/T-net was presented based on the combination of XML document and process definition with Petri net.The business process structures and the Artifact features were analyzed using the coverability graph in Petri net.

Key words: Artifact-centered,Petrinet,XAr/T-net,Business processes analyzing

[1] van der Aalst W M P.Workflow Management:Models,Me-thods,and Systems[M].Cambridge,MA:MIT Press,2002
[2] Nigam A,Caswell N S.Business artifacts:An approach to operational specification[J].IBM Systems Journal,2003,42:428-445
[3] Gerede C E,Bhattacharya K,Su J.Static analysis of business artifact-centric operational models[C]∥Int.Conf.on Service-Oriented Computing and Applications(SOCA).Piscataway,NJ:IEEE,2007:133-140
[4] Bhattacharya K,Gerede C E,Hull R,et al.Towards formal analy-sis of artifact-centric business process models[C]∥Int.Conf.on Business Process Management(BPM)(LNCS4714).Berlin Heidelberg:Springer-Verlag,2007:288-304
[5] Gerede C E,Su J.Specification and verification of artifact beha-viors in business process models[C]∥Int.Conf.on Service Oriented Computing(ICSOC)(LNCS 4749).Berlin Heidelberg:Springer-Verlag,2007:181-192
[6] 严志民,徐玮.解决变化问题的自底向上流程建模方法[J].计算机集成制造系统,2011,7(8):1595-1602
[7] 周媛莎.基于物件依赖关系的工作流模型分析和柔性研究[D].上海:复旦大学,2009
[8] 田钊,程曜安,刘英博,等.工作流应用数据生命周期模型的提取方法[J].计算机集成制造系统,2011,7(8):1624-1632
[9] Liu R,Bhattacharya K,Wu F Y.Modeling business contexture and behavior using business artifacts[C]∥Int.Conf.on Advanced Information Systems Engineering(CAiSE)(LNCS 4495).Berlin Heidelberg:Springer-Verlag,2007:324-339
[10] 王颖,刘国华,高尚,等.ArtiFlow中artifact生命周期的可满足性问题[J].小型微型计算机系统,2012,33(6):1176-1182
[11] 王颖,刘国华,刘海滨,等.Artifact的有效性问题研究[J].计算机集成制造系统,2012,18(8):1726-1734
[12] Lenz K,Oberweis A.Modeling Interorganizational Workflowswith XML Nets[C]∥34th Annual Hawaii International Confe-rence on System Sciences(HICSS-34).Maui,Hawaii,USA:IEEE,2001(7):7052-7062
[13] Murata T.Petri Nets:Properties,Analysis and Applications[J].Proceedings of the IEEE,Institution of Engineering and Technology,UK,1989,77(4):541-580

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!