Generating FoCaLiZe Specifications from UML Models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Generating FoCaLiZe Specifications from UML Models

Résumé

UML is the defacto standard language to graphically describe systems in an object oriented way. Once an application has been specified, Model Driven Architecture (MDA) techniques can be applied to generate code from such specifications. Because UML lacks formal basis to analyze and check model consistency, it is pertinent to choose a formal target language (in the MDA process) to enable proofs and verification techniques. To achieve this goal, we have associated to UML the FoCaLiZe language, an object-oriented development environment using a proof-based formal approach. This paper focuses on a subset of UML constructors, the template classes. These latter allow developers to create generic models that can be instantiated for actual models througha binding relationship. Specifically, we propose a formal transformation of UML template classes annotated with OCL constraints into FoCaLiZe specification. The proposed mapping directly supports most of UML template features.

Mots clés

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01126516 , version 1

Citer

Messaoud Abbas, Chouky Bey Ben Yelles, Renaud Rioboo. Generating FoCaLiZe Specifications from UML Models. International Conference on Advanced Aspects of Software Engineering, ICAASE, Nov 2014, X, France. pp.157--164. ⟨hal-01126516⟩
33 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More