Conclusions et perspectives
Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental

Ajouter à la bibliothèque

H3880 V2 Article de référence

Conclusions et perspectives
Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental

Auteur(s) : Pierre BAZEX, Agusti CANALS

Date de publication : 10 août 2011 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

6. Conclusions et perspectives

Le cadre de cette étude s'appuie sur un standard : UM/OCL, en reprenant les techniques des traducteurs (compilateurs et interprètes) pour vérifier les transformations et animer les modèles impliqués dans l'activité de génération de code à partir d'un diagramme d'activité.

Cette étude devrait pouvoir se poursuivre au travers d'autres diagrammes (State charts, séquence...).

Les résultats de cette étude :

  • 1. proposent la définition d'un processus incrémental (s'appuyant sur les diagrammes d'activités et de classes) pouvant être exploité par les experts d'un domaine pour réaliser un atelier métier ;

  • 2. montrent des exemples où les propriétés axiomatiques sont déterminantes.

Remarque...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Article inclus dans l'offre

"Traçabilité"

( 257 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Langage UML : développement de logiciel et modélisation visuelle

Le langage UML (pour Unified Modeling Language) est un langage graphique de modélisation des systèmes log...

De la modélisation conceptuelle à l'ingénierie des exigences

L’impact critique de l’analyse des exigences sur la qualité du logiciel a été reconnu de longue date et à...

Validation des algorithmes en UML et OCL

Cet article traite de propriétés formelles des langages de programmation dont le but est de vérifier, voi...

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous