Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings

  • Matthias Weidlich
  • Felix Elliger
  • Mathias Weske
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6551)

Abstract

Behavioural profiles have been proposed as a concept to judge on the behavioural consistency of process models that depict different perspectives of a process. These profiles describe the observable relations between the activities of a process model. Consistency criteria based on behavioural profiles are less sensitive to model projections than common equivalence criteria, such as trace equivalence. Existing algorithms derive those profiles for unlabelled sound free-choice workflow nets efficiently. In this paper, we generalise the computation of behavioural profiles by relaxing the aforementioned assumptions. First, we introduce an algorithm that derives behavioural profiles from the complete prefix unfolding of a bounded Petri net. Hence, it is applicable in a more general case. Second, we lift the concept to the level of labelled Petri nets. We also elaborate on findings of applying our approach to a collection of industry models.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dumas, M., García-Bañuelos, L., Dijkman, R.M.: Similarity search of business process models. IEEE Data Eng. Bull. 32(3), 23–28 (2009)Google Scholar
  2. 2.
    van der Aalst, W.M.P.: Inheritance of business processes: A journey visiting four notorious problems. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 383–408. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioural profiles of process models. IEEE Transactions on Software Engineering (2010) (to appear)Google Scholar
  4. 4.
    Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient computation of causal behavioural profiles using structural decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 63–83. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  5. 5.
    Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J.: Process compliance measurement based on behavioural profiles. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 483–498. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  6. 6.
    Weidlich, M., Weske, M., Mendling, J.: Change propagation in process models using behavioural profiles. In: IEEE SCC, pp. 33–40. IEEE CS, Los Alamitos (2009)Google Scholar
  7. 7.
    Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Instantaneous soundness checking of industrial business process models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol. 5701, pp. 278–293. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  8. 8.
    Martens, A.: On Compatibility of Web Services. Petri Net Newsletter 65, 12–20 (2003)Google Scholar
  9. 9.
    Dijkman, R., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. IST 50(12), 1281–1294 (2009)Google Scholar
  10. 10.
    Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Kindler, E.: On the semantics of EPCs: A framework for resolving the vicious circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 82–97. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. TOPNOC 2, 46–63 (2009)Google Scholar
  13. 13.
    Valmari, A.: The state explosion problem. In: Reisig, W., Rozenberg, G. (eds.) Petri Nets1998. LNCS, vol. 1491, pp. 429–528. Springer, Heidelberg (1998)Google Scholar
  14. 14.
    McMillan, K.L.: A technique of state space search based on unfolding. FMSD 6(1), 45–65 (1995)MATHGoogle Scholar
  15. 15.
    Esparza, J., Heljanko, K.: Unfoldings: a partial-order approach to model checking. Springer, Heidelberg (2008)MATHGoogle Scholar
  16. 16.
    Esparza, J., Römer, S., Vogler, W.: An improvement of mcmillan’s unfolding algorithm. FMSD 20(3), 285–310 (2002)MATHGoogle Scholar
  17. 17.
    Kondratyev, A., Kishinevsky, M., Taubin, A., Ten, S.: Analysis of petri nets by ordering relations in reduced unfoldings. FMSD 12(1), 5–38 (1998)Google Scholar
  18. 18.
    Esparza, J., Heljanko, K.: A new unfolding approach to ltl model checking. In: Welzl, E., Montanari, U., Rolim, J.D.P. (eds.) ICALP 2000. LNCS, vol. 1853, pp. 475–486. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  19. 19.
    Khomenko, V., Koutny, M., Yakovlev, A.: Logic synthesis for asynchronous circuits based on stg unfoldings and incremental sat. Fundam. Inform. 70(1-2), 49–73 (2006)MathSciNetMATHGoogle Scholar
  20. 20.
    Polyvyanyy, A., García-Bañuelos, L.L., Dumas, M.: Structuring acyclic process models. In: BPM (September 2010) (to appear)Google Scholar
  21. 21.
    Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inf. 37(4/5), 229–327 (2001)MathSciNetCrossRefMATHGoogle Scholar
  22. 22.
    Wombacher, A.: Evaluation of technical measures for workflow similarity based on a pilot study. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 255–272. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  23. 23.
    Dongen, B., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 450–464. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  24. 24.
    van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE TKDE 16(9), 1128–1142 (2004)Google Scholar
  25. 25.
    Smirnov, S., Weidlich, M., Mendling, J., Weske, M.: Action patterns in business process models. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 115–129. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  26. 26.
    Desel, J., Juhás, G., Neumair, C.: Finite unfoldings of unbounded petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 157–176. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Matthias Weidlich
    • 1
  • Felix Elliger
    • 1
  • Mathias Weske
    • 1
  1. 1.Hasso Plattner InstituteThe University of PotsdamGermany

Personalised recommendations