A model transformation approach for multiscale modeling of software architectures applied to smart cities

Summary Modeling and specifying correct software systems is a challenging task that can be supported by providing appropriate modeling ions. This article proposes an approach for graphical multiscale modeling of such systems using model transformation techniques. The approach is founded on a guided...

Full description

Saved in:
Bibliographic Details
Published in:Concurrency and computation 2022-03, Vol.34 (7), p.n/a
Main Authors: Khlif, Ilhem, Hadj Kacem, Mohamed, Eichler, Cédric, Drira, Khalil, Hadj Kacem, Ahmed
Format: Article
Language:English
Subjects:
Computer architecture
Computer Science
Distributed, Parallel, and Cluster Computing
Event‐B method
formal specifications
Iterative methods
model transformation
Modelling
multiscale description
refinement
Smart cities
Software
software architecture
Subsystems
Transformations
UML models
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary Modeling and specifying correct software systems is a challenging task that can be supported by providing appropriate modeling ions. This article proposes an approach for graphical multiscale modeling of such systems using model transformation techniques. The approach is founded on a guided rule‐based iterative modeling process ensuring controlled transition from a coarse‐grained description to a fine‐grained description. It provides also user‐friendly graphical descriptions by extension of UML notations, hence preserving the common practices from software architectures design. The iterative design process is supported by a set of model transformation rules. The rules manage the refinement process (by adding or removing subsystems or by adding or removing details on a given subsystem) as a model transformation. Our approach is supported by a rule‐based generator that implements the automatic transformation of UML diagrams into Event‐B specifications allowing formal verification of their correctness properties, and relieving software architects of mastering formal techniques. To experiment and validate our approach, we consider a case study dedicated to the smart cities.
ISSN:1532-0626
1532-0634
DOI:10.1002/cpe.6298