Model consistency for multi-scale architectures applied to smart systems

https://doi.org/10.1016/j.procs.2017.05.408Get rights and content
Under a Creative Commons license
open access

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.

Keywords

Software Architecture
multi-scale description
UML models
OCL constraints
model transformation
refinement

Cited by (0)