![](/images/graphics-bg.png)
Ontology-based transformation and verification of UML class model
المؤلفون المشاركون
Abd al-Hafiz
Abbas, Sayyid
al-Rahman, Aqil
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 17، العدد 5 (30 سبتمبر/أيلول 2020)، ص ص. 758-768، 11ص.
الناشر
جامعة الزرقاء عمادة البحث العلمي
تاريخ النشر
2020-09-30
دولة النشر
الأردن
عدد الصفحات
11
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Software models describe structures, relationships and features of the software system.
Especially, in Model Driven Engineering (MDE), they are considered as first-class elements instead of programming code and all software development activities move around these models.
In MDE, programming code is automatically generated by the models and models’ defects can implicitly transfer to the code.
These defects can harder to discover and rectify.
Model verification is a promising solution to the problem.
The Unified Modelling Language (UML) class model is an important part of UML and is used in both analysis and design.
However, UML only provides graphical elements without any formal foundation.
Therefore, verification of formal properties such as consistency, satisfiability and consequences are not possible in UML.
This paper mainly focuses on ontology-based transformation and verification of the UML class model elements which have not been addressed in any existing verification methods e.g.
xor association constraint, and dependencies relationships.
We validate the scalability and effectiveness of the proposed solution using various UML class models.
The empirical study shows that the proposed approach scales in the presence of the large and complex model.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Abd al-Hafiz& Abbas, Sayyid& al-Rahman, Aqil. 2020. Ontology-based transformation and verification of UML class model. The International Arab Journal of Information Technology،Vol. 17, no. 5, pp.758-768.
https://search.emarefa.net/detail/BIM-1439765
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Abd al-Hafiz…[et al.]. Ontology-based transformation and verification of UML class model. The International Arab Journal of Information Technology Vol. 17, no. 5 (Sep. 2020), pp.758-768.
https://search.emarefa.net/detail/BIM-1439765
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Abd al-Hafiz& Abbas, Sayyid& al-Rahman, Aqil. Ontology-based transformation and verification of UML class model. The International Arab Journal of Information Technology. 2020. Vol. 17, no. 5, pp.758-768.
https://search.emarefa.net/detail/BIM-1439765
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 765-767
رقم السجل
BIM-1439765
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)