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

工作流过程的语义验证方法应用

Application of Semantic Verification Method of Workflow Processes
下载PDF
导出
摘要 工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子商务过程订货购买过程的定义和验证.特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性. Workflow process modeling is a complex and error-prone procedure. Thus,effective process verification in modeling phase is essential. An actual workflow system is introduced firstly, then a process in e-commerce,order and buy process is defined and verified using modeling tool of the system. Especially,an application of semantic verification method based on 3DWFN reduction is described in detail.
作者 周建涛 唐旭文
机构地区 内蒙古大学计算机学院 内蒙古移动通信公司
出处 《内蒙古大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第3期340-344,共5页 Journal of Inner Mongolia University：Natural Science Edition
基金 国家自然科学基金项目(60563004) 内蒙古自然科学基金项目(200508010802)
关键词 工作流过程 语义验证 三维工作流网 化简 电子商务 workflow process semantic verification 3DWFN reduction e-commerce
分类号 TP311 [自动化与计算机技术—计算机软件与理论] TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献7

  • 1WfMC (Hrsg.).The Workflow Reference Model[S].WFMC-TC-1003,1.1,1995.
  • 2Workflow Management Coalition.Terminology & Glossary[S].WFMC-TC-1011,3.0,1999.
  • 3周建涛,史美林,叶新铭．On Flexible Modeling and Enacting of Workflow Process[A]．第四届全国CSCW会议论文集[C]．杭州：浙江大学出版社,2004．
  • 4Tadao Murata.Petri nets:Properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541～580.
  • 5周建涛,史美林,叶新铭.工作流过程建模中的形式化验证技术[J].计算机研究与发展,2005,42(1):1-9. 被引量：31
  • 6周建涛,史美林,叶新铭.一种基于Petri网化简的工作流过程语义验证方法[J].软件学报,2005,16(7):1242-1251. 被引量：34
  • 7Wasim Sadiq,Maria E,Orlowska.Analyzing process models using graph reduction techniques[J].Information System,2000,25(2):117～134.

二级参考文献49

  • 1T. Murata. Petri nets: Properties, analysis and applications.Proceedings of the IEEE, 1989, 77(4) : 541-580.
  • 2W. Sadiq, M. Orlowska. Applying graph reduction techniques for identifying structural conflicts in process models. In: Proc. of the 11th Int'l Conf. on Advanced Information Systems Engineering(CAiSE'99). Berlin: Springer Verlag, 1999. 195-209.
  • 3W. Sadiq, M. Orlowska. Analyzing process models using graph reduction techniques. Information System, 2000, 25(2): 117-134.
  • 4H. Lin, Z. Zhao, H. Li, et al. A novel graph reduction algorithm to identify structural conflicts. In: Proc. of the 35th Hawaii Int'l Conf. on System Sciences (HICSS-35) . LosAlamitos, CA: IEEE Computer Society Press, 2002. 289-290.
  • 5Li Pei-wu, Lu Zheng-ding. Reduction techniques of workflow verification and its implementation. In: Hart Yanbo, Shi Meilin eds. Proc. of Int'l Workshop on Grid and Cooperative Computing. Beijing: Publishing House of Electronics Industry,2002. 703--710.
  • 6H. Genrich. Equivalence transformations of PrT-Nets. In: G.Rozenberg ed.. Advances in Petri nets. Berlin: Springer, 1990.179-- 208.
  • 7S. Haddad. A reduction theory for coloured nets. In: K. Jensen,G. Rozenberg eds.. LNCS: High Level Petri Nets, Theory and Application. Berlin: Springer Verlag, 1991. 399-425.
  • 8R. Sloan, U. Buy. Reduction rules for time Petri nets. Acta Informatica, 1996, 33(7): 687--706.
  • 9K. Schmidt. Applying reduction rules to algebraic Petri nets.Helsinki University of Technology, Tech. Rep. : 44, 1997.
  • 10C. Ramamoortht, Y. Yaw. A Petri net reduction algorithm forprotocol analysis. In: W. Kosinsky, et al. eds.. Communications and Architecture & Protocols. New York: Association for Computing Machinery, 1986. 157-- 166.

共引文献59

内蒙古大学学报（自然科学版）
2006年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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