Safe Incremental Design of UML Architectures - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Safe Incremental Design of UML Architectures

Résumé

IDF is an Incremental Development Framework which supports the development and the verification of UML models for concurrent and reactive systems. IDF offers refinement and extension techniques the goal of which is to check the preservation of liveness properties during the model developments. Here, we improve the framework in order to analyze models from a safety point of view. Some techniques such as refinement maintain safety properties, however, extension does not maintain such properties. 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 comple-mentarity of liveness and safety analyses.
Fichier principal
Vignette du fichier
safe-incremental-design.pdf (296.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01926981 , version 1 (19-11-2018)

Identifiants

  • HAL Id : hal-01926981 , version 1

Citer

Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen. Safe Incremental Design of UML Architectures. 29th International Conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburg, United States. ⟨hal-01926981⟩
43 Consultations
101 Téléchargements

Partager

Gmail Facebook X LinkedIn More