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

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é ?

Présentation

RÉSUMÉ

La modélisation des propriétés des langages de programmation est devenu indispensable aux besoins industriels utilisants un processus de développement à base de modèles. Le standard UML/OCL, auquel s'attache cet article, permet cette modélisation. Sont abordés, tout d'abord, les besoins industriels et différents processus de développement. Ensuite la modélisation en UML/OCL des propriétés des langages est exposée. Puis finalement, les diagrammes d'activité et leurs hiérarchisations des activités sont expliqués. Pour finir, la définition d'un processus incrémental (modèle de conception, de programmation et de code) est proposée.

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

Lire l'article

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

 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 ?

Principaux sigles

ATL

Atlas Transformation Language

CIM

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é ?


VERSIONS

Il existe d'autres versions de cet article :

DOI (DIGITAL OBJECT IDENTIFIER)

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

Lecture en cours
Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental

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