Upper-Bounded Model Checking for Declarative Process Models - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Upper-Bounded Model Checking for Declarative Process Models

Nicolai Schützenmeier
  • Fonction : Auteur
  • PersonId : 1320098
Martin Käppel
  • Fonction : Auteur
  • PersonId : 1320099
Sebastian Petter
  • Fonction : Auteur
  • PersonId : 1320100
Stefan Jablonski
  • Fonction : Auteur
  • PersonId : 1117206

Résumé

Declarative process modelling languages like Declare focus on describing a process by restrictions over the behaviour, which must be satisified throughout process execution. Although this paradigm allows more flexibility, it has been shown that such models are often hard to read and understand, which affects their modelling, execution and maintenance in a negative way. A larger degree of flexibility leads to a multitude of different process models that describe the same process. Often it is difficult for the modeller to keep the model as simple as possible without over- or underspecification. Hence, model checking, especially comparing declarative process models on equality becomes an important task. In this paper, we determine and prove a theoretical upper bound for the trace length up to which the process executions of Declare models must be compared, to decide with certainty whether two process models are equal or not.
Fichier principal
Vignette du fichier
514409_1_En_14_Chapter.pdf (677.75 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04323853 , version 1 (05-12-2023)

Licence

Paternité

Identifiants

Citer

Nicolai Schützenmeier, Martin Käppel, Sebastian Petter, Stefan Jablonski. Upper-Bounded Model Checking for Declarative Process Models. 14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.195-211, ⟨10.1007/978-3-030-91279-6_14⟩. ⟨hal-04323853⟩
10 Consultations
2 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More