doi:10.1007/s10626-019-00279-9engBernardi, S.Mahulea, C.Albareda, J.Toward a decision support system for the clinical pathways assessmentART-2019-111514This paper presents a decision support system to be used in hospital management taskswhich is based on the clinical pathways. We propose a very simple graphical modeling lan-guage based on a small number of primitive elements through which the medical doctorscould introduce a clinical pathway for a specific disease. Three essential aspects relatedto a clinical pathway can be specified in this language: (1) patient flow; (2) resource uti-lization; and (3) information interchange. This high-level language is a domain specificmodeling language calledHealthcare System Specification (HSS), and it is defined as anUnified Modeling Language (UML) profile. A model to model transformation is also pro-posed in order to obtain, from the pathways HSS specification, a Stochastic Well-formedNet (SWN) model that enables a formal analysis of the modeled system and, if needed, toapply synthesis methods enforcing specified requirements. The transformation is based onthe application of local rules. The clinical pathway of hip fracture from the “Lozano Blesa”University hospital in Zaragoza is taken as an example.2019http://zaguan.unizar.es/record/8838410.1007/s10626-019-00279-9http://zaguan.unizar.es/record/88384oai:zaguan.unizar.es:88384info:eu-repo/grantAgreement/ES/CICYT-FEDER/DPI2014-57252-Rinfo:eu-repo/grantAgreement/ES/DGA/T94DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS 29, 1 (2019), 97-125All rights reservedhttp://www.europeana.eu/rights/rr-f/info:eu-repo/semantics/openAccess