Open to change: A theory for iterative test-driven modelling
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Open to change : A theory for iterative test-driven modelling. / Slaats, Tijs; Debois, Søren; Hildebrandt, Thomas.
Business Process Management - 16th International Conference, BPM 2018, Proceedings. ed. / Marco Montali; Ingo Weber; Mathias Weske; Jan vom Brocke. Springer, 2018. p. 31-47 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11080 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - GEN
T1 - Open to change
T2 - 16th International Conference on Business Process Management, BPM 2018
AU - Slaats, Tijs
AU - Debois, Søren
AU - Hildebrandt, Thomas
PY - 2018
Y1 - 2018
N2 - We introduce open tests to support iterative test-driven process modelling. Open tests generalise the trace-based tests of Zugal et al. to achieve modularity: whereas a trace-based test passes if a model exhibits a particular trace, an open test passes if a model exhibits a particular trace up to abstraction from additional activities not relevant for the test. This generalisation aligns open tests better with iterative test-driven development: open tests may survive the addition of activities and rules to the model in cases where trace-based tests do not. To reduce overhead in re-running tests, we establishing sufficient conditions for a model update to preserve test outcomes. We introduce open tests in an abstract setting that applies to any process notation with trace semantics, and give our main preservation result in this setting. Finally, we instantiate the general theory for the DCR Graph process notation, obtaining a method for iterative test-driven DCR process modelling.
AB - We introduce open tests to support iterative test-driven process modelling. Open tests generalise the trace-based tests of Zugal et al. to achieve modularity: whereas a trace-based test passes if a model exhibits a particular trace, an open test passes if a model exhibits a particular trace up to abstraction from additional activities not relevant for the test. This generalisation aligns open tests better with iterative test-driven development: open tests may survive the addition of activities and rules to the model in cases where trace-based tests do not. To reduce overhead in re-running tests, we establishing sufficient conditions for a model update to preserve test outcomes. We introduce open tests in an abstract setting that applies to any process notation with trace semantics, and give our main preservation result in this setting. Finally, we instantiate the general theory for the DCR Graph process notation, obtaining a method for iterative test-driven DCR process modelling.
KW - Abstraction
KW - DCR graphs
KW - Declarative
KW - Test-driven modelling
UR - http://www.scopus.com/inward/record.url?scp=85053639624&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-98648-7_3
DO - 10.1007/978-3-319-98648-7_3
M3 - Article in proceedings
AN - SCOPUS:85053639624
SN - 9783319986470
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 31
EP - 47
BT - Business Process Management - 16th International Conference, BPM 2018, Proceedings
A2 - Montali, Marco
A2 - Weber, Ingo
A2 - Weske, Mathias
A2 - vom Brocke, Jan
PB - Springer
Y2 - 9 September 2018 through 14 September 2018
ER -
ID: 213504407