期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

带数据工作流的形式化建模语言——数据感知的工作流网 被引量：2

Formal modeling language of workflow with data-data-aware workflow nets
下载PDF
导出
摘要 为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。 To model and verify the workflow formally before implementing workflow, the research status of workflowwith data＇s formal modeling was summarized. After cleaning the interacting features between various data and con- trol flow, a formal modeling language of workflow with data-Data-aware WorkFlow nets （DWF-nets） was pro- posed, and the behavior semantics of DWF-nets were also given. According to the method of DWF-net model＇s ra- tionality analysis/consistency analysis, the strong formal capacity of data-aware workflow net was verified.
作者 王朝霞 王建民 朱笑尘
机构地区 清华大学软件学院 清华大学计算机科学与技术系 清华大学信息系统安全教育部重点实验室 清华信息科学与技术国家实验室(筹) 后勤工程学院后勤信息工程系
出处 《计算机集成制造系统》 EI CSCD 北大核心 2012年第8期1735-1746,共12页 Computer Integrated Manufacturing Systems
基金 国家自然科学基金资助项目(61003099 61073005) 国家973计划资助项目(2009CB320700) 国家"核高基"资助项目(2010ZX01042-002-002)~~
关键词 业务过程管理 带数据工作流 形式化建模语言 数据感知的工作流网 business process management workflow with data formal modeling language data-awareworkflow nets
分类号 TP309 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献29

  • 1ELLIS C A, KEDDARA K. A workflow change is a workflow [J]. Lecture Notes in Computer Science, 2000,1806: 201-217.
  • 2BICHLER I. PREUNER G, SCHREFL M Workflow Transpar?ency [J].Lecture Notes in Computer Science, 1997 ,1250: 430-436.
  • 3FAN S, OOU W C, CHEN J. Dual workflow nets: mixed con?trol/ data-flow representation for workflow modeling and veri?fication[J]. Lecture Notes in Computer Science, 2007,4537: 433-444.
  • 4SIIX)ROVAN, STAHLC, TRCKAN. Workflow soundness revisited: checking correctness in the presence of data while staying conceptual [J]. Lecture Notes in Computer Science, 2010,6051: 530-544.
  • 5SIOOROVA N, STAHL C, TRCKA N. Soundness verifica?tion for conceptual workflow nets with data: early detection of errors with the most precision possible [J]. Information Sys?tems, 2011,36(7) : 1026-1043.
  • 6RYNDINA K, KUSTER] M, GALL H. Consistency of busi?ness process models and object life cyclesDJ. Lecture Notes in Computer Science, 2007 ,4364: 80-90.
  • 7TRCKA N, VAN DER AALST W M P, SIOOROVA N. Da?ta-flow anti-patterns: discovering data-flow errors in workflows [J]. Lecture Notes in Computer Science, 2009,5565: 425-439.
  • 8DAMAGGIO E, DEUTSCH A, VIANU V. Artifact systems with data dependencies and arithmetic[C]/ /Proceedings of the 14th International Conference on Database Theory. New York, N. Y., USA:ACM,2011:66-77.
  • 9OBERWEIS A, SCHAETZLE R, STUCKY W, et al. IN?COME/WF-a Petri net based approach to workflow manage?ment[C]/ /Proceedings of Wirtschaftsinformatik. Berlin, Ger?many: Springer-Verlag, 1997,97: 557-580.
  • 10HIDDERS]' KWASNIKOWSKA N, SROKA], et al. DFL:a dataflow language based on Petri nets and nested relational ca1cu?lus[]]. Information Systems, 2008 , 33(3): 261-284.

二级参考文献9

  • 1WESTFECHTEL B, CONRADI R. Version models for soft- ware configuration management[J]. ACM Computing Sur- veys,1998,30(2) :232-282.
  • 2WANG Zhaoxia, TER HOFSTEDE A H M, OUYANG Chun, et al. How to guarantee compliance between workflows and product lifecycles? [EB/OL]. [ 2011-02-11]. http://bpm- center.org/wp-content/uploads/reports/2011/BPM-11-10. pdf.
  • 3VAN DER AALST W M P. The application of Petri nets to workflow management[J]. Journal of Circuits, Systems, and Computers, 1998,8(1) :21-66.
  • 4PTC. Configuring a Winchill projectlink7.0 workflow and life- cyele[EB/OL]. (2010 01-08) [2011-02-20], http://www. pte. com/carezone/tutorials/files/eonfiguring _ winchill _ pro- jectlink_workflow _ lifecycle.pdf. September.
  • 5请软英泰公司.TiPLM一产品全生命管理系统[EB/OL].[2011-02-20].http://www.thit.com.cn/chanpinshijie/TiPLM.htm.
  • 6SIEMENS. Teamcenter manufacturing user's and administra- tor's manual[EB/OL]. (2010-04-09) [2011-03-05]. http:// www. CADfamily.com/download/CAD/ TeamcenterS/ Team- centerManufacturingUserAndAdministratorManual.pdf. Sep- tember.
  • 7VAN DER AALST W M P, VAN DONGEN B F, GUNTHE R C W, et al. ProM= the process mining toolkit[EB/OL]. [2011-02-20]. http://www.processmining. org/_media/pub lications prom 2009 bpmdemo. pdf.
  • 8ZHA H, VAN DER AALST W M P, WANG J, et al. Verif-ying workflow processes:a transformation based approach[J]. Software and Systems Modeling, 2010,10(2): 253-264.
  • 9KRAEMER A P. Survey research methodology in manageme- nt information systems:an assessment[J]. Journal of Manage- ment Information Systems, 1993,10(2) : 75-105.

同被引文献24

  • 1周文生.基于DAS的地理设计方法在空间规划中的应用[J].人类居住,2021(3):32-42. 被引量：2
  • 2高勇,刘瑜,邬伦.基于Petri网的空间信息工作流模型[J].计算机工程,2005,31(16):1-3. 被引量：8
  • 3VAN DER AALST W M P.Formalization and verification of event-driven process chains[J].Information & Software Technology,1999,41(10):639-650.
  • 4VAN DER AALST W M P.Workflow management:models,methods,and systems[M].Cambridge,Mass.,USA:MIT Press,2002.
  • 5LIU D,WANG J,CHAN S C F,et al.Modeling workflow processes with colored Petri nets[J].Computers in Industry,2002,49 (3):267-281.
  • 6LENZ K,OBERWEIS A.Modeling interorganizational workflows with XML nets[C]//Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS34).Washington,D.C.,USA:IEEE,2001:7052-7062.
  • 7NIGAM A,CASWELL N S.Business artifacts:an approach to operational specification[J].IBM Systems Journal,2003,42(3):428-445.
  • 8GEREDE C E,BHATTACHARYA K,SU J.Static analysis of business artifact-centric operational models[C]//Proceedings of the International Confrence on Service-Oriented Computing and Applications.Washington,D.C.,USA:IEEE,2007:133-140.
  • 9BHATTACHARYA K,GEREDE C E,HULL R,et al.Towards formal analysis of artifact-centric business process models[J].Lecture Notes in Computer Science 2007,4714:288-304.
  • 10LIU R,BHATTACHARYA K,WU F Y.Modeling business contexture and behavior using business artifacts[J].Lecture Notes in Computer Science,2007,4495:324-339.

引证文献2

二级引证文献1

计算机集成制造系统
2012年 第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部