首页 > 最新文献

2008 21st IEEE International Symposium on Computer-Based Medical Systems最新文献

英文 中文
A Semantic Web Technology Based Approach to Identify Hypertensive Patients for Follow-Up/Recall 基于语义网技术的高血压患者随访/回忆识别方法
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.12
T. Mabotuwana, J. Warren
We present an ontology based approach to identify hypertensive patients who show non-adherence to prescribed medication. Using the Web ontology language (OWL), we have developed an ontology that includes patient prescription details, medication possession ratios (MPRs) and blood pressure measurements (together with other patient related information) that has been populated with production electronic medical record (EMR) data from a general medical practice in New Zealand. We have written queries using the semantic query-enhanced Web rule language (SQWRL) to query this ontology to determine patients who have lapsed medication while having a low MPR. We also discuss some practical issues related to patient recall based on EMR data, as well as the suitability of the proposed scheme.
我们提出了一种基于本体论的方法来识别高血压患者谁显示不遵守处方药。使用Web本体语言(OWL),我们开发了一个本体,其中包括患者处方详细信息、药物占有比(MPRs)和血压测量值(以及其他与患者相关的信息),该本体已使用来自新西兰一般医疗实践的生产电子医疗记录(EMR)数据填充。我们使用语义查询增强的Web规则语言(SQWRL)编写了查询,以查询该本体,以确定MPR较低时药物失效的患者。我们还讨论了一些与基于EMR数据的患者召回相关的实际问题,以及所提出方案的适用性。
{"title":"A Semantic Web Technology Based Approach to Identify Hypertensive Patients for Follow-Up/Recall","authors":"T. Mabotuwana, J. Warren","doi":"10.1109/CBMS.2008.12","DOIUrl":"https://doi.org/10.1109/CBMS.2008.12","url":null,"abstract":"We present an ontology based approach to identify hypertensive patients who show non-adherence to prescribed medication. Using the Web ontology language (OWL), we have developed an ontology that includes patient prescription details, medication possession ratios (MPRs) and blood pressure measurements (together with other patient related information) that has been populated with production electronic medical record (EMR) data from a general medical practice in New Zealand. We have written queries using the semantic query-enhanced Web rule language (SQWRL) to query this ontology to determine patients who have lapsed medication while having a low MPR. We also discuss some practical issues related to patient recall based on EMR data, as well as the suitability of the proposed scheme.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122201991","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Gradient Vector Flow Field and Mass Region Extraction in Digital Mammograms 数字乳房x线照片中梯度矢量流场和质量区域提取
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.117
F. Zou, Yufeng Zheng, Zhengdong Zhou, K. Agyepong
Mass detection is one of the main computer-aided mammographic breast cancer detection techniques. Precisely selecting the regions that contain masses is an important step in mass segmentation using mammographic computer-aided detection. In this paper, an algorithm for extracting mass regions in digital mammograms is proposed, in which we use adaptive histogram equalization to enhance mammograms, use a gradient vector flow field to generate region boundaries, select N candidate locations according to the means and the standard deviations of intensities of the points with top brightness, use these points and the region boundaries to generate the convex hulls of the regions as the mass regions. 161 down-sampled mammogram images from the Digital Database for Screening Mammography project were test, and a detection rate of 82.6% is obtained. The experimental results indicated that the method is efficient and robust.
肿块检测是计算机辅助乳房x线摄影检测乳腺癌的主要技术之一。精确选择包含肿块的区域是使用乳腺x线摄影计算机辅助检测进行肿块分割的重要步骤。本文提出了一种数字乳房x光片质量区域提取算法,该算法利用自适应直方图均衡化对乳房x光片进行增强,利用梯度矢量流场生成区域边界,根据亮度最高的点的强度均值和标准差选择N个候选位置,利用这些点和区域边界生成区域的凸包作为质量区域。对筛查项目数字数据库中的161张下采样乳房x线照片进行检测,检出率为82.6%。实验结果表明,该方法具有较好的鲁棒性和有效性。
{"title":"Gradient Vector Flow Field and Mass Region Extraction in Digital Mammograms","authors":"F. Zou, Yufeng Zheng, Zhengdong Zhou, K. Agyepong","doi":"10.1109/CBMS.2008.117","DOIUrl":"https://doi.org/10.1109/CBMS.2008.117","url":null,"abstract":"Mass detection is one of the main computer-aided mammographic breast cancer detection techniques. Precisely selecting the regions that contain masses is an important step in mass segmentation using mammographic computer-aided detection. In this paper, an algorithm for extracting mass regions in digital mammograms is proposed, in which we use adaptive histogram equalization to enhance mammograms, use a gradient vector flow field to generate region boundaries, select N candidate locations according to the means and the standard deviations of intensities of the points with top brightness, use these points and the region boundaries to generate the convex hulls of the regions as the mass regions. 161 down-sampled mammogram images from the Digital Database for Screening Mammography project were test, and a detection rate of 82.6% is obtained. The experimental results indicated that the method is efficient and robust.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127177711","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 31
Generation of Personalised Advisory Messages: An Ontology Based Approach 个性化咨询信息的生成:基于本体的方法
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.103
Elisabetta Erriquez, F. Grasso
This paper presents an ontology based approach to the production of personalised motivational messages to the user of a e-Health service. The service is aimed at encouraging diabetic patients to do physical activity. The textual messages have an overall predetermined structure, and need to be personalised to the user's characteristics, and to the context in which the message needs to be generated.
本文提出了一种基于本体的方法来为电子健康服务的用户生成个性化的激励信息。这项服务旨在鼓励糖尿病患者进行体育锻炼。文本消息具有总体预定的结构,需要根据用户的特征和需要生成消息的上下文进行个性化。
{"title":"Generation of Personalised Advisory Messages: An Ontology Based Approach","authors":"Elisabetta Erriquez, F. Grasso","doi":"10.1109/CBMS.2008.103","DOIUrl":"https://doi.org/10.1109/CBMS.2008.103","url":null,"abstract":"This paper presents an ontology based approach to the production of personalised motivational messages to the user of a e-Health service. The service is aimed at encouraging diabetic patients to do physical activity. The textual messages have an overall predetermined structure, and need to be personalised to the user's characteristics, and to the context in which the message needs to be generated.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131063017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 25
Visual Analytical Methods to Identify Family Clustered Diseases 识别家族聚集性疾病的视觉分析方法
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.60
C. Fuchsberger, L. Forer, C. Pattaro, Andrew A. Hicks, P. Pramstaller, S. Miksch
The study of isolated populations is a promising approach for the identification of genes conferring susceptibility to disease. Due to the complex genealogies of such populations epidemiological studies are challenging.We present ongoing research to using a visual analytics based approach for the identification of diseases that cluster in families, risk factors and heritability patterns.
对孤立种群的研究是鉴定疾病易感性基因的一种很有前途的方法。由于这类人群的家谱复杂,流行病学研究具有挑战性。我们提出正在进行的研究,使用基于视觉分析的方法来识别在家庭、风险因素和遗传模式中聚集的疾病。
{"title":"Visual Analytical Methods to Identify Family Clustered Diseases","authors":"C. Fuchsberger, L. Forer, C. Pattaro, Andrew A. Hicks, P. Pramstaller, S. Miksch","doi":"10.1109/CBMS.2008.60","DOIUrl":"https://doi.org/10.1109/CBMS.2008.60","url":null,"abstract":"The study of isolated populations is a promising approach for the identification of genes conferring susceptibility to disease. Due to the complex genealogies of such populations epidemiological studies are challenging.We present ongoing research to using a visual analytics based approach for the identification of diseases that cluster in families, risk factors and heritability patterns.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131881790","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Evaluating a Case-Based Classifier for Biomedical Applications 生物医学应用中基于案例的分类器评价
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.87
S. Little, O. Salvetti, P. Perner
Many medical diagnosis applications are characterized by datasets that contain under- represented classes due to the fact that the disease appears more rarely than the normal case. In such a situation classifiers that generalize over the data such as decision trees and Naive Bayesian are not the proper choice as classification methods. Case-based classifiers that can work on the samples seen so far are more appropriate for such a task. We propose to calculate the contingency table and class specific evaluation measures despite the overall accuracy for evaluation purposes of classifiers for these specific data characteristics. We evaluate the different options of our case-based classifier and compare the performance to decision trees and Naive Bayesian. Finally, we give an outlook for further work.
许多医学诊断应用的特点是数据集包含代表性不足的类别,因为这种疾病比正常病例出现得更少。在这种情况下,对数据进行泛化的分类器,如决策树和朴素贝叶斯,并不是分类方法的正确选择。基于案例的分类器可以处理到目前为止看到的样本,更适合这样的任务。尽管分类器对这些特定数据特征的评估目的具有总体准确性,但我们建议计算列联表和类别特定评估措施。我们评估了基于案例的分类器的不同选项,并将其性能与决策树和朴素贝叶斯进行了比较。最后,对今后的工作进行了展望。
{"title":"Evaluating a Case-Based Classifier for Biomedical Applications","authors":"S. Little, O. Salvetti, P. Perner","doi":"10.1109/CBMS.2008.87","DOIUrl":"https://doi.org/10.1109/CBMS.2008.87","url":null,"abstract":"Many medical diagnosis applications are characterized by datasets that contain under- represented classes due to the fact that the disease appears more rarely than the normal case. In such a situation classifiers that generalize over the data such as decision trees and Naive Bayesian are not the proper choice as classification methods. Case-based classifiers that can work on the samples seen so far are more appropriate for such a task. We propose to calculate the contingency table and class specific evaluation measures despite the overall accuracy for evaluation purposes of classifiers for these specific data characteristics. We evaluate the different options of our case-based classifier and compare the performance to decision trees and Naive Bayesian. Finally, we give an outlook for further work.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128538375","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Use of Protein Ontology to Enable Data Exchange for Complex Proteomic Experiments 利用蛋白质本体实现复杂蛋白质组学实验的数据交换
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.145
A. Sidhu, T. Dillon, E. Chang
Ontologies and controlled vocabularies are being established by many groups to provide roadmaps through the confused mass of data currently being generated from increasingly large-scale experimental biological experiments. The world of protein chemistry is no exception to this rule, with protein ontology (PO) having lead the field by providing a framework in which individual molecules and complexes can be defined by their structure, function and cellular location. PO performs searches across the protein databases using a standard nomenclature consistent to all entries.
许多团体正在建立本体论和受控词汇表,以便为日益大规模的实验生物学实验产生的大量混乱数据提供路线图。蛋白质化学领域也不例外,蛋白质本体论(protein ontology, PO)提供了一个框架,在这个框架中,单个分子和复合物可以通过它们的结构、功能和细胞位置来定义,从而引领了该领域。PO使用与所有条目一致的标准命名法在蛋白质数据库中执行搜索。
{"title":"Use of Protein Ontology to Enable Data Exchange for Complex Proteomic Experiments","authors":"A. Sidhu, T. Dillon, E. Chang","doi":"10.1109/CBMS.2008.145","DOIUrl":"https://doi.org/10.1109/CBMS.2008.145","url":null,"abstract":"Ontologies and controlled vocabularies are being established by many groups to provide roadmaps through the confused mass of data currently being generated from increasingly large-scale experimental biological experiments. The world of protein chemistry is no exception to this rule, with protein ontology (PO) having lead the field by providing a framework in which individual molecules and complexes can be defined by their structure, function and cellular location. PO performs searches across the protein databases using a standard nomenclature consistent to all entries.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129031706","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modelling and Performance Measure of a Perinatal Network Centre in the United Kingdom 英国围产期网络中心的建模和性能测量
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.50
M. Asaduzzaman, T. Chaussalet
The main aim of this paper is to model the neonatal unit of a perinatal network centre using the general framework of a loss network model and to estimate some performance measures. A special case of the class of model has been applied for capacity planning to the perinatal network centre of a neonatal network in the United Kingdom. Using the data supplied from the perinatal network centre about admission process, length of stay (LoS) and discharge pattern of the babies, the loss network model is applied to estimate the admission refusal probability in the system under steady-state conditions. Results are derived for different arrival patterns and different combinations of cots at all levels of care of the neonatal unit. This approach can be useful to select the optimal combination of cots for any given acceptance rate of arrival to the neonatal unit.
本文的主要目的是利用损失网络模型的一般框架对围产期网络中心的新生儿单位进行建模,并估计一些性能指标。该类模型的一个特殊情况已被应用于能力规划围产期网络中心的新生儿网络在英国。利用围产网络中心提供的新生儿入院过程、住院时间和出院方式等数据,应用损失网络模型估计系统在稳态条件下的拒绝入院概率。结果得出了不同的到达模式和不同的床组合在新生儿单位的各级护理。该方法可用于在任何给定的新生儿接收率下选择最佳的婴儿床组合。
{"title":"Modelling and Performance Measure of a Perinatal Network Centre in the United Kingdom","authors":"M. Asaduzzaman, T. Chaussalet","doi":"10.1109/CBMS.2008.50","DOIUrl":"https://doi.org/10.1109/CBMS.2008.50","url":null,"abstract":"The main aim of this paper is to model the neonatal unit of a perinatal network centre using the general framework of a loss network model and to estimate some performance measures. A special case of the class of model has been applied for capacity planning to the perinatal network centre of a neonatal network in the United Kingdom. Using the data supplied from the perinatal network centre about admission process, length of stay (LoS) and discharge pattern of the babies, the loss network model is applied to estimate the admission refusal probability in the system under steady-state conditions. Results are derived for different arrival patterns and different combinations of cots at all levels of care of the neonatal unit. This approach can be useful to select the optimal combination of cots for any given acceptance rate of arrival to the neonatal unit.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117143739","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Periodic Motion Detection on Patient with Motion Disorders 运动障碍患者的周期性运动检测
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.97
Zdenka Uhríková, Václav Hlaváč
The proposed method serves for detecting and analysing translating and non-translating periodic motion with small oscillation from video data. Periodic motion in a video sequence is detected using principles of motion accumulation. Non-translating periodic motion is described as change of the point brightness over the time. The trajectory of the motion is obtained by tracking the translating object with periodic motion. Following frequency analysis is done by the means of Fourier transform. The developed method is applied for observing patients suffering from Parkinson disease.
该方法适用于视频数据中具有小振荡的平移和非平移周期运动的检测和分析。视频序列中的周期性运动是利用运动积累原理来检测的。非平移周期运动被描述为点亮度随时间的变化。通过跟踪具有周期运动的平移物体,得到运动轨迹。接下来的频率分析是通过傅里叶变换来完成的。该方法应用于帕金森病患者的观察。
{"title":"Periodic Motion Detection on Patient with Motion Disorders","authors":"Zdenka Uhríková, Václav Hlaváč","doi":"10.1109/CBMS.2008.97","DOIUrl":"https://doi.org/10.1109/CBMS.2008.97","url":null,"abstract":"The proposed method serves for detecting and analysing translating and non-translating periodic motion with small oscillation from video data. Periodic motion in a video sequence is detected using principles of motion accumulation. Non-translating periodic motion is described as change of the point brightness over the time. The trajectory of the motion is obtained by tracking the translating object with periodic motion. Following frequency analysis is done by the means of Fourier transform. The developed method is applied for observing patients suffering from Parkinson disease.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123371589","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Imagistic Database for Medical e-Learning 医学电子学习图像数据库
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.38
L. Stanescu, D. Burdescu, A. Ion, A. Panus
The paper presents the multimedia component included in TESYS, a medical e-learning platform that is used nowadays at the University of Medicine and Pharmacy Craiova at disciplines like gastroenterology and urology in order to complete the traditional medical learning process. The multimedia component contains a database with color medical images acquired by the teachers from different patients in the diagnosis process, so represent real cases. A series of alphanumerical information: diagnosis, treatment and patient evolution are added for each image. The multimedia component together with modern search methods: content-based image query and content-based region query is used both in the training process and e-testing one. The content-based visual query uses characteristics that are automatically extracted from medical images (color, texture, regions). Using content-based visual query with other access methods (text-based, hierarchical methods) on a teaching image database allows students to see images and associated information from database in a simple and direct manner. This method stimulates learning, by comparing similar cases along with their particularities, or by comparing cases that are visually similar, but with different diagnoses.
本文介绍了TESYS中包含的多媒体组件,这是一个医学电子学习平台,目前在克拉约瓦医科大学用于胃肠病学和泌尿学等学科,以完成传统的医学学习过程。多媒体组件包含了教师在诊断过程中从不同患者身上获取的彩色医学图像数据库,因此可以代表真实的病例。为每张图像添加了一系列的字母数字信息:诊断,治疗和患者演变。多媒体组件与现代搜索方法:基于内容的图像查询和基于内容的区域查询在训练过程和电子测试过程中都得到了应用。基于内容的可视化查询使用从医学图像中自动提取的特征(颜色、纹理、区域)。在教学图像数据库中使用基于内容的可视化查询和其他访问方法(基于文本的分层方法),使学生能够以简单直接的方式从数据库中查看图像和相关信息。这种方法通过比较相似的病例及其特殊性,或者通过比较视觉上相似但诊断不同的病例,来刺激学习。
{"title":"Imagistic Database for Medical e-Learning","authors":"L. Stanescu, D. Burdescu, A. Ion, A. Panus","doi":"10.1109/CBMS.2008.38","DOIUrl":"https://doi.org/10.1109/CBMS.2008.38","url":null,"abstract":"The paper presents the multimedia component included in TESYS, a medical e-learning platform that is used nowadays at the University of Medicine and Pharmacy Craiova at disciplines like gastroenterology and urology in order to complete the traditional medical learning process. The multimedia component contains a database with color medical images acquired by the teachers from different patients in the diagnosis process, so represent real cases. A series of alphanumerical information: diagnosis, treatment and patient evolution are added for each image. The multimedia component together with modern search methods: content-based image query and content-based region query is used both in the training process and e-testing one. The content-based visual query uses characteristics that are automatically extracted from medical images (color, texture, regions). Using content-based visual query with other access methods (text-based, hierarchical methods) on a teaching image database allows students to see images and associated information from database in a simple and direct manner. This method stimulates learning, by comparing similar cases along with their particularities, or by comparing cases that are visually similar, but with different diagnoses.","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128088897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Verification of Clinical Guidelines by Model Checking 通过模型检验验证临床指南
Pub Date : 2008-06-17 DOI: 10.1109/CBMS.2008.86
B. Pérez, Ivan Porres
Clinical guidelines systematically assist practitioners with providing appropriate health care for specific clinical circumstances. However, a significant number of guidelines are lacking in quality. In this paper, we use the UML modeling language to capture guidelines and model checking techniques for their verification. We have established a classification of possible properties to be verified in a guideline and we present an automated approach based on a translation from UML to PROMELA, the input language of the SPIN model checker. Our approach is illustrated with a guideline based on a guideline published by the National Guideline Clearing House (NGC).
临床指南系统地帮助从业者为特定的临床情况提供适当的卫生保健。然而,大量的指导方针缺乏质量。在本文中,我们使用UML建模语言来获取指导方针和模型检查技术以进行验证。我们已经建立了一个可能的属性分类,将在指南中进行验证,并且我们提出了一个基于从UML到PROMELA (SPIN模型检查器的输入语言)的转换的自动化方法。我们的方法是用一个指南来说明的,该指南是基于国家指南结算所(NGC)发布的指南。
{"title":"Verification of Clinical Guidelines by Model Checking","authors":"B. Pérez, Ivan Porres","doi":"10.1109/CBMS.2008.86","DOIUrl":"https://doi.org/10.1109/CBMS.2008.86","url":null,"abstract":"Clinical guidelines systematically assist practitioners with providing appropriate health care for specific clinical circumstances. However, a significant number of guidelines are lacking in quality. In this paper, we use the UML modeling language to capture guidelines and model checking techniques for their verification. We have established a classification of possible properties to be verified in a guideline and we present an automated approach based on a translation from UML to PROMELA, the input language of the SPIN model checker. Our approach is illustrated with a guideline based on a guideline published by the National Guideline Clearing House (NGC).","PeriodicalId":377855,"journal":{"name":"2008 21st IEEE International Symposium on Computer-Based Medical Systems","volume":"22 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126067792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
期刊
2008 21st IEEE International Symposium on Computer-Based Medical Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1