Bibliographie & annexes
Présentation
Auteur(s)
-
Pierre BAZEX : Professeur émérite de l'Université Toulouse 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’articleINTRODUCTION
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 ?
L'expertise technique et scientifique de référence
VERSIONS
- Version archivée 1 de juin 1986 par Colette ROLLAND, Guillaume E. BENCI
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(238 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
Présentation
Besoins industriels et processus de développement6. 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 : le diagramme d'activité et le diagramme de classes UML 2.0 se prêtent bien à des techniques issues des langages de programmation.
L'utilisation d'OCL en vue de prouver des algorithmes impliqués dans des processus de développement de logiciels est ambitieuse et prometteuse, mais bien que dans le prolongement d'UML, son utilisation directe par des experts d'un domaine métier reste cependant difficilement exploitable pour un non-spécialiste en logique des prédicats.
Une question reste en suspens : peut-on prendre en compte le parallélisme avec une approche basée OCL complétée par un langage d'actions ?
Comme perspectives on peut fixer les orientations suivantes :
-
1. utiliser un langage complet (Java par exemple) pour valider au-delà de « L » avec des cas d'étude opérationnels ;
-
2. approfondir les propriétés axiomatiques pour valider les transformations ;
-
3. intégrer des fonctionnalités à OCL pour décrire le parallélisme et en contrôler l'exécution comme pour une approche de type « model checking » ;
-
4. industrialiser le processus au-delà du langage « L ».
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(238 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
Conclusions et perspectives
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...
DANS NOS BASES DOCUMENTAIRES
ANNEXES
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
OMG Objet Management Group http://www.omg.org
Liste de logiciel http://jmvanel.free.fr/uml/uml-interop.html
HAUT DE PAGE
NEPTUNE...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(238 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
