Quotation Adelsberger, Stephan, Igried, Bashar, Moser, Markus, Savenkov, Vadim, Setzer, Anton. 2018. Formal Verification for Feature-based Composition of Workflows. 10th International Workshop on Software Engineering for Resilient Systems, Iasi, Romania, 10.09.-14.09.




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.


Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Paper presented at an academic conference or symposium
Language English
Title Formal Verification for Feature-based Composition of Workflows
Event 10th International Workshop on Software Engineering for Resilient Systems
Year 2018
Date 10.09.-14.09.
Country Romania
Location Iasi


Adelsberger, Stephan (Details)
Savenkov, Vadim (Former researcher)
Igried, Bashar (The Hashemite University, Jordan)
Moser, Markus (Vienna University of Economics and Business, Austria)
Setzer, Anton (Swansea University, United Kingdom)
Institute for Information Systems and New Media IN (Details)
Research areas (Ă–STAT Classification 'Statistik Austria')
1108 Informatics (Details)
1138 Information systems (Details)
1140 Software engineering (Details)
Google Scholar: Search