کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4961189 | 1446506 | 2017 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Model consistency for multi-scale architectures applied to smart systems
ترجمه فارسی عنوان
سازگاری مدل برای معماری های چندگانه مورد استفاده در سیستم های هوشمند
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
علوم کامپیوتر (عمومی)
چکیده انگلیسی
:We propose a multi-scale methodology for complex software systems using the model transformation techniques. The methodol- ogy provides a correct by design approach for the description of multi-scale architectures. It is founded on a rule-oriented iterative modeling process ensuring transition from a coarse-grained description to a fine-grained description. The rules manage the re- finement between scales and are applied with respect to the system constraints. Multi-scale architectures are modeled graphically using UML notations. The design process supports model transformation and validation of UML models with the OCL constraints defined on UML models. We illustrate our approach with a case study dedicated to the smart cities.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Procedia Computer Science - Volume 109, 2017, Pages 400-407
Journal: Procedia Computer Science - Volume 109, 2017, Pages 400-407
نویسندگان
Ilhem Khlif, Mohamed Hadj Kacem, Marwa KALLEL, Khalil Drira, Ahmed Hadj Kacem,