Literature by the same author
plus at Google Scholar

Bibliografische Daten exportieren
 

Efficient Computation of Behavioral Changes in Declarative Process Models

Title data

Schützenmeier, Nicolai ; Corea, Carl ; Delfmann, Patrick ; Jablonski, Stefan:
Efficient Computation of Behavioral Changes in Declarative Process Models.
In: van der Aa, Han ; Bork, Dominik ; Proper, Henderik A. ; Schmidt, Rainer (ed.): Enterprise, Business-Process and Information Systems Modeling : Proceedings. - Cham, Switzerland : Springer Nature , 2023 . - pp. 136-151 . - (Lecture Notes in Business Information Processing ; 479 )
ISBN 978-3-031-34241-7
DOI: https://doi.org/10.1007/978-3-031-34241-7_10

Abstract in another language

Modelling processes with declarative process models, i.e. sets of constraints, allows for a great degree of flexibility in process execution. However, having behavior specified by means of symbolic (textual) constraints comes along with the problem that it is often hard for humans to understand which exact behavior is allowed, and which is not (think for example of checking relationships between constraints). This becomes especially problematic when modellers need to carry out changes to a model. For example, a modeller must make sure that any alteration to a model does not introduce any unwanted or non-compliant behavior. As this is often difficult for humans, editing declarative process models currently bears the risk of (accidentally) inducing unforeseen compliance breaches due to some overlooked changes in behavior. In this work, we therefore present an approach to efficiently compute the behavioral changes between a declarative process model M and a corresponding (edited) model M'. This supports modellers in understanding the behavioral changes induced by an alteration to the constraints. We implement our approach and show that behavioral changes can be computed within milliseconds even for real-life data-sets.

Further data

Item Type: Article in a book
Refereed: Yes
Institutions of the University: Faculties > Faculty of Mathematics, Physics und Computer Science > Department of Computer Science > Chair Applied Computer Science IV > Chair Applied Computer Science IV - Univ.-Prof. Dr.-Ing. Stefan Jablonski
Result of work at the UBT: Yes
DDC Subjects: 000 Computer Science, information, general works > 004 Computer science
Date Deposited: 06 Jun 2023 06:24
Last Modified: 06 Jun 2023 06:24
URI: https://eref.uni-bayreuth.de/id/eprint/81148