Vast amounts of healthcare data are being collected and digitized, but often stay isolated and not usable. Achieving both data- and process- interoperability are equally important for building efficient, reliable, and accurate healthcare data-management systems. The goal of this project is twofold. First, we will design a framework for (i) the transformation of data-aware business processes to smart contracts - programs that can be executed on blockchain-, as well as (ii) the automatic verification of this transformation. To achieve this, we will combine principles of business process management and distributed ledger technology. Second, we will apply our framework to the healthcare domain to create a distributed trustworthy infrastructure for the optimization of the prescription and reimbursement management processes. Such infrastructure will ensure support of inter-organizational processes, accelerate the processes execution, reduce human-made errors, and comply with domain-specific standards and regulations.