ITU

Open to Change: A Theory for Iterative Test-Driven Modelling

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Standard

Open to Change: A Theory for Iterative Test-Driven Modelling. / Slaats, Tijs; Debois, Søren; Hildebrandt, Thomas.

Proceedings of the 16th International Conference on Business Process Management. Springer, 2018. p. 31-47 (Lecture Notes in Computer Science, Vol. 11080).

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Harvard

Slaats, T, Debois, S & Hildebrandt, T 2018, Open to Change: A Theory for Iterative Test-Driven Modelling. in Proceedings of the 16th International Conference on Business Process Management. Springer, Lecture Notes in Computer Science, vol. 11080, pp. 31-47, 16th International Conference on Business Process Management, Sidney, Australia, 09/09/2018. https://doi.org/10.1007/978-3-319-98648-7_3

APA

Slaats, T., Debois, S., & Hildebrandt, T. (2018). Open to Change: A Theory for Iterative Test-Driven Modelling. In Proceedings of the 16th International Conference on Business Process Management (pp. 31-47). Springer. Lecture Notes in Computer Science Vol. 11080 https://doi.org/10.1007/978-3-319-98648-7_3

Vancouver

Slaats T, Debois S, Hildebrandt T. Open to Change: A Theory for Iterative Test-Driven Modelling. In Proceedings of the 16th International Conference on Business Process Management. Springer. 2018. p. 31-47. (Lecture Notes in Computer Science, Vol. 11080). https://doi.org/10.1007/978-3-319-98648-7_3

Author

Slaats, Tijs ; Debois, Søren ; Hildebrandt, Thomas. / Open to Change: A Theory for Iterative Test-Driven Modelling. Proceedings of the 16th International Conference on Business Process Management. Springer, 2018. pp. 31-47 (Lecture Notes in Computer Science, Vol. 11080).

Bibtex

@inproceedings{b896d17fef6d41e89e9fb84028fb5d1e,
title = "Open to Change: A Theory for Iterative Test-Driven Modelling",
abstract = "We introduce open tests to support iterative test-driven pro- cess 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 activi- ties 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.",
author = "Tijs Slaats and S{\o}ren Debois and Thomas Hildebrandt",
year = "2018",
doi = "10.1007/978-3-319-98648-7_3",
language = "English",
isbn = "978-3-319-98647-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "31--47",
booktitle = "Proceedings of the 16th International Conference on Business Process Management",
address = "Germany",
note = "16th International Conference on Business Process Management, BPM '16 ; Conference date: 09-09-2018 Through 14-09-2018",

}

RIS

TY - GEN

T1 - Open to Change: A Theory for Iterative Test-Driven Modelling

AU - Slaats, Tijs

AU - Debois, Søren

AU - Hildebrandt, Thomas

PY - 2018

Y1 - 2018

N2 - We introduce open tests to support iterative test-driven pro- cess 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 activi- ties 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 pro- cess 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 activi- ties 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.

U2 - 10.1007/978-3-319-98648-7_3

DO - 10.1007/978-3-319-98648-7_3

M3 - Article in proceedings

SN - 978-3-319-98647-0

T3 - Lecture Notes in Computer Science

SP - 31

EP - 47

BT - Proceedings of the 16th International Conference on Business Process Management

PB - Springer

T2 - 16th International Conference on Business Process Management

Y2 - 9 September 2018 through 14 September 2018

ER -

ID: 83697423