Diagramme d'activité
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

Diagramme d'activité
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é ?

3. Diagramme d'activité

Nous prenons comme exemple de modèle de conception, issu des exigences des applications, le diagramme d'activités. Nous en rappelons tout d'abord ses principales caractéristiques puisqu'elles ont beaucoup évolué dans la version 2.0 de UML. Un tel diagramme pouvant modéliser un algorithme, nous proposons donc d'intégrer une sémantique comportementale à chacun de ces éléments de modélisation. Cependant, les propriétés de cette sémantique doivent être injectées au niveau du métamodèle UML. C'est pourquoi, nous en rappelons ses principales caractéristiques. Nous pouvons alors montrer comme un tel diagramme peut être transformé en un modèle de programme du langage « L », après que le concepteur ait pu compléter les éléments de programmation manquants. Ayant défini les propriétés comportementales du langage, les concepteurs peuvent vérifier un certain comportement au niveau du diagramme d'activité,...

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

"Technologies logicielles Architectures des systèmes"

( 408 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