کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10342521 | 696165 | 2013 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Constraint-based specification of model transformations
ترجمه فارسی عنوان
تعریف مبتنی بر تغییرات مدل
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تحولات مدل، توسعه مدل رانده شده، سنتز نرم افزار،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
شبکه های کامپیوتری و ارتباطات
چکیده انگلیسی
⺠A declarative specification approach for model transformations is provided, at a higher level of abstraction than rule-based model transformation languages. ⺠A systematic process for correct-by-construction of implementations from these specifications is provided. ⺠A set of design patterns for structuring model transformations is provided. ⺠A set of composition mechanisms to facilitate the evolution of transformations is presented. ⺠A wide range of case studies are presented, together with formal evaluation of transformations developed using our process.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Systems and Software - Volume 86, Issue 2, February 2013, Pages 412-436
Journal: Journal of Systems and Software - Volume 86, Issue 2, February 2013, Pages 412-436
نویسندگان
K. Lano, S. Kolahdouz-Rahimi,