On the Suitability of Generalized Behavioral Profiles for Process Model Comparison

  • Abel Armas-Cervantes
  • Marlon Dumas
  • Luciano García-Bañuelos
  • Artem Polyvyanyy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9421)

Abstract

Given two process models, the problem of behavioral comparison is that of determining if these models are behaviorally equivalent (e.g., by trace equivalence) and, if not, identifying how can the differences be presented in a compact manner? Behavioral profiles have been proposed as a convenient abstraction for this problem. A behavioral profile is a matrix, where each cell encodes a behavioral relation between a pair of tasks (e.g., causality or conflict). Thus, the problem of behavioral comparison can be reduced to matrix comparison. It has been observed that while behavioral profiles can be efficiently computed, they are not accurate insofar as behaviorally different process models may map to the same behavioral profile. This paper investigates the question of how accurate existing behavioral profiles are. The paper shows that behavioral profiles are fully behavior preserving for the class of acyclic unlabeled nets with respect to configuration equivalence. However, for the general class of acyclic nets, existing behavioral profiles are exponentially inaccurate, meaning that two acyclic nets with the same behavioral profile may differ in an exponential number of configurations.

References

  1. 1.
    Weidlich, M., Mendling, J., Weske, M.: A foundational approach for managing process variability. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 267–282. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  2. 2.
    Kunze, M., Weidlich, M., Weske, M.: Behavioral similarity – a proper metric. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 166–181. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  3. 3.
    Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Causal behavioural profiles – efficient computation, applications, and evaluation. Fundamenta Informaticae 113(3–4), 399–435 (2011)MathSciNetMATHGoogle Scholar
  4. 4.
    Polyvyanyy, A., Weidlich, M., Conforti, R., La Rosa, M., ter Hofstede, A.H.M.: The 4C spectrum of fundamental behavioral relations for concurrent systems. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 210–232. Springer, Heidelberg (2014)Google Scholar
  5. 5.
    van Glabbeek, R., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions. In: van Glabbeek, R., Goltz, U. (eds.) Mathematical Foundations of Computer Science 1989. LNCS, vol. 379, pp. 237–248. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  6. 6.
    van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  7. 7.
    van der Aalst, W.M.P.: Workflow verification: finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, p. 161. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  8. 8.
    Boudol, G.: Flow event structures and flow nets. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes. LNCS, vol. 469, pp. 62–95. Springer, Heidelberg (1990)CrossRefGoogle Scholar
  9. 9.
    Engelfriet, J.: Branching processes of Petri nets. ACTA 28(6), 575–591 (1991)MathSciNetMATHGoogle Scholar
  10. 10.
    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
  11. 11.
    Armas-Cervantes, A., García-Bañuelos, L., Dumas, M.: Event structures as a foundation for process model differencing, part 1: acyclic processes. In: ter Beek, M.H., Lohmann, N. (eds.) WS-FM 2012. LNCS, vol. 7843, pp. 69–86. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  12. 12.
    Armas-Cervantes, A., Baldan, P., García-Bañuelos, L.: Reduction of event structures under hp-bisimulation. Technical report. http://arxiv.org/abs/1403.7181
  13. 13.
    Armas-Cervantes, A., Baldan, P., Dumas, M., García-Bañuelos, L.: Behavioral comparison of process models based on canonically reduced event structures. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 267–282. Springer, Heidelberg (2014)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Abel Armas-Cervantes
    • 1
  • Marlon Dumas
    • 1
  • Luciano García-Bañuelos
    • 1
  • Artem Polyvyanyy
    • 2
  1. 1.Institute of Computer ScienceUniversity of TartuTartuEstonia
  2. 2.Queensland University of TechnologyBrisbaneAustralia

Personalised recommendations