TAT-based formal representation of medical guidelines: Imatinib case-study
Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 5081 |
|---|---|
| container_issue | |
| container_start_page | 5078 |
| container_title | |
| container_volume | 2012 |
| creator | Simalatsar, Alena De Micheli, Giovanni |
| description | Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study. |
| doi_str_mv | 10.1109/EMBC.2012.6347135 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pubmed_6IE</sourceid><recordid>TN_cdi_ieee_primary_6347135</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6347135</ieee_id><sourcerecordid>23367070</sourcerecordid><originalsourceid>FETCH-LOGICAL-i344t-7c41083951a5366321e3c61a4ed0b6daaaf7e702f3d51749e2d87ce9d45afc143</originalsourceid><addsrcrecordid>eNo9kM1OwzAQhM2faCl9AISE8gIpXnv9x61UBYqKuBSJW-XEG2TUpFWcHvr2RCqwlzl8M6vdYewG-ASAu_v52-NsIjiIiZZoQKoTNnbGAipjwFgDp2wIStkcNagzdgUoEBHA6fMecIe5tuZzwMYpffN-LFjJ8ZINhJTacMOH7HU1XeWFTxSyatvWfpO1tGspUdP5Lm6bbFtlNYVY9uRrHwNtYkPpIVvUPW5ikZV9Nk_dPhyu2UXlN4nGvzpiH0_z1ewlX74_L2bTZR4lYpebEoFb6RR4JbWWAkiWGjxS4IUO3vvKkOGikkGBQUciWFOSC6h8VQLKEbs77t3ti_609a6NtW8P67-nesPt0RCJ6B__Vih_ABMaXSo</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>TAT-based formal representation of medical guidelines: Imatinib case-study</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Simalatsar, Alena ; De Micheli, Giovanni</creator><creatorcontrib>Simalatsar, Alena ; De Micheli, Giovanni</creatorcontrib><description>Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.</description><identifier>ISSN: 1094-687X</identifier><identifier>ISSN: 1557-170X</identifier><identifier>ISBN: 1424441196</identifier><identifier>ISBN: 9781424441198</identifier><identifier>EISSN: 1558-4615</identifier><identifier>EISBN: 9781457717871</identifier><identifier>EISBN: 1457717875</identifier><identifier>DOI: 10.1109/EMBC.2012.6347135</identifier><identifier>PMID: 23367070</identifier><language>eng</language><publisher>United States: IEEE</publisher><subject>Artificial Intelligence ; Automata ; Benzamides - administration & dosage ; Clinical Protocols - standards ; Clocks ; Computational modeling ; Conferences ; Decision Support Systems, Clinical ; Diseases ; Guidelines ; Imatinib Mesylate ; Natural Language Processing ; Piperazines - administration & dosage ; Practice Guidelines as Topic ; Protocols ; Pyrimidines - administration & dosage ; Software ; United States ; User-Computer Interface ; Vocabulary, Controlled</subject><ispartof>2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012, Vol.2012, p.5078-5081</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6347135$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6347135$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://www.ncbi.nlm.nih.gov/pubmed/23367070$$D View this record in MEDLINE/PubMed$$Hfree_for_read</backlink></links><search><creatorcontrib>Simalatsar, Alena</creatorcontrib><creatorcontrib>De Micheli, Giovanni</creatorcontrib><title>TAT-based formal representation of medical guidelines: Imatinib case-study</title><title>2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society</title><addtitle>EMBC</addtitle><addtitle>Conf Proc IEEE Eng Med Biol Soc</addtitle><description>Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.</description><subject>Artificial Intelligence</subject><subject>Automata</subject><subject>Benzamides - administration & dosage</subject><subject>Clinical Protocols - standards</subject><subject>Clocks</subject><subject>Computational modeling</subject><subject>Conferences</subject><subject>Decision Support Systems, Clinical</subject><subject>Diseases</subject><subject>Guidelines</subject><subject>Imatinib Mesylate</subject><subject>Natural Language Processing</subject><subject>Piperazines - administration & dosage</subject><subject>Practice Guidelines as Topic</subject><subject>Protocols</subject><subject>Pyrimidines - administration & dosage</subject><subject>Software</subject><subject>United States</subject><subject>User-Computer Interface</subject><subject>Vocabulary, Controlled</subject><issn>1094-687X</issn><issn>1557-170X</issn><issn>1558-4615</issn><isbn>1424441196</isbn><isbn>9781424441198</isbn><isbn>9781457717871</isbn><isbn>1457717875</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><sourceid>EIF</sourceid><recordid>eNo9kM1OwzAQhM2faCl9AISE8gIpXnv9x61UBYqKuBSJW-XEG2TUpFWcHvr2RCqwlzl8M6vdYewG-ASAu_v52-NsIjiIiZZoQKoTNnbGAipjwFgDp2wIStkcNagzdgUoEBHA6fMecIe5tuZzwMYpffN-LFjJ8ZINhJTacMOH7HU1XeWFTxSyatvWfpO1tGspUdP5Lm6bbFtlNYVY9uRrHwNtYkPpIVvUPW5ikZV9Nk_dPhyu2UXlN4nGvzpiH0_z1ewlX74_L2bTZR4lYpebEoFb6RR4JbWWAkiWGjxS4IUO3vvKkOGikkGBQUciWFOSC6h8VQLKEbs77t3ti_609a6NtW8P67-nesPt0RCJ6B__Vih_ABMaXSo</recordid><startdate>20120101</startdate><enddate>20120101</enddate><creator>Simalatsar, Alena</creator><creator>De Micheli, Giovanni</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope><scope>CGR</scope><scope>CUY</scope><scope>CVF</scope><scope>ECM</scope><scope>EIF</scope><scope>NPM</scope></search><sort><creationdate>20120101</creationdate><title>TAT-based formal representation of medical guidelines: Imatinib case-study</title><author>Simalatsar, Alena ; De Micheli, Giovanni</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i344t-7c41083951a5366321e3c61a4ed0b6daaaf7e702f3d51749e2d87ce9d45afc143</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Artificial Intelligence</topic><topic>Automata</topic><topic>Benzamides - administration & dosage</topic><topic>Clinical Protocols - standards</topic><topic>Clocks</topic><topic>Computational modeling</topic><topic>Conferences</topic><topic>Decision Support Systems, Clinical</topic><topic>Diseases</topic><topic>Guidelines</topic><topic>Imatinib Mesylate</topic><topic>Natural Language Processing</topic><topic>Piperazines - administration & dosage</topic><topic>Practice Guidelines as Topic</topic><topic>Protocols</topic><topic>Pyrimidines - administration & dosage</topic><topic>Software</topic><topic>United States</topic><topic>User-Computer Interface</topic><topic>Vocabulary, Controlled</topic><toplevel>online_resources</toplevel><creatorcontrib>Simalatsar, Alena</creatorcontrib><creatorcontrib>De Micheli, Giovanni</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection><collection>Medline</collection><collection>MEDLINE</collection><collection>MEDLINE (Ovid)</collection><collection>MEDLINE</collection><collection>MEDLINE</collection><collection>PubMed</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Simalatsar, Alena</au><au>De Micheli, Giovanni</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>TAT-based formal representation of medical guidelines: Imatinib case-study</atitle><btitle>2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society</btitle><stitle>EMBC</stitle><addtitle>Conf Proc IEEE Eng Med Biol Soc</addtitle><date>2012-01-01</date><risdate>2012</risdate><volume>2012</volume><spage>5078</spage><epage>5081</epage><pages>5078-5081</pages><issn>1094-687X</issn><issn>1557-170X</issn><eissn>1558-4615</eissn><isbn>1424441196</isbn><isbn>9781424441198</isbn><eisbn>9781457717871</eisbn><eisbn>1457717875</eisbn><abstract>Computer-based interpretation of medical guidelines (GLs) has drawn lots of attention in the past three decades. It is essential to use a formalism for GLs representation that would enable the validation of GLs structural properties, be able to map medical actions into the time scale and support the automatic formal verification of GLs without additional translation paths. In this paper we preset a novel approach based on Timed Automata extended with Tasks (TAT) for the medical protocol formal representation using the TIMES toolbox. We discuss the verification issues with the help of the Imatinib case study.</abstract><cop>United States</cop><pub>IEEE</pub><pmid>23367070</pmid><doi>10.1109/EMBC.2012.6347135</doi><tpages>4</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1094-687X |
| ispartof | 2012 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012, Vol.2012, p.5078-5081 |
| issn | 1094-687X 1557-170X 1558-4615 |
| language | eng |
| recordid | cdi_ieee_primary_6347135 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Artificial Intelligence Automata Benzamides - administration & dosage Clinical Protocols - standards Clocks Computational modeling Conferences Decision Support Systems, Clinical Diseases Guidelines Imatinib Mesylate Natural Language Processing Piperazines - administration & dosage Practice Guidelines as Topic Protocols Pyrimidines - administration & dosage Software United States User-Computer Interface Vocabulary, Controlled |
| title | TAT-based formal representation of medical guidelines: Imatinib case-study |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-24T17%3A52%3A46IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pubmed_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=TAT-based%20formal%20representation%20of%20medical%20guidelines:%20Imatinib%20case-study&rft.btitle=2012%20Annual%20International%20Conference%20of%20the%20IEEE%20Engineering%20in%20Medicine%20and%20Biology%20Society&rft.au=Simalatsar,%20Alena&rft.date=2012-01-01&rft.volume=2012&rft.spage=5078&rft.epage=5081&rft.pages=5078-5081&rft.issn=1094-687X&rft.eissn=1558-4615&rft.isbn=1424441196&rft.isbn_list=9781424441198&rft_id=info:doi/10.1109/EMBC.2012.6347135&rft_dat=%3Cpubmed_6IE%3E23367070%3C/pubmed_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9781457717871&rft.eisbn_list=1457717875&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/23367070&rft_ieee_id=6347135&rfr_iscdi=true |