A model-based approach for the specification and verification of clinical guidelines

This paper presents a modeling methodology for clinical guidelines used in hospitals. The clinical guidelines are assumed to be given in a graphical form in a structure obtained by combining few elements. It is shown how the clinical guidelines represented with this syntax can be automatically conve...

Full description

Saved in:
Bibliographic Details
Main Authors: Bernardi, Simona, Colom, Jose-Manuel, Albareda, Jorge, Mahulea, Cristian
Format: Conference Proceeding
Language:English
Subjects:
Analytical models
Guidelines
Hospitals
Mathematical model
Surgery
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 8
container_issue
container_start_page 1
container_title
container_volume
creator Bernardi, Simona
Colom, Jose-Manuel
Albareda, Jorge
Mahulea, Cristian
description This paper presents a modeling methodology for clinical guidelines used in hospitals. The clinical guidelines are assumed to be given in a graphical form in a structure obtained by combining few elements. It is shown how the clinical guidelines represented with this syntax can be automatically converted into a mathematical model represented as Petri nets. The main advantage of the new model is the inclusion of resources and patient flow in the same model which makes possible its use in analysis and verification of the guidelines. Moreover, if different clinical guidelines in a hospital or department in a hospital are considered, the models can be used for resource optimization and performance evaluation. The clinical guideline of hip fracture from the "Lozano Blesa" University hospital in Zaragoza is taken as an example.
doi_str_mv 10.1109/ETFA.2014.7005058
format conference_proceeding
fullrecord <record><control><sourceid>ieee_CHZPO</sourceid><recordid>TN_cdi_ieee_primary_7005058</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>7005058</ieee_id><sourcerecordid>7005058</sourcerecordid><originalsourceid>FETCH-LOGICAL-i160t-953204157577c5b515d6730191bd3ffbeebbc7aae58eefb719291c34382d115e3</originalsourceid><addsrcrecordid>eNpFkMFKxDAURaMoOIz9AHGTH2h9r0maZlmGGUcYcFPXQ5K-OJFOW9oq-PcWHHR17z2Ls7iMPSBkiGCetvWuynJAmWkABaq8YonRJUptjCylwmu2QiOLFLQyN39dwh1LpukDABZLYYRZsbri576hNnV2oobbYRh760889COfT8SngXwM0ds59h23XcO_aPwHfeC-jd0yW_7-GRdR7Gi6Z7fBthMll1yzt9223uzTw-vzy6Y6pBELmFOjRA4SlVZae-UUqqbQAtCga0QIjsg5r60lVRIFp9HkBr2QoswbREVizR5_vZGIjsMYz3b8Pl4-ET-yG1M1</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>A model-based approach for the specification and verification of clinical guidelines</title><source>IEEE Xplore All Conference Series</source><creator>Bernardi, Simona ; Colom, Jose-Manuel ; Albareda, Jorge ; Mahulea, Cristian</creator><creatorcontrib>Bernardi, Simona ; Colom, Jose-Manuel ; Albareda, Jorge ; Mahulea, Cristian</creatorcontrib><description>This paper presents a modeling methodology for clinical guidelines used in hospitals. The clinical guidelines are assumed to be given in a graphical form in a structure obtained by combining few elements. It is shown how the clinical guidelines represented with this syntax can be automatically converted into a mathematical model represented as Petri nets. The main advantage of the new model is the inclusion of resources and patient flow in the same model which makes possible its use in analysis and verification of the guidelines. Moreover, if different clinical guidelines in a hospital or department in a hospital are considered, the models can be used for resource optimization and performance evaluation. The clinical guideline of hip fracture from the "Lozano Blesa" University hospital in Zaragoza is taken as an example.</description><identifier>ISSN: 1946-0740</identifier><identifier>EISSN: 1946-0759</identifier><identifier>EISBN: 9781479948451</identifier><identifier>EISBN: 1479948454</identifier><identifier>DOI: 10.1109/ETFA.2014.7005058</identifier><language>eng</language><publisher>IEEE</publisher><subject>Analytical models ; Guidelines ; Hospitals ; Mathematical model ; Surgery ; Unified modeling language</subject><ispartof>Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014, p.1-8</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/7005058$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,777,781,786,787,27906,54536,54913</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/7005058$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Bernardi, Simona</creatorcontrib><creatorcontrib>Colom, Jose-Manuel</creatorcontrib><creatorcontrib>Albareda, Jorge</creatorcontrib><creatorcontrib>Mahulea, Cristian</creatorcontrib><title>A model-based approach for the specification and verification of clinical guidelines</title><title>Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)</title><addtitle>ETFA</addtitle><description>This paper presents a modeling methodology for clinical guidelines used in hospitals. The clinical guidelines are assumed to be given in a graphical form in a structure obtained by combining few elements. It is shown how the clinical guidelines represented with this syntax can be automatically converted into a mathematical model represented as Petri nets. The main advantage of the new model is the inclusion of resources and patient flow in the same model which makes possible its use in analysis and verification of the guidelines. Moreover, if different clinical guidelines in a hospital or department in a hospital are considered, the models can be used for resource optimization and performance evaluation. The clinical guideline of hip fracture from the "Lozano Blesa" University hospital in Zaragoza is taken as an example.</description><subject>Analytical models</subject><subject>Guidelines</subject><subject>Hospitals</subject><subject>Mathematical model</subject><subject>Surgery</subject><subject>Unified modeling language</subject><issn>1946-0740</issn><issn>1946-0759</issn><isbn>9781479948451</isbn><isbn>1479948454</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2014</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNpFkMFKxDAURaMoOIz9AHGTH2h9r0maZlmGGUcYcFPXQ5K-OJFOW9oq-PcWHHR17z2Ls7iMPSBkiGCetvWuynJAmWkABaq8YonRJUptjCylwmu2QiOLFLQyN39dwh1LpukDABZLYYRZsbri576hNnV2oobbYRh760889COfT8SngXwM0ds59h23XcO_aPwHfeC-jd0yW_7-GRdR7Gi6Z7fBthMll1yzt9223uzTw-vzy6Y6pBELmFOjRA4SlVZae-UUqqbQAtCga0QIjsg5r60lVRIFp9HkBr2QoswbREVizR5_vZGIjsMYz3b8Pl4-ET-yG1M1</recordid><startdate>201409</startdate><enddate>201409</enddate><creator>Bernardi, Simona</creator><creator>Colom, Jose-Manuel</creator><creator>Albareda, Jorge</creator><creator>Mahulea, Cristian</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201409</creationdate><title>A model-based approach for the specification and verification of clinical guidelines</title><author>Bernardi, Simona ; Colom, Jose-Manuel ; Albareda, Jorge ; Mahulea, Cristian</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i160t-953204157577c5b515d6730191bd3ffbeebbc7aae58eefb719291c34382d115e3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2014</creationdate><topic>Analytical models</topic><topic>Guidelines</topic><topic>Hospitals</topic><topic>Mathematical model</topic><topic>Surgery</topic><topic>Unified modeling language</topic><toplevel>online_resources</toplevel><creatorcontrib>Bernardi, Simona</creatorcontrib><creatorcontrib>Colom, Jose-Manuel</creatorcontrib><creatorcontrib>Albareda, Jorge</creatorcontrib><creatorcontrib>Mahulea, Cristian</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE/IET Electronic Library</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Bernardi, Simona</au><au>Colom, Jose-Manuel</au><au>Albareda, Jorge</au><au>Mahulea, Cristian</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A model-based approach for the specification and verification of clinical guidelines</atitle><btitle>Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)</btitle><stitle>ETFA</stitle><date>2014-09</date><risdate>2014</risdate><spage>1</spage><epage>8</epage><pages>1-8</pages><issn>1946-0740</issn><eissn>1946-0759</eissn><eisbn>9781479948451</eisbn><eisbn>1479948454</eisbn><abstract>This paper presents a modeling methodology for clinical guidelines used in hospitals. The clinical guidelines are assumed to be given in a graphical form in a structure obtained by combining few elements. It is shown how the clinical guidelines represented with this syntax can be automatically converted into a mathematical model represented as Petri nets. The main advantage of the new model is the inclusion of resources and patient flow in the same model which makes possible its use in analysis and verification of the guidelines. Moreover, if different clinical guidelines in a hospital or department in a hospital are considered, the models can be used for resource optimization and performance evaluation. The clinical guideline of hip fracture from the "Lozano Blesa" University hospital in Zaragoza is taken as an example.</abstract><pub>IEEE</pub><doi>10.1109/ETFA.2014.7005058</doi><tpages>8</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1946-0740
ispartof Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014, p.1-8
issn 1946-0740
1946-0759
language eng
recordid cdi_ieee_primary_7005058
source IEEE Xplore All Conference Series
subjects Analytical models
Guidelines
Hospitals
Mathematical model
Surgery
Unified modeling language
title A model-based approach for the specification and verification of clinical guidelines
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-20T02%3A11%3A27IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_CHZPO&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20model-based%20approach%20for%20the%20specification%20and%20verification%20of%20clinical%20guidelines&rft.btitle=Proceedings%20of%20the%202014%20IEEE%20Emerging%20Technology%20and%20Factory%20Automation%20(ETFA)&rft.au=Bernardi,%20Simona&rft.date=2014-09&rft.spage=1&rft.epage=8&rft.pages=1-8&rft.issn=1946-0740&rft.eissn=1946-0759&rft_id=info:doi/10.1109/ETFA.2014.7005058&rft.eisbn=9781479948451&rft.eisbn_list=1479948454&rft_dat=%3Cieee_CHZPO%3E7005058%3C/ieee_CHZPO%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i160t-953204157577c5b515d6730191bd3ffbeebbc7aae58eefb719291c34382d115e3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=7005058&rfr_iscdi=true