Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4961189 | Procedia Computer Science | 2017 | 8 Pages |
Abstract
: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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science (General)
Authors
Ilhem Khlif, Mohamed Hadj Kacem, Marwa KALLEL, Khalil Drira, Ahmed Hadj Kacem,