MDE Pragmatique. Benoît Combemale. Université de Rennes 1 Équipe-Projet Triskell (IRISA & INRIA)
|
|
- André Chaput
- il y a 6 ans
- Total affichages :
Transcription
1 MDE Pragmatique Benoît Combemale Université de Rennes 1 Équipe-Projet Triskell (IRISA & INRIA) Support disponible à l adresse (teaching part) : Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 1 / 44
2 Contexte Principes généraux «Pour un observateur A, M est un modèle de l objet O, si M aide A à répondre aux questions qu il se pose sur O» [Minsky1968]. Extrait de [Favre2006] : Relations entre système, modèle, métamodèle et langage Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 2 / 44
3 Contexte Principes généraux «Pour un observateur A, M est un modèle de l objet O, si M aide A à répondre aux questions qu il se pose sur O» [Minsky1968]. Extrait de [Favre2006] : Relations entre système, modèle, métamodèle et langage Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 2 / 44
4 Contexte Principes généraux «Pour un observateur A, M est un modèle de l objet O, si M aide A à répondre aux questions qu il se pose sur O» [Minsky1968]. Extrait de [Favre2006] : Relations entre système, modèle, métamodèle et langage Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 2 / 44
5 Contexte Principes généraux Un exemple de «cadre conceptuel» : la pyramide de l OMG Un métamétamodèle décrit les éléments de modélisation nécessaires à la définition des langages de modélisation. Un métamodèle décrit les éléments de modélisation nécessaires à la définition des modèles. Un modèle est une abstraction d un système. metamodel (UML, SPEM...) model (UML models...) "real" world metameta model (MOF) M3 M2 M1 M0 Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 3 / 44
6 Contexte Problématiques clés Métamodélisation Consiste à définir le modèle d un langage de modélisation le langage joue le rôle de système à modéliser! L = {S,Sem} L m = {AS,CS,M ac,sd,m as } Concrete Syntax (CS) Mac Abstract Syntax (AS) Semantics Domain (SD) Mas Transformation de modèle MMa = MMb : transformation endogène MMa MMb : transformation exogène p.ex. UML p.ex. MOF MMa <<conformto>> Ma MMM <<conformto>> MMt <<conformto>> Mt Kermeta, ATL, AGG... MMb <<conformto>> Mb p.ex. UML4J2EE Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 4 / 44
7 Contexte Une autre vision (grossière) du MDE! en un slide... MDE (Model Driven Engineering) = DSL (Domain Specific Language) : séparation des préoccupations au travers de langages offrant des constructions capitalisant l expérience d un domaine particulier (p.-ex., le MDA qui préconise une séparation du métier et de la plate-forme) + Generative approach : s appuie sur le langage de manière à raisonner sur l ensemble des modèles (mis en oeuvre généralement par des transformations) Code FIGURE: Exemple du MDA Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 5 / 44
8 Contexte Une autre vision (grossière) du MDE! en un slide... MDE (Model Driven Engineering) = DSL (Domain Specific Language) : séparation des préoccupations au travers de langages offrant des constructions capitalisant l expérience d un domaine particulier (p.-ex., le MDA qui préconise une séparation du métier et de la plate-forme) + Generative approach : s appuie sur le langage de manière à raisonner sur l ensemble des modèles (mis en oeuvre généralement par des transformations) PIM Model Transformation PSM Code PDM FIGURE: Exemple du MDA QoS Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 5 / 44
9 Contexte Une autre vision (grossière) du MDE! en un slide... MDE (Model Driven Engineering) = DSL (Domain Specific Language) : séparation des préoccupations au travers de langages offrant des constructions capitalisant l expérience d un domaine particulier (p.-ex., le MDA qui préconise une séparation du métier et de la plate-forme) + Generative approach : s appuie sur le langage de manière à raisonner sur l ensemble des modèles (mis en oeuvre généralement par des transformations) DSL1 DSL DSLn <<conformsto>> PIM Model Transformation PSM Code <<conformsto>> PDM FIGURE: Exemple du MDA QoS Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 5 / 44
10 Contexte Une autre vision (grossière) du MDE! en un slide... MDE (Model Driven Engineering) = DSL (Domain Specific Language) : séparation des préoccupations au travers de langages offrant des constructions capitalisant l expérience d un domaine particulier (p.-ex., le MDA qui préconise une séparation du métier et de la plate-forme) + Generative approach : s appuie sur le langage de manière à raisonner sur l ensemble des modèles (mis en oeuvre généralement par des transformations) <<basedon>> DSL1 DSL DSLn <<conformsto>> PIM Model Transformation PSM Code <<conformsto>> PDM FIGURE: Exemple du MDA QoS Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 5 / 44
11 Contexte Une autre vision (grossière) du MDE! en un slide... MDE (Model Driven Engineering) = DSL (Domain Specific Language) : séparation des préoccupations au travers de langages offrant des constructions capitalisant l expérience d un domaine particulier (p.-ex., le MDA qui préconise une séparation du métier et de la plate-forme) + Generative approach : s appuie sur le langage de manière à raisonner sur l ensemble des modèles (mis en oeuvre généralement par des transformations) <<basedon>> DSL1 DSL DSLn <<conformsto>> PIM Model Transformation PSM Code <<conformsto>> PDM FIGURE: Exemple du MDA QoS La vie n est pas si simple! langages pivots et chaîne de transformations, composition de modèle,... Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 5 / 44
12 Contexte L informaticien 2.0 Expert Métier Capitalise son expérience au sein de langages métiers qu il utilise pour la définition de système complexe Expert Plate-forme Fournit des approches génératives prenant en compte les spécificités d une plate-forme d exécution particulière Expert Langage Fournit des méta- approches génératives facilitant l outillage d un nouveau DSL Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 6 / 44
13 Contexte Problème abordé dans ce cours... Comment mettre en oeuvre une approche MDE dans des projets industriels? quel processus pour les différentes casquettes de l Informaticien 2.0? quel outils pour quelle tâche? Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 7 / 44
14 Contexte Plan 1 Contexte 2 De la modélisation passive à la modélisation active...! 3 L aspect plate-forme : exemple du projet Medany par Anyware 4 L aspect métier : exemple de l avionique avec Airbus 5 L aspect langage : exemple du projet Topcased 6 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 8 / 44
15 De la modélisation passive à la modélisation active...! Plan 1 Contexte 2 De la modélisation passive à la modélisation active...! 3 L aspect plate-forme : exemple du projet Medany par Anyware 4 L aspect métier : exemple de l avionique avec Airbus 5 L aspect langage : exemple du projet Topcased 6 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 9 / 44
16 De la modélisation passive à la modélisation active...! Etapes d un processus MDE Exemples d étapes dans un processus MDE (1/2) Définition du ou des domaines métiers (métamodélisation) : métamodèle MOF (Ecore,...), contraintes OCL (EMFTools, Kermeta, Topcased...). Définition d un (ou plusieurs) éditeur(s) syntaxique(s) : éditeur graphique (GMF, Topcased...), ET/OU éditeur textuel (EMF Text, xtext...). Définition d un simulateur (métamodélisation exécutable) définir la sémantique comportementale avec un langage d action (Kermeta) de manière à pouvoir exécuter les modèles avec un interpréteur (e.g., pour le debug) Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 10 / 44
17 De la modélisation passive à la modélisation active...! Etapes d un processus MDE Exemples d étapes dans un processus MDE (2/2) Définition d un (ou plusieurs) outils de refactoring définir des transformations endogènes de modèle (avec Kermeta, ATL...) de manière à automatiquement raffiner les modèles, injecter des patrons de conception,... Définition d un (ou plusieurs) générateur(s) de documentation définir des transformations exogènes de modèle à l aide d un langage de transformation (avec Kermeta, ATL...) ou un langage de template (OaW, Acceleo, KET...) de manière à générer automatiquement la documentation ("à la" javadoc). Définition d un (ou plusieurs) compilateur(s) définir des transformations exogènes de modèle à l aide d un langage de transformation (avec Kermeta, ATL...) ou un langage de template (OaW, Acceleo, KET...) de manière à générer pour un modèle le code correspondant dans un autre langage. Mais aussi : model-based testing, pont vers des outils de vérification formelle,... Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 11 / 44
18 De la modélisation passive à la modélisation active...! Les outils du projet Eclipse Modeling Les outils du projet Eclipse Modeling Créé en Mars 2006 Vise à coordonner les différents travaux de la Fondation Eclipse autour de la modélisation projectid=modeling EMF EMFT GMP Amalgam TMF GMT PMF MDT M2T M2M Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 12 / 44
19 De la modélisation passive à la modélisation active...! Les outils du projet Eclipse Modeling EMF : Un canevas logiciel EMF est un (E)canevas logiciel... Dirigé par les modèles, mais implémenté dans un langage Processus de réification IDM Java : Les métamodèles sont représentées par des EClass Les modèles sont représentés par des EObject Génération du code des métamodèles via un... modèle! Les outils de génération ne travaillent pas sur le.ecore Eclipse définit un fichier.genmodel en parallèle : New/ Other/ Eclipse Modeling Framework/ EMF Model On peut customiser le générateur de code! L IDE se charge du maintien de la cohérence (ou pas) Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 13 / 44
20 De la modélisation passive à la modélisation active...! Les outils du projet Eclipse Modeling EMF : Un canevas logiciel Action disponibles sur le métamodèle : 1 Generate Model Code : Classes Java reposant sur EMF 2 Generate Edit Code : Plugin supportant l édition 3 Generate Editor Code : Plugin d édition arborescente 4 Generate Test Code : Plugin de test unitaire Actions disponibles à partir du.genmodel, et dans un EMF Project. Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 14 / 44
21 L aspect plate-forme : exemple du projet Medany par Anyware Plan 1 Contexte 2 De la modélisation passive à la modélisation active...! 3 L aspect plate-forme : exemple du projet Medany par Anyware 4 L aspect métier : exemple de l avionique avec Airbus 5 L aspect langage : exemple du projet Topcased 6 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 15 / 44
22 L aspect plate-forme : exemple du projet Medany par Anyware Le projet Medany : Problématiques Développer des applications pour terminaux mobiles Portables sur différents terminaux Connectables à des appareils externes Evolutives Synchronisables avec un serveur Notification par mail ou sms Gestion du mode connecté/deconnecte Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 16 / 44
23 L aspect plate-forme : exemple du projet Medany par Anyware Le projet Medany : Principes Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 17 / 44
24 L aspect plate-forme : exemple du projet Medany par Anyware Le projet Medany : Approche MDA Plusieurs applications nécessaires : ercp sur le terminal mobile synchronisation (sur le serveur) consultation (sur le serveur) administration (sur le serveur) Centralisation des informations dans un modèle Génération des applications en utilisant un noyau commun Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 18 / 44
25 L aspect plate-forme : exemple du projet Medany par Anyware Le projet Medany : Approche MDA Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 19 / 44
26 L aspect métier : exemple de l avionique avec Airbus Plan 1 Contexte 2 De la modélisation passive à la modélisation active...! 3 L aspect plate-forme : exemple du projet Medany par Anyware 4 L aspect métier : exemple de l avionique avec Airbus 5 L aspect langage : exemple du projet Topcased 6 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 20 / 44
27 L aspect métier : exemple de l avionique avec Airbus Produits Airbus Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 21 / 44
28 L aspect métier : exemple de l avionique avec Airbus Ventilation des activités Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 22 / 44
29 L aspect métier : exemple de l avionique avec Airbus Processus de développement avionique Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 23 / 44
30 L aspect métier : exemple de l avionique avec Airbus Spécifications client formelles Certaines spécifications clients sont écrites dans un formalisme permettant le codage automatique Les formalismes de ce type utilisés par Airbus sont par exemple SAO, LDS, SCADE. Ces spécifications sont suffisamment précises pour permettre une transcription automatique dans le langage utilisé sur le calculateur. Politique Airbus (EYYW) L emploi de ces formalismes permet d importants gains de temps de cycle de de mise au point des systèmes (fourniture d un logiciel dans la journée). EYYW développe pour cela des générateurs de code QUALIFIÉS qui permettent avec le minimum d interventions manuelles d intégrer dans le calculateur un code logiciel rigoureusement conforme à ce qui est décrit par la spécification. EYYW développe pour cela des générateurs de code QUALIFIÉS qui permettent avec le minimum d interventions manuelles d intégrer dans le calculateur un code logiciel rigoureusement conforme à ce qui est décrit par la spécification. Cette conformité s appuie sur la qualification du générateur qui permet de plus de se passer de la phase de test unitaire. Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 24 / 44
31 L aspect métier : exemple de l avionique avec Airbus Générateurs de code qualifiés Pour être qualifié, le générateur de code doit être développé de manière équivalente au code manuel. On retrouve donc les mêmes phase de développement Spécification Conception Intégration Vérification (revues, tests unitaires, tests d intégration) Et les mêmes contraintes réglementaires. Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 25 / 44
32 L aspect métier : exemple de l avionique avec Airbus Quelques filières de développement Modèles fonctionnels : SCADE, Modèles de type événementiels : SDL Specification & Design Language (profil UML/SDL TOPCASED), Découpage fonctionnel : SAM Structured Analysis (TOPCASED SAM, Sildex) Architecture Temps Réel : Sildex, AADL (Topcased), UML + MARTE (Topcased/Papyrus) Architecture logicielle statique : HOOD et maintenant... UML Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 26 / 44
33 L aspect métier : exemple de l avionique avec Airbus Safe MDE concerns Main purpose : Safety critical systems Main approach : formal specification and verification Problems : expressiveness, decidability, completeness, consistency Proposals : domain specific (modeling) languages Needs : easy to access for end users with a simple formal embedding with automatic verification tools with usefull validation and verification results that are accepted by certification authorities methods and tools to ease their development algebraic and logic theoretical fondations proof of transformation and verification correctness links with certification/qualification Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 27 / 44
34 L aspect métier : exemple de l avionique avec Airbus Les modèles chez Airbus La modélisation fait partie intégrante des processus de développement systèmes & logiciels critiques Des points durs : travail en équipe, vérification, introduction de nouvelles méthodes,... Mais de nombreux avantages : aide au développement, excellent outil de communication, maintenabilité accrue, gains de productivité directs & indirects (automatisation, qualité globale),... Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 28 / 44
35 L aspect langage : exemple du projet Topcased Plan 1 Contexte 2 De la modélisation passive à la modélisation active...! 3 L aspect plate-forme : exemple du projet Medany par Anyware 4 L aspect métier : exemple de l avionique avec Airbus 5 L aspect langage : exemple du projet Topcased 6 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 29 / 44
36 L aspect langage : exemple du projet Topcased Problématiques Problématique Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
37 L aspect langage : exemple du projet Topcased Problématiques Problématique Modèle <<représente>> Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
38 L aspect langage : exemple du projet Topcased Problématiques Problématique Langage Modèle <<représente>> Concepteur Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
39 L aspect langage : exemple du projet Topcased Problématiques Problématique vérificateurs générateurs simulateurs éditeur Langage Modèle <<représente>> Concepteur Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
40 L aspect langage : exemple du projet Topcased Problématiques Problématique vérificateurs générateurs simulateurs éditeur Langage Modèle <<représente>> Concepteur <<conformea>> <<représente>> Méta Modèle Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
41 L aspect langage : exemple du projet Topcased Problématiques Problématique DSML = Domain Specific Modeling Language DSML Modèle <<représente>> Concepteur vérificateurs générateurs simulateurs éditeur DSML Modèle <<représente>> Concepteur DSML Modèle <<représente>> Concepteur <<représente>> Modèle DSML Concepteur Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
42 L aspect langage : exemple du projet Topcased Problématiques Problématique vérificateurs générateurs simulateurs éditeur Concepteur DSML Modèle <<représente>> vérificateurs générateurs simulateurs éditeur DSML Modèle <<représente>> Concepteur vérificateurs générateurs simulateurs éditeur DSML Modèle <<représente>> Concepteur vérificateurs générateurs <<représente>> éditeur simulateurs Modèle DSML Concepteur Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
43 L aspect langage : exemple du projet Topcased Problématiques Problématique vérificateurs générateurs simulateurs éditeur Concepteur DSML Modèle <<représente>> vérificateurs générateurs simulateurs éditeur DSML Modèle <<représente>> Concepteur vérificateurs générateurs simulateurs éditeur <<représente>> DSML Modèle Concepteur vérificateurs générateurs simulateurs éditeur DSML Modèle <<représente>> Concepteur Problématique : Comment faciliter le développement des outils de chaque DSML? Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 30 / 44
44 L aspect langage : exemple du projet Topcased Problématiques Exemple de GMF Graphical Modeling Framework Framework facilitant la création d éditeurs graphiques de modèles Cf. Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 31 / 44
45 L aspect langage : exemple du projet Topcased Problématiques Autre contexte industriel Le projet TOPCASED Atelier open source couvrant les différentes phases de développement et intégrant les contraintes de certification Différents langages de modélisation (UML, AADL, SysML, SAM...) Éditeurs graphiques Outils de traçabilité, de génération, de transformation et de V & V Méthode : méta-approches génératives! Site Internet : & Serveur de développement : Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 32 / 44
46 L aspect langage : exemple du projet Topcased Problématiques Définition d un DSML avec l atelier TOPCASED DSML definition Abstract Syntax Concrete Syntax Semantics Domain Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 33 / 44
47 L aspect langage : exemple du projet Topcased Problématiques Définition d un DSML avec l atelier TOPCASED Ecore Editor Process name: String 0..* guidances workdefinitions 0..* WorkDefinition name: String 0..* guidances Guidance content: String linktosuccessor 1 predecessor 0..* successor 0..* 1 linktopredecessor SimplePDL metamodel worksequences 0..* WorkSequence kind: WorkSequenceKind <<enumeration>> WorkSequenceKind finishtostart finishtofinish starttostart starttofinish DSML definition Abstract Syntax Concrete Syntax Semantics Domain Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 33 / 44
48 L aspect langage : exemple du projet Topcased Problématiques Définition d un DSML avec l atelier TOPCASED Ecore Editor Process name: String Editor Generator 0..* guidances workdefinitions 0..* WorkDefinition name: String 0..* guidances Guidance content: String linktosuccessor 1 predecessor 0..* successor 0..* 1 linktopredecessor SimplePDL metamodel worksequences 0..* WorkSequence kind: WorkSequenceKind <<enumeration>> WorkSequenceKind finishtostart finishtofinish starttostart starttofinish DSML definition Abstract Syntax Concrete Syntax Semantics Domain SimplePDL Editor Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 33 / 44
49 L aspect langage : exemple du projet Topcased Problématiques Définition d un DSML avec l atelier TOPCASED Ecore Editor Process name: String Editor Generator 0..* guidances workdefinitions 0..* WorkDefinition name: String 0..* guidances Guidance content: String linktosuccessor 1 predecessor 0..* successor 0..* 1 linktopredecessor SimplePDL metamodel worksequences 0..* WorkSequence kind: WorkSequenceKind <<enumeration>> WorkSequenceKind finishtostart finishtofinish starttostart starttofinish DSML definition Abstract Syntax <<conformsto>> Concrete Syntax Semantics Domain SimplePDL Editor Conception finishtofinish starttostart finishtostart starttostart RédactionDoc Développement RédactionTest finishtofinish SimplePDL model Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 33 / 44
50 L aspect langage : exemple du projet Topcased Problématiques Sémantique comportementale : interpréteur Vs. compilateur MonDSML MonDSML transformation exogène DomaineFormel Metamodèle transformation endogène Règles Metamodèle Structure de données Règles Sémantique opérationnelle + expression naturelle de la sémantique, nécessite de définir les outils (p. ex. de V&V). Sémantique par traduction expression d équivalences sémantiques, + permet de réutiliser les outils du domaine cible. Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 34 / 44
51 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle (Méta-)Approche générative Objectifs Démarche outillée de métamodélisation pour la définition de DSML «exécutable» et des outils de simulation. maîtriser l activité de métamodélisation, offrir des outils génériques ou des approches génératives facilitant la définition de simulateur/animateur dédié, diminuer les coûts. Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 35 / 44
52 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Et dans le temps, ça évolue? Démarche outillée pour la définition d un DSML exécutable Problématiques : Exprimer et structurer les différentes préoccupations de la syntaxe abstraite d un DSML exécutable. Expliciter la sémantique comportementale de référence. Quel domaine? Quel comportement? Quels états possible? Hummm..., finalement, c'est plein de préoccupations la métamodélisation!! Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 36 / 44
53 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Architecture d un DSML exécutable Définition d un langage de modélisation «exécutable» L m =< AS,CS,M ac,sd,m as > où AS = {DDMM, SDMM, EDMM} {TM3} TM3 Trace Management MetaModel <<import>> EDMM Events Definition MetaModel <<merge>> SDMM States Definition MetaModel <<merge>> <<merge>> DDMM Domain Definition MetaModel Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 37 / 44
54 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Trace Management MetaModel <<import>> EDMM Events Definition MetaModel <<merge>> SDMM States Definition MetaModel <<merge>> <<merge>> DDMM Domain Definition MetaModel Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
55 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Trace Management MetaModel <<import>> EDMM SDMM Semantics reactiononev1()... reactiononevn() Events Definition MetaModel <<merge>> <<merge>> DDMM States Definition MetaModel <<merge>> Domain Definition MetaModel Semantics1 Semantics2 reactiononev1()... reactiononevn() reactiononev1()... reactiononevn() Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
56 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Trace Management MetaModel <<import>> EDMM SDMM Semantics reactiononev1()... reactiononevn() Events Definition MetaModel Action Languages <<merge>> <<merge>> DDMM States Definition MetaModel <<merge>> Domain Definition MetaModel Semantics1 Semantics2 reactiononev1()... reactiononevn() reactiononev1()... reactiononevn() Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
57 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Trace Management MetaModel <<import>> EDMM SDMM Semantics reactiononev1()... reactiononevn() Events Definition MetaModel rule reactiononev1 { from.. :... to... :... } <<merge>> <<merge>> DDMM States Definition MetaModel <<merge>> Domain Definition MetaModel Semantics1 Semantics2 reactiononev1()... reactiononevn() reactiononev1()... reactiononevn() Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
58 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Trace Management MetaModel <<import>> EDMM SDMM Semantics reactiononev1()... reactiononevn() Events Definition MetaModel operation reactiononev1 is... <<merge>> <<merge>> DDMM States Definition MetaModel <<merge>> Domain Definition MetaModel Semantics1 Semantics2 reactiononev1()... reactiononevn() reactiononev1()... reactiononevn() Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
59 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Trace Management MetaModel <<import>> EDMM SDMM Semantics reactiononev1()... reactiononevn() Events Definition MetaModel Action Languages <<merge>> <<merge>> DDMM States Definition MetaModel <<merge>> Domain Definition MetaModel Semantics1 Semantics2 reactiononev1()... reactiononevn() reactiononev1()... reactiononevn() Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
60 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Trace Management MetaModel <<import>> EDMM SDMM Semantics reactiononev1()... reactiononevn() Events Definition MetaModel Action Languages <<merge>> <<merge>> DDMM States Definition MetaModel <<merge>> Domain Definition MetaModel Semantics1 Semantics2 reactiononev1()... reactiononevn() reactiononev1()... reactiononevn() Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
61 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Objectifs et approches pour la simulation de modèle TM3 Moteur de simulation & panneau de contrôle Constructeur de scénario Trace Management MetaModel EDMM <<import>> SDMM Animateur Semantics reactiononev1()... reactiononevn() Events Definition MetaModel Action Languages <<merge>> <<merge>> DDMM States Definition MetaModel <<merge>> Domain Definition MetaModel Editeur Semantics1 Semantics2 reactiononev1()... reactiononevn() reactiononev1()... reactiononevn() Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 38 / 44
62 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
63 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor MDDMM Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
64 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
65 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM MEDMM Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
66 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM MEDMM Simulation Engine Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
67 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM MEDMM Simulation Engine Generic Simulation Engine DSML_1 Semantics Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
68 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM MSDMM MEDMM Simulation Engine Generic Simulation Engine DSML_1 Semantics Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
69 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Graphical Animator Scenario Builder MDDMM MSDMM MEDMM Simulation Engine Generic Simulation Engine DSML_1 Semantics Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
70 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Graphical Animator Scenario Builder MDDMM MSDMM MEDMM Simulation Engine Generic Simulation Engine DSML_1 Semantics Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
71 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Graphical Animator Scenario Builder MDDMM MSDMM MEDMM Simulation Engine Generic Simulation Engine DSML_1 Semantics Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
72 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Communication entre les composants Graphical Editor Graphical Animator Control Panel Scenario Builder MDDMM MSDMM MEDMM Simulation Engine Generic Simulation Engine DSML_1 Semantics Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 39 / 44
73 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Simulateur de modèles XSPEM Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 40 / 44
74 L aspect langage : exemple du projet Topcased Exemple de (méta-)approche générative pour la simulation de modèle Simulateur de machines à états UML2.0 Inclus dans l atelier TOPCASED à partir de la version 2.0. Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 41 / 44
75 Conclusion Plan 1 Contexte 2 De la modélisation passive à la modélisation active...! 3 L aspect plate-forme : exemple du projet Medany par Anyware 4 L aspect métier : exemple de l avionique avec Airbus 5 L aspect langage : exemple du projet Topcased 6 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 42 / 44
76 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
77 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
78 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
79 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
80 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
81 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
82 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
83 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
84 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
85 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
86 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
87 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
88 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
89 Conclusion Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 43 / 44
90 Conclusion MDE Pragmatique Benoît Combemale Université de Rennes 1 Équipe-Projet Triskell (IRISA & INRIA) Merci, des questions? Rappel : Conférence d OBEO (27 janv. 11, 14h 15h) Benoît Combemale (Univ. Rennes 1 & IRISA) MDE Pragmatique DIIC3, IM ( ) 44 / 44
openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de
openarchitectureware & transformation de modèle Yannick Lizzi Architecte Logiciel itemis France Mail: lizzi@itemis.de itemis France 2009 All rights reserved 1 Itemis en quelques mots Spécialisé dans l
Plus en détailExtensions à la formation. Laurent Pérochon, 28-30 avril 2008, RMT Modelia, modélisation conceptuelle, formation UML, INRA Castanet Tolosan
Extensions à la formation Diagramme de timing FinEpreuve SautBarrière CourseAvantBarrière SautMur {>2 et 10 et 2 et 10 et
Plus en détailGénérer du code à partir d une description de haut niveau
Cedric Dumoulin Générer du code à partir d une description de haut niveau Ce projet vise à fournir un environnement de développement permettant de modéliser des UI Android à un haut niveau d abstraction,
Plus en détailEtat de l art sur le développement logiciel dirigé par les modèles.
Etat de l art sur le développement logiciel dirigé par les modèles. Samba Diaw* Rédouane Lbath* Bernard Coulette* * Université de Toulouse Laboratoire IRIT Université de Toulouse 2-Le Mirail 5, allées
Plus en détailMEMOIRE. Présenté à L École Nationale d Ingénieurs de Sfax. en vue de l obtention du MASTÈRE INFORMATIQUE NTSID. Par.
République Tunisienne Ministère de l Enseignement Supérieur et de la Recherche Scientifique Université de Sfax École Nationale d Ingénieurs de Sfax Cycle de Formation Doctorale dans la Discipline Informatique
Plus en détailDSL. Domain Specific Language. À l'aide des technologies Eclipse Modeling. Goulwen Le Fur goulwen.lefur@obeo.fr. Le 23 novembre 2012
DSL Domain Specific Language À l'aide des technologies Eclipse Modeling Le 23 novembre 2012 Goulwen Le Fur goulwen.lefur@obeo.fr Le but de cette session Montrer : Ce qu'est-un DSL/DSM Comment implémenter
Plus en détailIngénierie Dirigée par les Modèles. Editeurs de modèles. (Eclipse Modeling Tools) Jean-Philippe Babau
labsticc.univ-brest.fr/pages_perso/babau/ Ingénierie Dirigée par les Modèles Editeurs de modèles (Eclipse Modeling Tools) Jean-Philippe Babau Département Informatique, UFR Sciences, Laboratoire Lab-STICC
Plus en détailEnvironnement logiciel basé sur les modèles pour la conception collaborative de produit
Environnement logiciel basé sur les modèles pour la conception collaborative de produit Mehdi Iraqi-Houssaini Laboratoire LSIS-INSM 2 cours des Arts et Métiers 13100 Aix-en-Provence, France RÉSUMÉ. Le
Plus en détailIngénierie des Modèles. Méta-modélisation
Ingénierie des Modèles Méta-modélisation Eric Cariou Master Technologies de l'internet 2 ème année Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr
Plus en détailRTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détailLa démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*
La démarche MDA Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 1.1-5 Date : Mai 2002 * : Les partenaires du projet ACCORD sont CNAM,
Plus en détailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
Plus en détailREMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION
REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE
Plus en détailObjectif du cours. Outline. Complexité des systèmes modernes. La modélisation et UML dans les activités du Génie Logiciel...
Objectif du cours La modélisation et UML dans les activités du Génie Logiciel... ESIR2, GL (LSI) Benoit Combemale Université de Rennes 1, ESIR & IRISA (Triskell team) Benoit.Combemale@irisa.fr Identifier
Plus en détailMéthodes d évolution de modèle produit dans les systèmes du type PLM
Résumé de thèse étendu Méthodes d évolution de modèle produit dans les systèmes du type PLM Seyed Hamedreza IZADPANAH Table des matières 1. Introduction...2 2. Approche «Ingénierie Dirigée par les Modèles»
Plus en détailGénie logiciel (Un aperçu)
(Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de
Plus en détailIyad Alshabani SysCom - CReSTIC Université de Reims 17/02/2011 1
SysCom - CReSTIC Université de Reims 17/02/2011 1 Motivation Gestion des expérimentations Avec les workflows Simulation Simulation des Systèmes Distribués ANR USS SimGrid Campagne de Test et gestion de
Plus en détailCC30 Certificat de compétence Conception, développement et animation de sites Web
CC30 Certificat de compétence Conception, développement et animation de sites Web UE RSX050 Bases de l informatique Séance 2 UERSX050 Bases de l informatique séance 2-30/10/2009 1 Table des matières Séance
Plus en détailElaboration de processus de développements logiciels spécifiques et orientés modèles : application aux systèmes à évenements discrets
Elaboration de processus de développements logiciels spécifiques et orientés modèles : application aux systèmes à évenements discrets Thomas Collonvillé To cite this version: Thomas Collonvillé. Elaboration
Plus en détailDémarches d urbanisation : réorganiser le Système d Information en structurant ses fonctions dans des blocs fonctionnels communicants.
Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 4 5
Plus en détailVérifica(on et Valida(on de Business Process. Ang Chen et Levi Lúcio
Vérifica(on et Valida(on de Business Process Ang Chen et Levi Lúcio Résumé Méthodologie de développement Architecture & environnement pour le développement des processus mé(er Modèle opéra(onnel Vérifica(on
Plus en détailIntroduction du test dans la modélisation par aspects
Introduction du test dans la modélisation par aspects Jacques Klein 1 Benoit Baudry 1 Olivier Barais 1 Andrew Jackson 2 1 IRISA/INRIA Rennes Université de Rennes 1 Campus Universitaire de Beaulieu F-35042
Plus en détailMaster 2 Pro ALMA Université de Nantes, 2 rue de la Houssinière UFR des Sciences et des Techniques. - Rapport de Stage -
Master 2 Pro ALMA Université de Nantes, 2 rue de la Houssinière UFR des Sciences et des Techniques - Rapport de Stage - Gestions de Systèmes de Systèmes Albin Jossic sous la responsabilité de Jean Bézivin
Plus en détailEclipse et ses plugins de modélisation (EMF GEF GMF). Entrée en matière. par. Jacques Barzic. Avertissement
www.289eme.fr Eclipse et ses plugins de modélisation (EMF GEF GMF). Entrée en matière par Avertissement Cette version incomplète du document (eclipse_emf_gef_gmf_alpha1.0.0, voir date édition ci-dessous)
Plus en détailSynergies entre Artisan Studio et outils PLM
SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits
Plus en détailEclipse Process Framework et Telelogic Harmony/ITSW
Eclipse Process Framework et Telelogic Harmony/ITSW Boris Baldassari 1 Résumé Une introduction à Eclipse Process Framework (EPF) et au processus OpenUP, et comment tirer profit de ces initiatives dans
Plus en détailEditing and managing Systems engineering processes at Snecma
Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués
Plus en détailUn grand merci aux autres membres du jury d avoir accepter et pris le temps d évaluer ma thèse.
À ceux que j aime Remerciement En premier lieu, je souhaite remercier le ministère Algérien de l enseignement supérieur et de la recherche scientifique d avoir financé ma thèse durant ces années et de
Plus en détailEn vue de l obtention du. Discipline : Informatique. Présentée et soutenue par Mohamed HADJ KACEM. Le Jeudi 13 Novembre 2008
THÈSE En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE ET DE L UNIVERSITÉ DE SFAX Délivré par l Université Toulouse III - Paul Sabatier et la Faculté des Sciences Économiques et de Gestion
Plus en détailStage Ingénieur en développement logiciel/modélisation 3D
Ingénieur en développement logiciel/modélisation 3D Schlumberger recrute un(e) stagiaire ingénieur en modélisation 3D pour la plate-forme Petrel. Vous serez intégré(e) au sein d une équipe innovante, Petrel
Plus en détailArchitecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision
INSTITUT D ÉLECTRONIQUE ET DE TÉLÉCOMMUNICATIONS DE RENNES Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision dans les systèmes de
Plus en détailAlignement avec les métiers par le test fonctionnel et d acceptation en projets agiles
Alignement avec les métiers par le test fonctionnel et d acceptation en projets agiles Laurent PY CEO, Smartesting Laurent.py@smartesting.com @py_laurent www.smartesting.com Guillaume Coquelle Testeur,
Plus en détailProblématiques de recherche. Figure Research Agenda for service-oriented computing
Problématiques de recherche 90 Figure Research Agenda for service-oriented computing Conférences dans le domaine ICWS (International Conference on Web Services) Web services specifications and enhancements
Plus en détailDéveloppement d un interpréteur OCL pour une machine virtuelle UML.
ObjeXion Software Prototyping made easy SA au capital de 500 000 F Siret 421 565 565 00015 APE 722Z Téléphone : 03 89 35 70 75 Télécopie : 03 89 35 70 76 L embarcadère 5, rue Gutemberg 68 800 Vieux-Thann,
Plus en détailProjet de développement. Introduction à Eclipse. Application à votre projet. Philippe Collet. Organisation. Cours 1 : principes généraux - svn
1 Organisation Projet de développement Introduction à Eclipse Philippe Collet Licence 3 Informatique Cours 1 : principes généraux - svn Cours 2 : Redmine et gestion de projet Cours 3 : Introduction à Eclipse
Plus en détailEvolution et architecture des systèmes d'information, de l'internet. Impact sur les IDS. IDS2014, Nailloux 26-28/05/2014 pascal.dayre@enseeiht.
Evolution et architecture des systèmes d'information, de l'internet. Impact sur les IDS IDS2014, Nailloux 26-28/05/2014 pascal.dayre@enseeiht.fr 1 MVC et le web 27/05/14 2 L'évolution des systèmes informatiques
Plus en détailUML est-il soluble dans les méthodes agiles?
Pascal ROQUES Valtech Training UML est-il soluble dans les méthodes agiles? octobre 07 Résumé On entend beaucoup parler actuellement de deux approches ayant l'air fondamentalement opposées : l'approche
Plus en détailEnvironnements de développement (intégrés)
Environnements de développement (intégrés) Introduction aux EDI, la plateforme Eclipse Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure
Plus en détailMDA (Model Driven Architecture) principes et états de l art.
CONSERVATOIRE NATIONAL DES ARTS ET MÉTIERS CENTRE D ENSEIGNEMENT DE LYON Examen probatoire du diplôme d ingénieur C.N.A.M. en INFORMATIQUE option ingénierie et intégration informatique : système de conduite
Plus en détailTP3 Intégration de pratiques agiles. 1. User Stories (1) Scénario d intégration agile. En direct-live du château
Rappel TP3 Intégration de pratiques agiles En direct-live du château 40 41 Scénario d intégration agile 1. User Stories (1) 1. Rédiger les User Stories (exigences) 2. Planifier les Itérations (quoi / quand)
Plus en détailen SCÈNE RATIONAL Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com
Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com Fabrice GRELIER fabrice.grelier@fr.ibm.com RATIONAL en SCÈNE 2007 IBM Corporation Objectif
Plus en détailCours en ligne Développement Java pour le web
Cours en ligne Développement Java pour le web We TrainFrance info@wetrainfrance Programme général du cours Développement Java pour le web Module 1 - Programmation J2ee A) Bases de programmation Java Unité
Plus en détailMéthodologies de développement de logiciels de gestion
Méthodologies de développement de logiciels de gestion Chapitre 5 Traits caractéristiques des deux approches de méthodologie Présentation réalisée par P.-A. Sunier Professeur à la HE-Arc de Neuchâtel http://lgl.isnetne.ch
Plus en détailModèles système, modèles logiciel et modèles de code dans les applications spatiales
GÉNIE LOGICIEL N o 97 JUIN 2011 Modèles système, modèles logiciel et modèles de code dans les applications spatiales É RIC C ONQUET, FRANÇOIS-XAVIER D ORMOY, IULIA D RAGOMIR, A LAIN L E G UENNEC, DAVID
Plus en détailINTRODUCTION AUX METHODES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES
INTRODUCTION AUX METHODES D INGENIERIE DES DONNEES DIRIGEE PAR LES MODELES Les contenus de ce document sont la propriété exclusive de la société REVER. Ils ne sont transmis qu à titre d information et
Plus en détail1. Plan. 1. Plan...1 2. Information essentielles...2
Frédéric Fondement Curriculum Vitæ détaillé 1. Plan 1. Plan...1 2. Information essentielles...2 2.1. Résumé...2 2.2. Informations essentielles...2 2.3. Titres universitaires...4 2.4. Parcours professionnel...6
Plus en détailIngénierie et gestion des connaissances
Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie
Plus en détailTHÈSE. Présentée à. L Université Paris VIII. Pour obtenir le grade de DOCTEUR DE L UNIVERSITE DE PARIS VIII. Spécialité INFORMATIQUE
THÈSE Présentée à L Université Paris VIII Pour obtenir le grade de DOCTEUR DE L UNIVERSITE DE PARIS VIII Spécialité INFORMATIQUE Préparée au Laboratoire d Informatique Avancée de Saint-Denis (LIASD) Dans
Plus en détailSpécification et transformation de langages de points de vue des systèmes répartis ouverts
UNIVERSITE MOHAMMED V AGDAL FACULTE DES SCIENCES Service des affaires estudiantines RABAT N d ordre : 2479 Discipline : Informatique Spécialité : Systèmes répartis et réseaux THÈSE DE DOCTORAT Présentée
Plus en détailDescription de la formation
Description de la formation Modalités Ce parcours de formation est un parcours en alternance, d une durée de 2ans, à raison d une semaine de formation par mois, soit 770 heures et de trois semaines de
Plus en détailFormula Negator, Outil de négation de formule.
Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente
Plus en détailTHESE. DOCTORAT EN SCIENCES APPLIQUEES Spécialité : Informatique
mi Université Mohamed V- Souissi Rabat Ecole Nationale Supérieure d Informatique et d Analyse des Systèmes Numéro d ordre : ---- UFR : Systèmes d Information Métiers, Multimédia et Mobiles (SI3M) -ENSIAS-
Plus en détailCycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language
Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric
Plus en détailObjecteering. La convergence SOA, UML2, BPMN, EA, pour le développement guidé par le modèle. www.objecteering.com
Objecteering La convergence SOA, UML2, BPMN, EA, pour le développement guidé par le modèle Pour les Systèmes d information : SOA, UML2, BPMN, EA, MDA Pour les Systèmes techniques : UML2, SysML, MDA www.objecteering.com
Plus en détailConcepts clés associés aux outils logiciels, exemples
Chercheurs, les outils logiciels :: une voie originale pour valoriser votre expertise et et vos compétences!! Concepts clés associés aux outils logiciels, exemples Jeudi 2 octobre 2008 Gilles Bézard ICAM
Plus en détailProjet de développement
Projet de développement Introduction à Eclipse Philippe Collet Licence 3 MIAGE S6 2012-2013 http://miageprojet2.unice.fr/index.php?title=user:philippecollet/projet_de_développement_2012-2013 Plan r Application
Plus en détailUn environnement de déploiement automatique pour les applications à base de composants
ICSSEA 2002-7 Lestideau Un environnement de déploiement automatique pour les applications à base de composants Vincent Lestideau Adele Team Bat C LSR-IMAG, 220 rue de la chimie Domaine Universitaire, BP
Plus en détailGouvernance IT : par où commencer? Hubert Lalanne DE, Chief Architect for Industries IBM Software France
Conférence IDC Gouvernance IT - Paris 6 Avril 2011 Gouvernance IT : par où commencer? Hubert Lalanne DE, Chief Architect for Industries IBM Software France 2011 IBM Corporation Quels sont les ingrédients
Plus en détailPrincipes. 2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA. Programmation en Corba. Stéphane Vialle
2A-SI 3 Prog. réseau et systèmes distribués 3. 3 Programmation en CORBA Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle 1 Principes 2 Architecture 3 4 Aperçu d utilisation
Plus en détailVérifier la qualité de vos applications logicielle de manière continue
IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions
Plus en détailDES SYSTÈMES D INFORMATION
URBANISATION & CONCEPTION DES SYSTÈMES D INFORMATION Le concept d urbanisation repose sur une analogie connue entre le Système d Information (SI) et la ville, dans lesquels interviennent tour à tour urbanistes
Plus en détailModelio by Modeliosoft
Modelio by Modeliosoft Solutions d entreprise basées sur l atelier leader de modélisation open source Modelio (modelio.org) L atelier de modélisation open source de référence Une solution sur étagère,
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détailComposants Logiciels. Le modèle de composant de CORBA. Plan
Composants Logiciels Christian Pérez Le modèle de composant de CORBA Année 2010-11 1 Plan Un rapide tour d horizon de CORBA 2 Introduction au modèle de composant de CORBA Définition de composants CORBA
Plus en détailCours Bases de données
Informations sur le cours Cours Bases de données 9 (10) séances de 3h Polycopié (Cours + TD/TP) 3 année (MISI) Antoine Cornuéjols www.lri.fr/~antoine antoine.cornuejols@agroparistech.fr Transparents Disponibles
Plus en détailL approche Model-Driven Architecture, crédible pour développer un progiciel de
ÉCOLE DOCTORALE SYSTÈMES L approche Model-Driven Architecture, crédible pour développer un progiciel de gestion intégré Mémoire de DEA Systèmes Industriels Tuteur : Paul Gaborit Xavier Moghrabi Année universitaire
Plus en détailChapitre 5 Vision Informatique Logique Architectures Applicative et Logicielle
Chapitre 5 Vision Informatique Logique Architectures Applicative et Logicielle NFE107 Chapitre 5 Vision Informatique Logique Architectures Applicative et Logicielle 5.1 Introduction Positionnement de la
Plus en détailExemple de projet et réseau: modélisation et simulation des systèmes socio-environnementaux
Exemple de projet et réseau: modélisation et simulation des systèmes socio-environnementaux Jean-Pierre Müller Cadre scientifique CIRAD-ES-GREEN 1 Plan de présentation D où on part (parle) L objet de recherche
Plus en détailpythonocc: une plateforme de développement agile d applications CAO.
pythonocc: une plateforme de développement agile d applications CAO. PyConFR 2009 Cité des Sciences et de l Industrie, Paris Thomas Paviot*, Jelle Feringa* *pythonocc project: tpaviot@gmail.com; jelleferinga@gmail.com
Plus en détailIntroduction à la modélisation
Formation INRA-ACTA-ICTA Introduction à la modélisation Les modèles mathématiques pour l agronomie et l élevage 2 nde session, du 28 novembre au 1 er décembre 2005 - Informatique et modèles - Nathalie
Plus en détailTHESE. Préparée dans le cadre d une cotutelle entre l UNIVERSITÉ DE GRENOBLE et l UNIVERSITÉ POLYTECHNIQUE DE BUCAREST
UNIVERSITÉ DE GRENOBLE UNIVERSITÉ POLYTECHNIQUE DE BUCAREST THESE Pour obtenir les grades de DOCTEUR DE L UNIVERSITÉ DE GRENOBLE et DOCTEUR DE L UNIVERSITÉ POLYTECHNIQUE DE BUCAREST Spécialité : Informatique
Plus en détailIntégration d un ERP guidée par les modèles
Intégration d un ERP guidée par les modèles (Model Driven ERP Implementation) Projet ISNet 89 Octobre 2005 Contributeurs : Gil Gaillard & Philippe Dugerdil (HEG) o Partie théorique & implantation Adonix
Plus en détailÉCOLE DE TECHNOLOGIE SUPÉRIEURE UNIVERSITÉ DU QUÉBEC THÈSE PRÉSENTÉE À L ÉCOLE DE TECHNOLOGIE SUPÉRIEURE
ÉCOLE DE TECHNOLOGIE SUPÉRIEURE UNIVERSITÉ DU QUÉBEC THÈSE PRÉSENTÉE À L ÉCOLE DE TECHNOLOGIE SUPÉRIEURE COMME EXIGENCE PARTIELLE À L OBTENTION DU DOCTORAT EN GÉNIE Ph.D. PAR Samir KHERRAF MÉTHODOLOGIE
Plus en détailMéthode B pour la Spécification et la vérification formelle des systèmes répartis ouverts
UNIVERSITE MOHAMMED V AGDAL FACULTE DES SCIENCES Service des affaires estudiantines RABAT N d ordre : 2577 THÈSE DE DOCTORAT Discipline : Informatique Spécialité : Systèmes répartis ouverts Hafid BELHAJ
Plus en détailCompleted Projects / Projets terminés
Completed Projects / Projets terminés Nouvelles normes Nouvelles éditions Publications spéciales publiées en français CAN/CSA-ISO/CEI 10164-9-97 (C2001), 1 re édition Technologies de l information Interconnexion
Plus en détailIndustrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational
IBM Software Group Industrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational Fernard Bonaguidi fernand.bonaguidi@fr.ibm.com
Plus en détailINDUSTRIALISATION ET RATIONALISATION
INDUSTRIALISATION ET RATIONALISATION A. LA PROBLEMATIQUE La mission de toute production informatique est de délivrer le service attendu par les utilisateurs. Ce service se compose de résultats de traitements
Plus en détailCommentaires du testeur
Scénarios de tests d'intégration/fonctionnels Partenaire : Nom de l'outil : Date test : 24/04/2009 Cellule d'intégration + Triskell OpenEmbeDD Logo Demo Version de l'outil : OpenEmbeDD 1.0.0 Titan Plateforme
Plus en détail1-Introduction 2. 2-Installation de JBPM 3. 2-JBPM en action.7
Sommaire 1-Introduction 2 1-1- BPM (Business Process Management)..2 1-2 J-Boss JBPM 2 2-Installation de JBPM 3 2-1 Architecture de JOBSS JBPM 3 2-2 Installation du moteur JBoss JBPM et le serveur d application
Plus en détailRetour d expériences avec UML
Retour d expériences avec UML UML pour les systèmes biologiques Marie-Hélène Moirez-Charron, UMR AGIR, équipe MAGE INRA Toulouse mailto:marie-helene.charron@toulouse.inra.fr PLAN Contexte de travail UML,
Plus en détailDéveloppement ebusiness
Développement ebusiness Cédric Pulrulczyk ( cedric.pulrulczyk@alcatel.fr ) Alcatel Université Lille I March 2005 Plan Analyse des besoins Méthodologie XP Modélisation UML Outil de développement Tests et
Plus en détailTHÈSE. En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE. Présentée et soutenue le 11/07/2013 par :
THÈSE En vue de l obtention du DOCTORAT DE L UNIVERSITÉ DE TOULOUSE Délivré par : l Institut National Polytechnique de Toulouse (INP Toulouse) Présentée et soutenue le 11/07/2013 par : Mounira KEZADRI
Plus en détailVers un outil d aide à la gestion des risques dans les chaînes logistiques : les bases conceptuelles
Vers un outil d aide à la gestion des risques dans les chaînes logistiques : les bases conceptuelles Pierre DAVID, Gülgün ALPAN, Delara SALEH EBRAHIMI & Saleh Eddine BEN JBARA Laboratoire G-SCOP 46, av
Plus en détailL'année méthodologique internationale
L'année méthodologique internationale Présenté par Philippe Desfray info@praxeme.org http:// SYD-PhD 1.0 Référence Version Objectif de la présentation sur l'état de l'art en méthodologie et en architecture
Plus en détailL'agilité appliquée à nous-mêmes. Philippe Krief, PhD Development Manager IBM France Lab
L'agilité appliquée à nous-mêmes Philippe Krief, PhD Development Manager IBM France Lab Agenda Où en était l équipe RPP il y a 24 mois Réorganisation de l équipe et du projet autour de Scrum et de RTC
Plus en détailUne architecture pour les transformations de modèles et la restructuration de modèles uml
N d ordre : 3088 THÈSE présentée devant l Université de Rennes 1 pour obtenir le grade de Docteur de l Université de Rennes 1 Mention Informatique par Damien Pollet Équipe d accueil : Triskell Irisa École
Plus en détailModélisation des processus métiers et standardisation
Modélisation des processus métiers et standardisation Table des matières Introduction... 3 Processus métier : un même mot, plusieurs domaines d application... 4 Les défis contemporains de la gestion des
Plus en détailSuzy Hélène Germaine TEMATE NGAFFO
Institut National Polytechnique de Toulouse(INP Toulouse) Réseaux, Télécommunications, Systèmes et Architecture- RTSA Suzy Hélène Germaine TEMATE NGAFFO lundi 12 novembre 2012 Des langages de modélisation
Plus en détailProgrammation de services en téléphonie sur IP
Programmation de services en téléphonie sur IP Présentation de projet mémoire Grégory Estienne Sous la supervision du Dr. Luigi Logrippo Introduction La téléphonie sur IP comme support à la programmation
Plus en détail[Projet S9] Rédacteurs & Contributeurs Entité Rédacteurs Contributeurs Imededdine HOSNI Olivier MARTY. Validation du document Nom Date Visa
[Projet S9] Rédacteurs & Contributeurs Entité Rédacteurs Contributeurs Imededdine HOSNI Olivier MARTY Organisme ou entreprise Validation du document Nom Date Visa Amel LIMAM Organisme ou entreprise Approbation
Plus en détailObjectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui
Formation PARTIE 1 : ARCHITECTURE APPLICATIVE DUREE : 5 h Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui automatisent les fonctions Définir une architecture
Plus en détailIngénierie Dirigée par les Modèles
Ingénierie Dirigée par les Modèles INSA Rennes, Booklet 2009 2010 Benoît Combemale Université de Rennes 1, Triskell (INRIA & IRISA) Campus de Beaulieu, F-35000 Rennes benoit.combemale@irisa.fr Table des
Plus en détailIntégration de produits mécatroniques au sein d un système PLM
Intégration de produits mécatroniques au sein d un système PLM HOUSSEM ABID 1, MADY GUILLEMOT 1, DIDIER NOTERMAN 1, PHILIPPE PERNELLE 2 1 Laboratoire DISP, INSA Lyon 69100, France {houssem.abid,mady.guillmot,didier.noterman}@insa-lyon.fr
Plus en détailLe cadre de conception est présenté sous forme d une matrice 6x6 avec les interrogations en colonne et les éléments de réification en ligne.
Plan du chapitre 1 Au commencement ZACHMAN Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 02 Panorama des démarches et cadres de référence 2 CIGREF 3
Plus en détailCatalogue de Pattern pour le CSCW
Catalogue de Pattern pour le CSCW La création d application dans le cadre du CSCW (Computer Supported Cooperative Work), ou TCAO en français (Travail collaboratif assisté par ordinateur) a donné lieu à
Plus en détailForthcoming Database
DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of
Plus en détail- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK
ArchiMate et l architecture d entreprise Par Julien Allaire Ordre du jour Présentation du langage ArchiMate - Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK Présentation du modèle
Plus en détailInformation utiles. cinzia.digiusto@gmail.com. webpage : Google+ : http://www.ibisc.univ-evry.fr/ digiusto/
Systèmes de gestion de bases de données Introduction Université d Evry Val d Essonne, IBISC utiles email : cinzia.digiusto@gmail.com webpage : http://www.ibisc.univ-evry.fr/ digiusto/ Google+ : https://plus.google.com/u/0/b/103572780965897723237/
Plus en détailDotNet. Plan. Les outils de développement
DotNet Les outils de développement Version 1.03 du 16/10/2006 par Jacky Renno Plan La machine virtuelle Le kit de développement Le kit de langage Le Visual Studio.NET Le serveur web IIS 6.0 Le modeleur
Plus en détailLogiciel Libre Cours 3 Fondements: Génie Logiciel
Logiciel Libre Cours 3 Fondements: Génie Logiciel Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot 2013 2014 URL http://upsilon.cc/zack/teaching/1314/freesoftware/
Plus en détail