Safe Incremental Development of UML Architectures - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Safe Incremental Development of UML Architectures

Résumé

IDF is an Incremental Development Framework which supports the development and the verification of UML models for reactive systems. IDF offers refinement and extension techniques allowing liveness properties to be preserved during the model developments. Here, we improve the framework in order to analyze models from a safety point of view. For this purpose, we associate IDF with the experienced tools of safety analysis based on the BIP language by translating UML models into BIP. We demonstrate on a basic example the complementarity of liveness and safety analyses.
Fichier principal
Vignette du fichier
safe-incremental-design.pdf (246.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01563328 , version 1 (07-06-2023)

Identifiants

Citer

Anne-Lise Courbis, Thomas Lambolais, Nguyen Thanh-Hung. Safe Incremental Development of UML Architectures. 29th international conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩. ⟨hal-01563328⟩
66 Consultations
21 Téléchargements

Altmetric

Partager

More