Open to change: A theory for iterative test-driven modelling

Tijs Slaats, Søren Debois, Thomas Hildebrandt*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

19 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationBusiness Process Management - 16th International Conference, BPM 2018, Proceedings
EditorsMarco Montali, Ingo Weber, Mathias Weske, Jan vom Brocke
Number of pages17
PublisherSpringer
Publication date2018
Pages31-47
ISBN (Print)9783319986470
DOIs
Publication statusPublished - 2018
Event16th International Conference on Business Process Management, BPM 2018 - Sydney, Australia
Duration: 9 Sep 201814 Sep 2018

Conference

Conference16th International Conference on Business Process Management, BPM 2018
Country/TerritoryAustralia
CitySydney
Period09/09/201814/09/2018
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11080 LNCS
ISSN0302-9743

Keywords

  • Abstraction
  • DCR graphs
  • Declarative
  • Test-driven modelling

Cite this