کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4950105 1440362 2016 20 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Formal Verification of Health Assessment Tools: a Case Study
ترجمه فارسی عنوان
تأیید رسمی ابزارهای ارزیابی بهداشت: مطالعه موردی
کلمات کلیدی
تبدیل نمودارها، تأیید رسمی، اسناد متنی، رهنمودهای پزشکی، از موارد استفاده کنید
ترجمه چکیده
ابزارهای ارزیابی سلامتی (دستورالعمل های استاندارد برای درمان، مقیاس های ارزیابی ریسک، تخمین های بارگذاری بیماری و پرسشنامه های درک و درک بیماران، در میان دیگران) بسیار متنوع هستند زیرا در قالب مشخصات نرم افزاری بسیار متنوع هستند، هرچند برای انسان ها هدف قرار می گیرد. همانطور که در هر سند نوشته شده در زبان طبیعی، چنین رویکردهای پزشکی مستعد اشتباهات و سوء تفاهمات ناشی از ابهام، نادیده گرفتن یا ناسازگاری است و بنابراین کاربرد و کارایی این ابزار را کاهش می دهد. تأیید ابزارهای ارزیابی سلامت یک گام مهمی برای استانداردسازی است، اما هنوز هم یک فرآیند دستی و یک طرفه در جامعه پزشکی است. این کار پیشنهاد استفاده از رویکرد رسمی برای تایید ابزارهای ارزیابی سلامت را پیشنهاد می کند. ما برای ارزیابی موارد استفاده برای یک دستورالعمل استاندارد پزشکی خاص، روش اصلی ارائه شده را ارزیابی می کنیم. نتایج اولیه نشان می دهد که تأیید رسمی این مصنوعات پزشکی می تواند یک مکانیزم مقرون به صرفه برای اعتبارسنجی و صحیح روش های بهداشتی باشد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
تأیید رسمی ابزارهای ارزیابی بهداشت: مطالعه موردی
چکیده انگلیسی
Health assessment tools (treatment standardization guidelines, risk evaluation scales, disease burden estimations, and patient's perceptions questionnaires, among others) are very similar in format to a software specification, although targeted to humans. As in any document written in natural language, such medical approaches are prone to errors and misunderstandings caused by ambiguities, omissions, or inconsistencies thus reducing the applicability and efficacy of these tools. The verification of health assessment tools is an important step for standardization but it is still a manual and ad-hoc process in the medical community. This work proposes the use of a formal approach for the verification of health assessment tools. We apply and evaluate a methodology originally proposed for the verification of Use Cases to a specific medical standardization guideline. Preliminary results show that formal verification of these medical artifacts can be a cost-effective mechanism to validate and qualify health approaches.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 324, 30 September 2016, Pages 31-50
نویسندگان
, , , ,