Advertisement

ExRORU: A New Approach to Characterize the Behavioral Semantics of Process Models (Short Paper)

  • Shuhao Wang
  • Lijie WenEmail author
  • Akhil Kumar
  • Jianmin Wang
  • Jianwen Su
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10033)

Abstract

A recent paper has proposed new ordering relations with uncertainty between the executions of tasks in acyclic process models. However, this approach cannot work for cyclic process models and those with silent transitions and non-free-choice constructs. In practice most non-trivial process models contain cycles and about 10 % to 20 % have also non-free-choice constructs. In this paper, we show how to overcome these problems by a refinement of the relations (i.e., extended refined ordering relations with uncertainty, ExRORU for short). All these relations can uniquely detect the behavioral differences between any pair of process models and can also be computed efficiently based on the complete prefix unfolding of a process model. Experiments on real-life and synthesized process models show that ExRORU is both effective and scalable.

Keywords

Process model Refined ordering relations with uncertainty Complete prefix unfolding Behavioral semantics 

Notes

Acknowledgement

This work was supported by the projects from National Natural Science Foundation of China (No. 61472207 and No. 61325008) and Key Program of Research & Development of MOST (No. 2016YFB1001101).

References

  1. 1.
    de Medeiros, A.K.A., van der Aalst, W.M.P., Weijters, A.J.M.M.: Workflow mining: current status and future directions. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) OTM 2003. LNCS, vol. 2888, pp. 389–406. Springer, Heidelberg (2003). doi: 10.1007/978-3-540-39964-3_25 CrossRefGoogle Scholar
  2. 2.
    Esparza, J., Römer, S., Vogler, W.: An improvement of mcmillan’s unfolding algorithm. Formal Methods Syst. Des. 20(3), 285–310 (2002)CrossRefzbMATHGoogle Scholar
  3. 3.
    Jin, T., Wang, J., Wen, L., Zou, G.: Computing refined ordering relations with uncertainty for acyclic process models. IEEE Trans. Serv. Comput. 7(3), 415–426 (2014)CrossRefGoogle Scholar
  4. 4.
    van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(01), 21–66 (1998)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Shuhao Wang
    • 1
  • Lijie Wen
    • 1
    Email author
  • Akhil Kumar
    • 2
  • Jianmin Wang
    • 1
  • Jianwen Su
    • 3
  1. 1.School of SoftwareTsinghua UniversityBeijingPeople’s Republic of China
  2. 2.Smeal College of BusinessPenn State UniversityState CollegeUSA
  3. 3.Department of Computer ScienceUC Santa BarbaraSanta BarbaraUSA

Personalised recommendations