Vlad Paul Cosma

dblp:182/5772 · DBLP profile ↗
← Back
2ranked-venue papers in the field
1as first author
2since 2021 · last 2025
0000-0001-8022-6402ORCID · corroborated

Domains — venue-derived; a paper can count in several

Database Systems & Data Management · 1Business Process & Enterprise Data · 1 (1 first)
YearPublicationVenuePosition
2025 Static and dynamic techniques for iterative test-driven modelling of Dynamic Condition Response Graphs
abstract
Test-driven declarative process modelling combines process models with test traces and has been introduced as a means to achieve both the flexibility provided by the declarative approach and the comprehensibility of the imperative approach. Open test-driven modelling adds a notion of context to tests, specifying the activities of concern in the model, and has been introduced as a means to support both iterative test-driven modelling, where the model can be extended without having to change all tests, and unit testing, where tests can define desired properties of parts of the process without needing to reason about the details of the whole process. The openness however makes checking a test more demanding, since actions outside the context are allowed at any point in the test execution and therefore many different traces may validate or invalidate an open test. In this paper we combine previously developed static techniques for effective open test-driven modelling for Dynamic Condition Response Graphs with a novel efficient implementation of dynamic checking of open tests based on alignment checking. We illustrate the static techniques on an example based on a real-life cross-organizational case management system and benchmark the dynamic checking on models and tests of varying size.
Axel Kjeld Fjelrad Christfort, Vlad Paul Cosma, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Data Knowl. Eng.2
2024 Improving Simplicity by Discovering Nested Groups in Declarative Models
Vlad Paul Cosma, Axel Kjeld Fjelrad Christfort, Thomas T. Hildebrandt, Xixi Lu 0001, Hajo A. Reijers, Tijs Slaats
CAiSE1