The Wablieft project explores how to improve medical service delivery through a shared marketplace for service providers. This shared marketplace allows patients to choose services from providers and so support improved service delivery and patient satisfaction. Having a shared marketplace raises some service reliability and correctness challenges, as well as creates opportunities for improved information gathering. This work formalises the shared marketplace to prove correct behaviour and properties of the marketplace behaviour. The information available to the shared marketplace is also used to improve predictions of medical scenarios such as pandemics, and thus improve service delivery.
Baranov, E., Given-Wilson, T., & Legay, A. (2020). Improving Secure and Robust Patient Service Delivery. Lecture Notes in Computer Science, 12476, 404-418. https://doi.org/10.1007/978-3-030-61362-4_23 (Original work published 2020)