Welcome to Journal of Beijing Institute of Technology
Advance Search
Volume 14Issue 2
.
Turn off MathJax
Article Contents
Article Navigation> JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY> 2005> 14(2): 212-216
YAN Zhi-jun, GAN Ren-chu. Formalization and Verification of Business Process Modeling Based on UML and Petri Nets[J]. JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY, 2005, 14(2): 212-216.
Citation: YAN Zhi-jun, GAN Ren-chu. Formalization and Verification of Business Process Modeling Based on UML and Petri Nets[J].JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY, 2005, 14(2): 212-216.
shu

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

  • School of Management and Economics, Beijing Institute of Technology, Beijing100081, China

Funds:SponsoredbyNationalNaturalScienceFoundation(70401021)
  • Received Date:2003-10-29
    Abstract
  • In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
    • FullText(HTML)
  • loading
    • References (10)
  • [1]
    Nurcan S,G rosz G,Souveyet C.Descr ibing businessprocesses w ith a guided use case approach[Z]. CA iSE 98,Pisa,Italy,1998.
    [2]
    Schader M,K orthaus A.M odeling business process aspart of the BOOST ER approach to business object or iented system development based on U M L[Z]. EDOC 98,L a Jolla,CA,U SA,1998.
    [3]
    Dumas M,Hofstede A.U M L activ ity diag rams as aw orkflow specification language[Z]. U M L 2001,T oronto,Canada,2001.
    [4]
    O M G.U nified modeling language specification
    [EB/O L]. http:w ww.omg.org/cg i bin/apps/doc?formal/03 03 01.pdf,2003-03-01/2003-03-20.
    [5]
    Rumbaug h J,Jacobson I,Booch G.T he unified modeling languag e reference manual[M]. M assachusetts:A ddison Wesley,1998.
    [6]
    A alst W.Formalization and ver ificatio n of event drivenprocess chains[J]. Infor mation and Softw ar e T echnolog y,1999,41(10):639-650.
    [7]
    A alst W,Hofstede A.V erification o f workflow taskstructures:A petr i net based approach[J]. I nformationSystems,2000,25(1):43-69.
    [8]
    Desel J,Erw in T.M odeling,simulation and analysis ofbusiness processes[A]. Aalst W,Desel J,Oberweis A.Business Process M anagement[C]. Berlin:Springer,2000.129-141.
    [9]
    A alst W.T he application of Petri nets to wo rkflow management[J]. T he Journal of Cir cuits,Systems and Computers,1998,8(1):21-66.
    [10]
    Dehner t J,Rittg en P.Relaxed soundness of businessprocesses[Z]. CAiSE 2001,Interlaken,Sw itzerland,2001.
    • Relative Articles
  • Supplements (0)
  • Cited By
  • 加载中

Catalog

    通讯作者:陈斌, bchen63@163.com
    • 1.

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views (173) PDF downloads(0) Cited by()
    Proportional views
    Related

    Address:5 Zhongguancun South Street, Haidian District, Beijing

    Tel:86-10-68914374

    Email:blgywb@bit.edu.cn

    Copy Right © Journal of Beijing Institute of Technology

    Supported by:Beijing Renhe Information Technology Co. Ltd

    /

      Return
      Return
        Baidu
        map