Présentation

Article

1 - BESOINS INDUSTRIELS ET PROCESSUS DE DÉVELOPPEMENT

2 - MODÉLISATION EN UML/OCL DES PROPRIÉTÉS DES LANGAGES DE PROGRAMMATION

3 - DIAGRAMME D'ACTIVITÉ

4 - HIÉRARCHISATION DES ACTIONS D'UN DIAGRAMME D'ACTIVITÉ

5 - VERS UNE ARCHITECTURE D'UN PROCESSUS IDM INCRÉMENTAL

  • 5.1 - Modèle de conception, modèle de programmation et code
  • 5.2 - Point de vue de l'industriel

6 - CONCLUSIONS ET PERSPECTIVES

Article de référence | Réf : H3880 v2

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

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Version en anglais English

Auteur(s)

  • Pierre BAZEX : Professeur émérite de l'Université Toulouse III Paul Sabatier

  • Agusti CANALS : Expert génie logiciel - Adjoint du directeur technique de CS Communication & Systèmes

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

INTRODUCTION

Les besoins industriels liés à l'utilisation d'un processus de développement à base de modèles nécessitent la modélisation des propriétés des langages de programmation. L'application de ces propriétés sur des diagrammes d'activité/classes permet de générer des codes des composants logiciels. L'architecture de processus incrémental à base de modèles proposée dans ce dossier est destinée aux experts d'un domaine pour la mise en place d'un atelier métier.

La sémantique dans les modèles est indispensable aux analystes/concepteurs qui souhaitent contrôler et donc mieux maîtriser le passage des modèles de conception aux composants logiciels.

Quid de l'approche sémantique des modèles dans un milieu industriel confronté aux systèmes critiques ?

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

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

VERSIONS

Il existe d'autres versions de cet article :

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v2-h3880


Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(240 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

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

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Version en anglais English

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é, et le comportement au niveau du modèle du code du langage « L ». Cependant, nous montrons comment il est possible de vérifier une telle transformation, par rapport aux propriétés comportementales du diagramme d'activité et du langage « L ».

3.1 Éléments de modélisation du diagramme d'activité

Un diagramme d'activité est composé :

  • d'un ensemble de nœuds d'activité (ActivityNode ) qui représentent d'une manière générale les différentes actions du système à modéliser ;

  • d'un ensemble de flots de contrôle (ControlFlow ) définissant les modalités de passage entre les nœuds d'activité.

À tout nœud d'activité et à tout flow de contrôle, est associé un nom.

HAUT DE PAGE

3.1.1 Poids et garde des flots de contrôle

Tout flot de contrôle définit les modalités de passage entre deux nœuds d'activité, dont les règles sont les suivantes :

  • tout flot de contrôle est orienté, indiquant l'ordonnancement de l'exécution des deux nœuds d'activité : l'exécution du nœud d'activité N1 est suivie de l'exécution du nœud d'activité...

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

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(240 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

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

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Lecture en cours
Diagramme d'activité
Sommaire
Sommaire

BIBLIOGRAPHIE

  • (1) - AUDIBERT (L.) -   *  -  Cours – UML. http://laurent-audibert.developpez.com/Cours-UML/html/index.html

  • (2) - DE FOMBELLE (G.) -   Gestion incrémentale des propriétés de cohérence structurelle dans l'ingénierie dirigée par les modèles.  -  Thèse du Lip6, Université de Paris 6 (2007).

  • (3) - LE THI (T.-T.), BAZEX (P.) -   Language modeling in the context of a MDE process.  -  In IADIS International Conference Applied computing, Timisoara, Romania, oct. 2010.

  • (4) - MALENFANT (J.) -   Modélisation de la sémantique formelle des langages de programmation en UML et OCL.  -  Rapport de recherche INRIA (2002).

  • (5) - MEYER (B.) -   Introduction à la théorie des langages de programmation.  -  InterEditions (1992).

  • (6) - BLANC (X.) -   MDA en action.  -  Eyrolles (2005).

  • ...

1 Outils logiciels

DOMINO – Projet RNTL DOMINO http://www.domino-rntl.org

EMF – Eclipse Modeling Framework Project (EMF) http://www.eclipse.org/modeling/emf/

Kermeta – Metaprogramming Environment Based on an Object-Oriented http://www.kermeta.org

TopCased http://www.topcased.org

USE – An UML-based Specification Environment http://www.db.informatik.uni-bremen.de

HAUT DE PAGE

2 Sites Internet

OMG Objet Management Group http://www.omg.org

Liste de logiciel http://jmvanel.free.fr/uml/uml-interop.html

HAUT DE PAGE

3 Événements

NEPTUNE...

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

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(240 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

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

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS