DUN Haiqiang, ZHAO Wen, ZHANG Shikun, WANG Lifu. Workflow Model Verification Based on Matrix Transformation[J]. Chinese Journal of Electronics, 2009, 18(1): 47-53.
Citation: DUN Haiqiang, ZHAO Wen, ZHANG Shikun, WANG Lifu. Workflow Model Verification Based on Matrix Transformation[J]. Chinese Journal of Electronics, 2009, 18(1): 47-53.

Workflow Model Verification Based on Matrix Transformation

  • Received Date: 2007-09-01
  • Rev Recd Date: 2008-06-01
  • Publish Date: 2009-02-15
  • Synchronet is a workflow model which hasthree layers, i.e. workflow logic, case semantics and workflow management. Throughness is an important propertyin workflow logic layer. As a simple and widely used technique, graph reduction method can be employed to verifyworkflow logic via reduction rules. However, the graph reduction method is low effcient and space-consuming. Inthis paper, a workflow logic verification method based onmatrix transformation is proposed to solve above problems. Firstly, the incidence matrix of workflow logic isgenerated by its net representation. Then, matrix transformations can be conducted according to rows characteristic and columns characteristic of the incidence matrix.Related algorithms are implemented and experiments areconducted. Experiment results show that this method ismore effcient and space-saving than the graph reductionmethod. Moreover, a worked example is provided to illustrate the transformation process.
  • loading
  • 加载中

Catalog

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

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

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

    Article Metrics

    Article views (553) PDF downloads(765) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return