e-Healthシステムの自動UMLベース形式モデル【JST・京大機械翻訳】

Khalid Marrium; Afzaal Hamra; Hassan Shoaib; Zafar Nazir Ahmad; Latif Saba; Rehman Aniqa

文献

J-GLOBAL ID：202002274420281816 整理番号：20A0819652

e-Healthシステムの自動UMLベース形式モデル【JST・京大機械翻訳】

Automated UML-based Formal Model of E-Health System

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=20A0819652&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0819652&from=J-GLOBAL&jstjournalNo=W2441A") }}

著者 (6件)： , , , , ,
資料名：
巻： 2019 号： MACS ページ： 1-6 発行年： 2019年
JST資料番号： W2441A 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

E-Healthは,病院で電子的に患者の健康を監視し管理する中心的な部分である。既存の患者治療システムは,半形式的技術の曖昧さと限界のために人手で作業する。したがって,モデル化段階で提案したモデルの正確さを提供することが困難であるため,本研究では,e-ヘルスとしてのPatiント処理システム(PTS)の形式的モデルを提示した。E-ヘルスシステムにおいて,医師はシステム,診断,患者の医学と試験処方における情報を見て,入力するために患者RFIDタグをスキャンする。さらに,医師はRFID番号を通して患者の現在の位置を見ることができる。最初に,UMLがより良いシステム設計理解性を表現するので,統一モデリング言語(UML)を使用するシステムの半形式的モデルを開発した。状態と遷移の形で動作するシステムを記述するために,非決定論的オートマトン(NFA)を用いた自動化モデルを提案した。さらに,離散的数学的概念に基づくVienna開発法(VVM-SL)において形式的モデルを開発した。本研究では形式的方法を用いて,E-ヘルスシステムのロバスト性,精度および効率を確認した。開発した形式的モデルを,VVM-SLツールボックスによって検証した。さらに,保守と試験コストは,オートマトンとRFIDベースのE-ヘルスシステムを使用して減少した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

, , , , , , ,
, 【Automatic Indexing@JST】

図形・画像処理一般

前のページに戻る