Development and Verification of UML Architectures by Refinement and Extension Techniques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Development and Verification of UML Architectures by Refinement and Extension Techniques

Résumé

We have developed an incremental development framework which supports progressive constructions of UML state machines. This framework includes behavioral refinement and extension verifications. In this paper, we extend this framework to UML composite components in order to guide architecture modeling and verification. It consists of a set of construction techniques which assist the designer in two complementary ways: concerning behavioral aspects, the techniques are based on formal relations which determine if the new architectures are true refinement and/or extensions of the former ones; concerning structural aspects, the techniques contribute to the software engineering design principles separation of concerns, information hiding and hierarchical modeling. The paper presents some of these techniques and illustrates them through a case study.
Fichier principal
Vignette du fichier
ERTS_2018_paper_98.pdf (962.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02156501 , version 1 (14-06-2019)

Identifiants

  • HAL Id : hal-02156501 , version 1

Citer

Thomas Lambolais, Anne-Lise Courbis. Development and Verification of UML Architectures by Refinement and Extension Techniques. ERTS 2018, Jan 2018, Toulouse, France. ⟨hal-02156501⟩
49 Consultations
82 Téléchargements

Partager

Gmail Facebook X LinkedIn More