Enacting policies in digital health: a case for smart legal contracts and distributed ledgers?

This paper presents an approach for the enactment of policies in digital health based on our earlier work on the implementation of digital contracts in distributed systems. A formal policy model and an abstract policy language for the expression of healthcare policies are first proposed, leveraging the semantics of the ISO Reference Model for Open Distributed Processing enterprise language standard. Healthcare consent policies included in the HL7 Fast Health Interoperability Resource (FHIR®) standard are used to illustrate the modelling approach. Several distributed ledger and smart legal contract options were considered next as target platforms for implementation. Their benefits are highlighted along with considerations on their use reflecting business concerns of risk, trust and cost.

Formal Specification of QoS Negotiation in ODP System

The future of Open Distributed Processing systems (ODP) will see an increasing of components number, these components are sharing resources. In general, these resources are offering some kind of services. Due to the huge number of components, it is very difficult to offer the optimum Quality of service (QoS). This encourages us to develop a model for QoS negotiation process to optimize the QoS in an ODP system. In such system, there is a High risk of software or hardware failure. To ensure good performance of a system based on our model, we develop it using a formal method. In our case, we will use Event-B to get in the end of our development a system correct by construction.