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 |