000088384 001__ 88384 000088384 005__ 20200716101503.0 000088384 0247_ $$2doi$$a10.1007/s10626-019-00279-9 000088384 0248_ $$2sideral$$a111514 000088384 037__ $$aART-2019-111514 000088384 041__ $$aeng 000088384 100__ $$0(orcid)0000-0002-2605-6243$$aBernardi, S.$$uUniversidad de Zaragoza 000088384 245__ $$aToward a decision support system for the clinical pathways assessment 000088384 260__ $$c2019 000088384 5060_ $$aAccess copy available to the general public$$fUnrestricted 000088384 5203_ $$aThis 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. 000088384 536__ $$9info:eu-repo/grantAgreement/ES/CICYT-FEDER/DPI2014-57252-R$$9info:eu-repo/grantAgreement/ES/DGA/T94 000088384 540__ $$9info:eu-repo/semantics/openAccess$$aAll rights reserved$$uhttp://www.europeana.eu/rights/rr-f/ 000088384 590__ $$a0.932$$b2019 000088384 591__ $$aMATHEMATICS, APPLIED$$b170 / 260 = 0.654$$c2019$$dQ3$$eT2 000088384 591__ $$aOPERATIONS RESEARCH & MANAGEMENT SCIENCE$$b72 / 83 = 0.867$$c2019$$dQ4$$eT3 000088384 591__ $$aAUTOMATION & CONTROL SYSTEMS$$b56 / 63 = 0.889$$c2019$$dQ4$$eT3 000088384 592__ $$a0.718$$b2019 000088384 593__ $$aElectrical and Electronic Engineering$$c2019$$dQ1 000088384 593__ $$aModeling and Simulation$$c2019$$dQ2 000088384 593__ $$aControl and Systems Engineering$$c2019$$dQ2 000088384 655_4 $$ainfo:eu-repo/semantics/article$$vinfo:eu-repo/semantics/acceptedVersion 000088384 700__ $$0(orcid)0000-0003-0056-2225$$aMahulea, C.$$uUniversidad de Zaragoza 000088384 700__ $$0(orcid)0000-0003-4489-3130$$aAlbareda, J.$$uUniversidad de Zaragoza 000088384 7102_ $$15007$$2520$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Ingen.Sistemas y Automát. 000088384 7102_ $$11004$$2830$$aUniversidad de Zaragoza$$bDpto. Cirugía,Ginecol.Obstetr.$$cÁrea Traumatología y Ortopedia 000088384 7102_ $$15007$$2570$$aUniversidad de Zaragoza$$bDpto. Informát.Ingenie.Sistms.$$cÁrea Lenguajes y Sistemas Inf. 000088384 773__ $$g29, 1 (2019), 97-125$$pDiscret. event dyn. syst.$$tDISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS$$x0924-6703 000088384 8564_ $$s682992$$uhttps://zaguan.unizar.es/record/88384/files/texto_completo.pdf$$yPostprint 000088384 8564_ $$s237157$$uhttps://zaguan.unizar.es/record/88384/files/texto_completo.jpg?subformat=icon$$xicon$$yPostprint 000088384 909CO $$ooai:zaguan.unizar.es:88384$$particulos$$pdriver 000088384 951__ $$a2020-07-16-09:14:38 000088384 980__ $$aARTICLE