Semantics for UML specifications to be validated by Agatha - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Semantics for UML specifications to be validated by Agatha

Résumé

UML is a modelling language more and more used. However its semantics is not formally defined which arises some problems. These have to be solved when we want to connect some automatic tools as, for example, automatic test generator. Besides the emergence of component notion brings a new research area in the domain of incremental conception and validation. In a first part, we define a formal semantics for a UML sub-set: this definition allows us to easily derivate a translator compatible with AGATHA, which is an automatic test generator tool. In a second part, we present our current work which takes into account the component notion and uses compositionality properties in the validation domain.
Fichier non déposé

Dates et versions

hal-01125068 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125068 , version 1

Citer

Céline Bigot, Alain Faivre, J.P. Gallois, Maria-Virginia Aponte, Veronique Viguie Donzeau-Gouge. Semantics for UML specifications to be validated by Agatha. Second Europeen Congress on Embedded Realtime Software (ERTS 04)., Jan 2004, X, France. ⟨hal-01125068⟩
29 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More