Anzahl der Einträge: 3.
2023
Schützenmeier, Nicolai ; Käppel, Martin ; Ackermann, Lars ; Jablonski, Stefan ; Petter, Sebastian:
Automaton-based comparison of Declare process models.
In: Software and Systems Modeling.
Bd. 22
(2023)
.
- S. 667-685.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-022-01069-y
2021
Käppel, Martin ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan:
Language-independent look-ahead for checking multi-perspective declarative process models.
In: Software and Systems Modeling.
Bd. 20
(9 Januar 2021)
.
- S. 1379-1401.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00857-8
2020
Westfechtel, Bernhard ; Greiner, Sandra:
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations.
In: Software and Systems Modeling.
Bd. 19
(1 Juli 2020)
Heft 4
.
- S. 853-888.
ISSN 1619-1374
DOI der Verlagsversion: https://doi.org/10.1007/s10270-020-00791-9
