Pomsets for Process Management: A Healthcare Case Study

Complex coordination protocols are necessary to manage complex organisations. The healthcare management sector is no exception, since different authorities, users, and systems have to interact with each other in order to achieve their organisational goals. In this paper we consider a case study on the authorisation and accreditation of healthcare structures in the Emilia Romagna region in Italy. We specify the case study using global choreographies so to enable the analysis of the correctness of its communication patterns using the Chemical structure diagram showing a molecule with a central carbon atom bonded to a bromine atom, a methyl group, and a hydroxyl group. The structure is labeled with the text "BrmChO" in blue. tool. This requires to refine A flow chart with a central node labeled "PomCho." The chart appears to have a minimal design with no visible connections or additional nodes. The background is plain white. and its underlying theoretical framework. First, we extend Flow chart depicting a process with a central node labeled "PomCho." The chart likely illustrates steps or decisions related to this central concept, with potential branches or connections not visible in the image. to support not only asynchronous communication, but also synchronous one. Moreover, in both the cases, we provide a more efficient algorithm to check closure properties ensuring realisability of choreographies. The new algorithm allows us to check realisability of larger pomsets than before, which makes our approach viable for complex systems such as our case study.