OntCheck : An Ontology-Driven Static Correctness Checking Tool for Component-Based Models
المؤلفون المشاركون
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-04-24
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص EN
Component-based models are widely used for embedded systems.
The models consist of components with input and output ports linked to each other.
However, mismatched links or assumptions among components may cause many failures, especially for large scale models.
Binding semantic knowledge into models can enable domain-specific checking and help expose modeling errors in the early stage.
Ontology is known as the formalization of semantic knowledge.
In this paper we propose an ontology-driven tool for static correctness checking of domain-specific errors.
two kinds of important static checking, semantic type and domain-restrcted rules, are fulfilled in a unified framework.
We first propose a formal way to precisely describe the checking requirements by ontology and then separately check them by a lattice-based constraint solver and a description logic reasoner.
Compared with other static checking methods, the ontology-based method we proposed is model-externally configurable and thus flexible and adaptable to the changes of requirements.
The case study demonstrates the effectiveness of our method.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Lin, Xi& Zhang, Hehua& Gu, Ming. 2013. OntCheck : An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-11.
https://search.emarefa.net/detail/BIM-509371
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Lin, Xi…[et al.]. OntCheck : An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. Journal of Applied Mathematics No. 2013 (2013), pp.1-11.
https://search.emarefa.net/detail/BIM-509371
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Lin, Xi& Zhang, Hehua& Gu, Ming. OntCheck : An Ontology-Driven Static Correctness Checking Tool for Component-Based Models. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-11.
https://search.emarefa.net/detail/BIM-509371
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-509371
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر