Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
المؤلفون المشاركون
Song, Liang
Kong, Hui
Wen, Lijie
Wang, Jianmin
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-24، 24ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-06-19
دولة النشر
مصر
عدد الصفحات
24
التخصصات الرئيسية
الملخص EN
Business process models are required to be in line with frequently changing regulations, policies, and environments.
In the field of intelligent modeling, organisations concern automated business process compliance checking as the manual verification is a time-consuming and inefficient work.
There exist two key issues for business process compliance checking.
One is the definition of a business process retrieval language that can be employed to capture the compliance rules, the other concerns efficient evaluation of these rules.
Traditional syntax-based retrieval approaches cannot deal with various important requirements of compliance checking in practice.
Although a retrieval language that is based on semantics can overcome the drawback of syntax-based ones, it suffers from the well-known state space explosion.
In this paper, we define a semantics-based process model query language through simplifying a property specification pattern system without affecting its expressiveness.
We use this language to capture semantics-based compliance rules and constraints.
We also propose a feasible approach in such a way that the compliance checking will not suffer from the state space explosion as much as possible.
A tool is implemented to evaluate the efficiency.
An experiment conducted on three model collections illustrates that our technology is very efficient.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Song, Liang& Wang, Jianmin& Wen, Lijie& Kong, Hui. 2013. Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-24.
https://search.emarefa.net/detail/BIM-511808
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Song, Liang…[et al.]. Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding. Journal of Applied Mathematics No. 2013 (2013), pp.1-24.
https://search.emarefa.net/detail/BIM-511808
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Song, Liang& Wang, Jianmin& Wen, Lijie& Kong, Hui. Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-24.
https://search.emarefa.net/detail/BIM-511808
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-511808
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر