Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt

Résumé

Runtime adaptations of applications generate new risks of bugs and unpredicted interactions that may lead the application execution to an unsafe state. Although execution supports are enough mature to implement such adaptation mechanisms, there is still a lack of formal foundations to support such a process. Our work consists in adopting a Model Driven Engineering approach to express adaptation safety independently of execution supports. In this paper we present our experiments in using traditional validation and verification techniques to ensure the correctness of an adaptation safety model in a practical and rigorous way. Keywords Model correctness, theorem proving, animation, adaptation.
Fichier non déposé

Dates et versions

hal-00360510 , version 1 (11-02-2009)

Identifiants

Citer

Audrey Occello, Anne-Marie Pinna, Michel Riveill. Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt. 5th IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'08), Apr 2008, Lillehammer, Norway. pp.113-120, ⟨10.1109/ICSTW.2008.53⟩. ⟨hal-00360510⟩
66 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More