A black-box and contract-based verification of model transformations
المؤلفون المشاركون
Lahrouni, Maryam
Cariou, Eric
al-Fazziki, Abd al-Aziz
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 16، العدد 4 (31 يوليو/تموز 2019)10ص.
الناشر
تاريخ النشر
2019-07-31
دولة النشر
الأردن
عدد الصفحات
10
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
The main goal of Model-Driven Engineering (MDE) is to manipulate productive models to build software.
In this context, model transformation is a common way to automatically manipulate models.
It is then required to ensure that transformation has been correctly processed.
In this paper, we propose a contract-based method to verify that a target model is a valid result of a source model with respect to the transformation specification.
The verification is made in a black-box mode, independently of the implementation and the execution of the transformation.
The method allows the contract to be written in any constraint language.
In association with this method, we have implemented a tool that partially generates contracts written in OCL and manages their evaluation for both endogenous and exogenous transformations
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Lahrouni, Maryam& Cariou, Eric& al-Fazziki, Abd al-Aziz. 2019. A black-box and contract-based verification of model transformations. The International Arab Journal of Information Technology،Vol. 16, no. 4.
https://search.emarefa.net/detail/BIM-854884
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Lahrouni, Maryam…[et al.]. A black-box and contract-based verification of model transformations. The International Arab Journal of Information Technology Vol. 16, no. 4 (Jul. 2019).
https://search.emarefa.net/detail/BIM-854884
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Lahrouni, Maryam& Cariou, Eric& al-Fazziki, Abd al-Aziz. A black-box and contract-based verification of model transformations. The International Arab Journal of Information Technology. 2019. Vol. 16, no. 4.
https://search.emarefa.net/detail/BIM-854884
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-854884
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر