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
(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
5. Vers une architecture d'un processus IDM incrémental
5.1 Modèle de conception, modèle de programmation et code
Les techniques et les méthodes développées dans les paragraphes précédents autorisent la mise en place d'une architecture d'un processus incrémental permettant aux analystes/concepteurs de vérifier qu'à chacune de ses phases essentielles, le processus se déroule normalement. Caractérisé par une succession de niveaux de modélisation depuis les modèles de conception issus des exigences de l'application jusqu'à la génération des codes des composants logiciels, il s'agit de pouvoir définir clairement à chaque niveau de modélisation le métamodèle correspondant et les propriétés (invariants) attendues de la part du ou des modèles vérifiant ainsi qu'ils ont bien les qualités requises. Le passage d'un niveau à un autre niveau de modélisation fait l'objet d'une activité pour laquelle il s'agit de définir le rôle, le principe de la transformation, les préconditions qui autorisent le démarrage de cette activité et les post-conditions qui assurent que l'activité en question s'est déroulée normalement, et donc que le processus de développement peut se poursuivre.
Nous donnons les principales caractéristiques de cette architecture qui doit servir à tout expert d'un domaine d'applications à définir le processus que devraient suivre les analystes/concepteurs lors du développement des applications du domaine. Le rôle des experts d'un domaine est de replacer dans leur contexte métier les différentes activités du processus, en détaillant par exemple chacune d'entre elles en fonction des spécificités métier du domaine, et éventuellement en profilant les métamodèles pour prendre en compte ces aspects métier.
Il s'agit ensuite de transformer les modèles de conception, conformes au métamodèle UML 2.0 complété par des propriétés (invariants, pré- et post-conditions) prenant en compte les spécificités...
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
Vers une architecture d'un processus IDM incrémental
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
(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