کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6934756 868632 2015 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Model checking as support for inspecting compliance to rules in flexible processes
ترجمه فارسی عنوان
چک کردن مدل به عنوان پشتیبانی برای بازرسی از انطباق با قوانین در فرآیندهای انعطاف پذیر
کلمات کلیدی
فرآیندهای انعطاف پذیر، انطباق با قوانین، نمودار پاسخ دینامیک، دستورالعمل های بالینی، منطق ترکیبی، منطق توصیف،
ترجمه چکیده
نتیجه گیری: نتایج ما نشان می دهد چگونه ترکیبی از منطق ترکیبی و منطق توصیف می تواند انتزاع لازم را برای بررسی انجام شده در سطح قابل فهم توسط کاربر انسانی زمانی که خواص مورد علاقه را می توان با یک رابط زبان کنترل شده انگلیسی ترجمه شده است.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نرم افزارهای علوم کامپیوتر
پیش نمایش مقاله
چک کردن مدل به عنوان پشتیبانی برای بازرسی از انطباق با قوانین در فرآیندهای انعطاف پذیر
چکیده انگلیسی
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
نویسندگان
, ,