Smart City Gnosys
Smart city article details
| Title | A Model Transformation Approach For Multiscale Modeling Of Software Architectures Applied To Smart Cities |
|---|---|
| ID_Doc | 2711 |
| Authors | Khlif I.; Hadj Kacem M.; Eichler C.; Drira K.; Hadj Kacem A. |
| Year | 2022 |
| Published | Concurrency and Computation: Practice and Experience, 34, 7 |
| DOI | http://dx.doi.org/10.1002/cpe.6298 |
| Abstract | Modeling and specifying correct software systems is a challenging task that can be supported by providing appropriate modeling abstractions. 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. © 2021 John Wiley & Sons Ltd. |
| Author Keywords | Event-B method; formal specifications; model transformation; multiscale description; refinement; software architecture; UML models |
Similar Articles
| Id | Similarity | Authors | Title | Published |
|---|---|---|---|---|
52709  | 0.866 | Gasidou A.; Kotsifakos D.; Douligeris C. | Specific Modeling Issues For Designing The Transformation Of A Smart City | ACM International Conference Proceeding Series (2023) |
| 58218 | 0.852 | Chaabane M.; Zaafouri K.; Rodriguez I.B. | Towards Modeling A Service-Oriented Application Managing A Smart City Using Uml 2.X | Proceedings of the Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2021-October (2021) |
| 37460 | 0.852 | Visconti E.; Tsigkanos C.; Hu Z.; Ghezzi C. | Model-Driven Design Of City Spaces Via Bidirectional Transformations | Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019 (2019) |