کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
378863 | 659230 | 2013 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Compliance checking of integrated business processes
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
To enable compliance checking on integrated business processes we developed the NTL–ALCNTL–ALC logical framework, for closing the gap between the abstract norms and the concrete business processes. To reason on the active obligations and permissions, we extended the normative temporal logic (NTL)NTL, by applying the deontic operators O (obligation) and P (permission) on concepts of the ALCALC (Attribute Language with Complements) description logic. As proof of concept of our results we have used the Hazard Analysis at Critical Control Points (HACCP) standard, aiming to prevent the occurrence of significant hazards in the food industry.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Data & Knowledge Engineering - Volume 87, September 2013, Pages 1–18
Journal: Data & Knowledge Engineering - Volume 87, September 2013, Pages 1–18
نویسندگان
Ioan Alfred Letia, Adrian Groza,