کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6934756 | 868632 | 2015 | 22 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Model checking as support for inspecting compliance to rules in flexible processes
ترجمه فارسی عنوان
چک کردن مدل به عنوان پشتیبانی برای بازرسی از انطباق با قوانین در فرآیندهای انعطاف پذیر
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
فرآیندهای انعطاف پذیر، انطباق با قوانین، نمودار پاسخ دینامیک، دستورالعمل های بالینی، منطق ترکیبی، منطق توصیف،
ترجمه چکیده
نتیجه گیری: نتایج ما نشان می دهد چگونه ترکیبی از منطق ترکیبی و منطق توصیف می تواند انتزاع لازم را برای بررسی انجام شده در سطح قابل فهم توسط کاربر انسانی زمانی که خواص مورد علاقه را می توان با یک رابط زبان کنترل شده انگلیسی ترجمه شده است.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نرم افزارهای علوم کامپیوتر
چکیده انگلیسی
Conclusion: Our results show how the combination of Hybrid Logic and Description Logic can provide the necessary abstraction for the checking to be carried out at a level understandable by the human user when the properties of interest can be translated by a controlled English language interface.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Visual Languages & Computing - Volume 28, June 2015, Pages 100-121
Journal: Journal of Visual Languages & Computing - Volume 28, June 2015, Pages 100-121
نویسندگان
Ioan Alfred Letia, Anca Goron,