Adelsberger, Stephan, Igried, Bashar, Moser, Markus, Savenkov, Vadim, Setzer, Anton. 2018. Formal Verification for Feature-Based Composition of Workflows. In 14th European Dependable Computing Conference, EDCC 2018, Iasi, Romania, September 10-14, 2018, Hrsg. Emanuel Onica, Pascal Felber, Paolo Lollini, 173-181. Iasi: IEEE.

RIS

@INPROCEEDINGS{Adelsberger2018,
title = {Formal Verification for Feature-Based Composition of Workflows},
author = {Stephan Adelsberger and Bashar Igried and Markus Moser and Vadim Savenkov and Anton Setzer},
publisher = {IEEE},
year = {2018},
isbn = {978-1-5386-8060-5},
address = {Iasi},
url = {https://doi.org/10.1109/EDCC.2018.00039},
publisher = {IEEE},
language = {EN},
pages = {173-181},
series = {14th European Dependable Computing Conference, EDCC 2018, Iasi, Romania, September 10-14, 2018},
abstract = {We present FeatureAgda, a framework for specifying and proving properties of feature-based composition of workflows implemented in the Feature-Oriented Software Production Lines paradigm. The resulting workflows allow for adaptation at runtime by changing the set of enabled features. Our framework is based on Agda, which is both a theorem prover and a programming language. It relies on dependent types to support the modular definition of features. While promoting the separation of concerns, we obtain a single artefact written entirely in Agda, allowing family-level formal verification. As a practical application of our approach, we demonstrate a case study from the healthcare domain implementing a complex medication prescription workflow. Our setting allows the workflow to be changed to accommodate the needs of a particular doctor or clinic while having trustworthiness through formal verification.},
}