Présentation
En anglaisAuteur(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 ?
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
(239 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
1. Besoins industriels et processus de développement
Utiliser l'approche MDA (en fait l'approche MDE préconisée par l'OMG) dans l'industrie est un challenge certain. À ce jour, des tentatives plus ou moins réussies ont eu lieu, mais nous ne sommes pas encore au bout du tunnel, qu'en est-il ?
Nous présentons dans ce dossier une méthode systématique et pragmatique de modélisation de la sémantique des langages de programmation fondée sur la description en UML et OCL et de son application au sein d'un processus IDM où les modèles sont au centre des développements des logiciels. Cette approche se fonde sur la précision mathématique de la sémantique dénotationnelle de même que sur l'accessibilité et le rôle prépondérant des définitions en UML/OCL pour répondre à deux grandes questions :
-
(1) Comment communiquer aux analystes/concepteurs une définition précise d'un langage de modélisation et d'un langage de programmation tout en restant accessible ?
-
(2) Comment intégrer de la sémantique dans les modèles d'un processus IDM de manière cohérente et uniforme avec une démarche UML ?
Dans le contexte d'un processus IDM où précisément ils sont au centre du développement, les modèles permettent d'appuyer le développement logiciel, en particulier lors de l'activité de génération de code (éventuellement spécifiques à des domaines, ou DSL) tout en donnant les moyens aux analystes/concepteurs de contrôler et de vérifier à chaque phase essentielle d'un processus de développement son bon déroulement, et de s'assurer de la cohérence entre les modèles à chaque niveau de modélisation. Nous illustrons cette approche en prenant comme exemple de modèle de conception le diagramme d'activité UML décrivant le comportement d'une méthode d'une classe.
1.1 Langage de modélisation UML
1.1.1 Démarche de modélisation
UML est un langage de modélisation graphique initialement...
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(239 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
Besoins industriels et processus de développement
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...
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(239 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