Computer Science ›› 2014, Vol. 41 ›› Issue (7): 86-90.doi: 10.11896/j.issn.1002-137X.2014.07.017
Previous Articles Next Articles
WANG Ying,LI Ji-hui and HUANG Zhen
| [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! |
|
||
Home