Approche de métamodélisation pour la simulation et la vérification de modèle
|
|
|
- Sylvie Raymond
- il y a 8 ans
- Total affichages :
Transcription
1 Soutenance de thèse Approche de métamodélisation pour la simulation et la vérification de modèle Application à l ingénierie des procédés Benoît Combemale Institut de Recherche en Informatique de Toulouse (CNRS UMR 5505) Université de Toulouse, France. Encadrant : Xavier Crégut Directeurs : Patrick Sallé et Bernard Coulette Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
2 Contexte Contexte scientifique Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
3 Contexte Contexte scientifique Modèle <<représente>> Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
4 Contexte Contexte scientifique Langage Modèle <<représente>> Concepteur Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
5 Contexte Contexte scientifique vérificateurs générateurs simulateurs éditeur Langage Modèle <<représente>> Concepteur Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
6 Contexte Contexte scientifique vérificateurs générateurs simulateurs éditeur Langage Modèle <<représente>> Concepteur <<conformea>> <<représente>> Méta Modèle Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
7 Contexte Contexte scientifique 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
8 Contexte Contexte scientifique 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
9 Contexte Contexte scientifique 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 Objectif de la thèse : Démarche outillée de métamodélisation pour la simulation et la vérification de modèle. Problématique : Comment exprimer la sémantique comportementale d un DSML et offrir les outils de méta-niveau pour faciliter la définition de simulateurs et de vérificateurs de modèle. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
10 Contexte Contexte applicatif 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 Application : démarche et outils de méta-niveau pour la définition de simulateurs et de vérificateurs de modèle pour les langages actuels et futurs de l atelier Site Internet : & Serveur de développement : Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
11 Contexte Contexte applicatif académique L ingénierie des procédés de développement Conception finishtofinish starttostart finishtostart starttostart RédactionDoc Développement RédactionTest finishtofinish La maîtrise d un procédé s apparente à celle du logiciel [Osterweil87, Estublier05] Différents langages de modélisation de procédés (p. ex. SPEM de l OMG) Et l exécution? Application : définir une extension du standard SPEM permettant la simulation et la vérification de procédés. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
12 Contexte Plan 1 Contexte 2 Vers une opérationalisation des modèles dans l IDM La métamodélisation Définition de la sémantique d exécution d un DSML 3 Contributions pour la simulation et la vérification de modèle Démarche outillée pour la définition d un DSML exécutable Cadre générique pour la définition de simulateurs de modèle Approche par traduction pour la vérification de modèle Cadre formel pour la métamodélisation 4 Conclusion & perspectives Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
13 Vers une opérationalisation des modèles dans l IDM Plan 1 Contexte 2 Vers une opérationalisation des modèles dans l IDM La métamodélisation Définition de la sémantique d exécution d un DSML 3 Contributions pour la simulation et la vérification de modèle Démarche outillée pour la définition d un DSML exécutable Cadre générique pour la définition de simulateurs de modèle Approche par traduction pour la vérification de modèle Cadre formel pour la métamodélisation 4 Conclusion & perspectives Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
14 Vers une opérationalisation des modèles dans l IDM La métamodélisation La métamodélisation Définition d un DSML, illustrée avec l atelier TOPCASED DSML definition Abstract Syntax Concrete Syntax Semantics Domain Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
15 Vers une opérationalisation des modèles dans l IDM La métamodélisation La métamodélisation Définition d un DSML, illustrée 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
16 Vers une opérationalisation des modèles dans l IDM La métamodélisation La métamodélisation Définition d un DSML, illustrée 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
17 Vers une opérationalisation des modèles dans l IDM La métamodélisation La métamodélisation Définition d un DSML, illustrée 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
18 Vers une opérationalisation des modèles dans l IDM Définition de la sémantique d exécution d un DSML Taxonomie des sémantiques dans l IDM int x; void decr () { if ( x>0 ) x = x 1; } System x : Int decr() Abstraite Concrète Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
19 Vers une opérationalisation des modèles dans l IDM Définition de la sémantique d exécution d un DSML Taxonomie des sémantiques dans l IDM int x; void decr () { if ( x>0 ) x = x 1; } Sémantique axiomatique context System::decr() post : self.x = if ( self.x@pre > 0 ) then self.x@pre 1 else self.x@pre endif System x : Int decr() Abstraite Axiomatique Concrète Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
20 Vers une opérationalisation des modèles dans l IDM Définition de la sémantique d exécution d un DSML Taxonomie des sémantiques dans l IDM int x; void decr () { if ( x>0 ) x = x 1; } Sémantique axiomatique context System::decr() post : self.x = if ( self.x@pre > 0 ) then self.x@pre 1 else self.x@pre endif System x : Int decr() Sémantique dénotationnelle (i.e. par traduction) x decr Abstraite Axiomatique Dénotationelle Concrète Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
21 Vers une opérationalisation des modèles dans l IDM Définition de la sémantique d exécution d un DSML Taxonomie des sémantiques dans l IDM int x; void decr () { if ( x>0 ) x = x 1; } Sémantique axiomatique context System::decr() post : self.x = if ( self.x@pre > 0 ) then self.x@pre 1 else self.x@pre endif System x : Int decr() Sémantique dénotationnelle (i.e. par traduction) x decr Sémantique opérationnelle (i.e. langage d action) operation decr () is do if x > 0 then x = x 1 end Abstraite Axiomatique Dénotationelle Opérationnelle Concrète Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
22 Vers une opérationalisation des modèles dans l IDM Définition de la sémantique d exécution d un DSML Sémantique opérationnelle et sémantique par traduction MonDSML transformation exogène MonDSML DomaineFormel Metamodèle transformation endogène Règles Metamodèle Structure de données Règles Sémantique opérationnelle Sémantique par traduction + expression naturelle de la sémantique, nécessite de définir les outils (p. ex. de V&V). expression d équivalences sémantiques, + permet de réutiliser les outils du domaine cible. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
23 Plan 1 Contexte 2 Vers une opérationalisation des modèles dans l IDM La métamodélisation Définition de la sémantique d exécution d un DSML 3 Contributions pour la simulation et la vérification de modèle Démarche outillée pour la définition d un DSML exécutable Cadre générique pour la définition de simulateurs de modèle Approche par traduction pour la vérification de modèle Cadre formel pour la métamodélisation 4 Conclusion & perspectives Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
24 Approche de métamodélisation Définition de la syntaxe abstraite pour la simulation et la vérification FinishToStart FinishToStart FinishToStart Simulation de modèle par animation Vérification dynamique de modèle par model-checking Formalisation d'un DSML exécutable Objectifs : Démarche outillée de métamodélisation pour la définition de DSML «exécutable» et des outils de validation et vérification. maîtriser l activité de métamodélisation, diminuer les coûts, offrir des outils génériques ou des approches génératives. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
25 Démarche outillée pour la définition d un DSML exécutable Démarche outillée pour la définition d un DSML exécutable Définition de la syntaxe abstraite pour la simulation et la vérification FinishToStart FinishToStart FinishToStart Simulation de modèle par animation Vérification dynamique de modèle par model-checking Formalisation 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. Illustré par la définition d XSPEM, une extension exécutable de SPEM2.0 Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
26 Démarche outillée pour la définition d un DSML exécutable Domain Definition MetaModel (DDMM) Définition (DDMM) Décrit les informations structurelles du système Objectif Retranscrire la connaissance des experts sur un domaine particulier. capture les concepts et les contraintes métiers, décrit la structure de données des modèles. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
27 Démarche outillée pour la définition d un DSML exécutable Domain Definition MetaModel (DDMM) de XSPEM xspem_projectcharacteristics ProcessPerformerMap charge: Int RoleUse occurencenb: Int Activity min_time: Int max_time: Int xspem_core WorkDefinitionPerformerMap ProcessPerformerMap 1 mappedworkdefinition WorkDefinition Activity <<merge>> WorkDefinitionParameter direction: ParameterDirectionKind 0..* ownedparameter ProcessParameter 0..* nestedbreakdownelement BreakdownElement 1..* mappedroleuse RoleUse WorkBreakdownElement 0..1 parametertype WorkProductUse <<enumeration>> WorkSequenceKind finishtostart finishtofinish starttostart starttofinish <<enumeration>> ParameterDirectionKind in out inout successor 1 predecessor 1 0..* 0..* linktopredecessor linktosuccessor WorkSequence linkkind: WorkSequenceKind Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
28 Démarche outillée pour la définition d un DSML exécutable States Definition MetaModel (SDMM) Définition (SDMM) Métamodèle complémentaire au DDMM qui : capture les informations dynamiques caractérise l ensemble des états observables possibles du modèle Difficulté : définir le «bon» niveau d abstraction des informations dynamiques. Approche Prendre en compte les questions de l expert sur l exécution pour définir les états et événements observables (souhaités). spécifier le comportement en utilisant un langage d expression de contraintes temporelles. Promotion de TOCL (Gogolla & al., 2002) au niveau de Ecore, Définition du modèle de propriétés pour chaque DSML. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
29 Démarche outillée pour la définition d un DSML exécutable States Definition MetaModel (SDMM) de XSPEM "toute activité non optionnelle doit démarrer", "chaque activité non optionnelle doit être réalisée dans l intervalle de temps tmin et tmax". xspem_processobservability Activity state: ActivityState time: ActivityTime <<enumeration>> ActivityTime ok toolate tooearly <<enumeration>> ActivityState notstarted started suspended finished xspem_core <<merge>> <<merge>> xspem_projectcharacteristics Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
30 Démarche outillée pour la définition d un DSML exécutable Events Definition MetaModel (EDMM) Définition Métamodèle décrivant les événements (et leurs paramètres) qui font évoluer l exécution du système. Comportement de XSPEM (Activity) Soit a une activité, ws a.predecessor, (ws.linkkind = starttostart && ws.linktopredecessor.state = started) (ws.linkkind = finishtostart && ws.linktopredecessor.state = finished) StartActivity notstarted, ok, clock started, ok, 0 Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
31 Démarche outillée pour la définition d un DSML exécutable Events Definition MetaModel (EDMM) de XSPEM xspem_eventdescriptions Event ActivityEvent 1 Activity StartActivity FinishActivity RepeatActivity xspem_processobservability <<merge>> SuspendActivity ResumeActivity <<merge>> xspem_projectcharacteristics xspem_core <<merge>> <<merge>> Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
32 Démarche outillée pour la définition d un DSML exécutable Trace Management MetaModel (TM3) TM3 1 * Scenario Trace xspem_eventdescriptions Event {ordered} * * {ordered} Event kind: EventKind <<enumeration>> EventKind endogenous exogenous 0..1 cause xspem_processobservability <<import>> <<merge>> ActivityEvent Activity 1 StartActivity FinishActivity RepeatActivity SuspendActivity ResumeActivity <<merge>> xspem_projectcharacteristics xspem_core <<merge>> <<merge>> Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
33 Démarche outillée pour la définition d un DSML exécutable 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
34 Cadre générique pour la définition de simulateurs de modèle Cadre générique pour la définition de simulateurs de modèle Définition de la syntaxe abstraite pour la simulation et la vérification FinishToStart FinishToStart FinishToStart Simulation de modèle par animation Vérification dynamique de modèle par model-checking Formalisation d'un DSML exécutable Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
35 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
36 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
37 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
38 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
39 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
40 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
41 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
42 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
43 Cadre générique pour la définition de simulateurs de modèle Communication entre les composants Graphical Editor Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
44 Cadre générique pour la définition de simulateurs de modèle Communication entre les composants Graphical Editor MDDMM Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
45 Cadre générique pour la définition de simulateurs de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
46 Cadre générique pour la définition de simulateurs de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM MEDMM Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
47 Cadre générique pour la définition de simulateurs de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM MEDMM Simulation Engine Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
48 Cadre générique pour la définition de simulateurs de modèle Communication entre les composants Graphical Editor Scenario Builder MDDMM MEDMM Simulation Engine Generic Simulation Engine DSML_1 Semantics Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
49 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
50 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
51 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
52 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
53 Cadre générique pour la définition de simulateurs 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 (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
54 Cadre générique pour la définition de simulateurs de modèle Simulateur de modèles XSPEM Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
55 Cadre générique pour la définition de simulateurs de modèle Simulateur de machines à états UML2.0 Inclus dans l atelier TOPCASED à partir de la version 2.0. Synchronisé avec la version Ganymede d Eclipse : aujourd hui! Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
56 Approche par traduction pour la vérification de modèle Approche par traduction pour la vérification de modèle Définition de la syntaxe abstraite pour la simulation et la vérification FinishToStart FinishToStart FinishToStart Simulation de modèle par animation Vérification dynamique de modèle par model-checking Formalisation d'un DSML exécutable Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
57 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle xspem.ecore Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
58 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle xspem.ecore <<conformsto>> myprocess.xspem myprocess.net Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
59 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle xspem.ecore PetriNet.ecore <<conformsto>> <<conformsto>> myprocess.xspem myprocess.petrinet myprocess.net Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
60 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle xspem.ecore PetriNet.ecore <<conformsto>> xspem2 PetriNet.atl ATL (M2M) <<conformsto>> myprocess.xspem myprocess.petrinet myprocess.net Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
61 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle xspem.ecore PetriNet.ecore <<conformsto>> xspem2 PetriNet.atl ATL (M2M) <<conformsto>> Tina.tcs TCS myprocess.xspem myprocess.petrinet myprocess.net Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
62 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle DDMM: réseau de Petri (RdP) SDMM: marquage du RdP EDMM: preuve de bisimulation xspem.ecore PetriNet.ecore <<conformsto>> xspem2 PetriNet.atl ATL (M2M) <<conformsto>> Tina.tcs TCS myprocess.xspem myprocess.petrinet myprocess.net Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
63 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle DDMM: réseau de Petri (RdP) SDMM: marquage du RdP EDMM: preuve de bisimulation xspem.ecore PetriNet.ecore <<conformsto>> xspem2 PetriNet.atl ATL (M2M) <<conformsto>> Tina.tcs TCS myprocess.xspem myprocess.petrinet myprocess.net Tina Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
64 Approche par traduction pour la vérification de modèle Démarche générale pour la vérification de modèle DDMM: réseau de Petri (RdP) SDMM: marquage du RdP EDMM: preuve de bisimulation TOCL.ecore xspem.ecore PetriNet.ecore <<conformsto>> <<conformsto>> xspem2 PetriNet.atl ATL (M2M) <<conformsto>> Tina.tcs TCS properties.tocl <<use>> myprocess.xspem <<dependon>> TOCL2 LTL.atl ATL (M2T) myprocess.petrinet myprocess.net Tina properties.ltl Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
65 Cadre formel pour la métamodélisation Cadre formel pour la métamodélisation Définition de la syntaxe abstraite pour la simulation et la vérification FinishToStart FinishToStart FinishToStart Simulation de modèle par animation Vérification dynamique de modèle par model-checking Formalisation d'un DSML exécutable Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
66 Cadre formel pour la métamodélisation Cadre formel pour la métamodélisation Objectif : formaliser la sémantique comportementale de référence valider les sémantiques par traduction, engendrer les sémantiques opérationnelles. Approche : définition d un framework, basé sur un outil formel comme l assistant de preuve COQ, permettant de : traduire de manière transparente et automatiquement la syntaxe abstraite (en MOF) et la sémantique statique (en OCL) d un DSML, définir la sémantique opérationnelle d un DSML (sémantique de référence). Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
67 Cadre formel pour la métamodélisation Travaux relatifs : Jouault & Bézivin [FMOODS 06] Notion de ReferenceModel «Un modèle est conforme à un modèle de référence» «Un modèle de référence est un modèle» un ReferenceModel est conforme à un ReferenceModel, un ReferenceModel initial doit être réflexif. Illustré par la formalisation de KM3 Implanté en Prolog 1 conformsto conformsto 1 MetaModel ReferenceModel self.conformsto. ocliskindof(metametamodel) * * Model ReferenceModel Model MetaMetaModel TerminalModel self.conformsto = self Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
68 Cadre formel pour la métamodélisation Description intuitive de COQ4MDE Modèle (MODEL) et classe de modèles (MODELCLASS) MODELCLASS ( concepts, relations, semantique ) : langage de modélisation permettant de définir une famille de modèles, spécifie les propriétés sémantiques de ces modèles. MODEL ( objets, liens ) : le niveau des instances. promotionof 0..1 Model (M) ModelClass (MC) conformsto(m:m) : Bool 1..* conformsto Un modèle est conforme à une ou plusieurs classe(s) de modèles. Une classe de modèles est obtenue directement ou par promotion. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
69 Cadre formel pour la métamodélisation Formalisation de XSPEM NamedElement name: String Type type 1 TypedElement DataType Boolean String Natural! Class isabstract: Boolean = false 0..* superclass owner {ordered} 0..* ownedattribute Property lower: Natural! = 1 upper : Natural! = 1 isordered : Boolean = false iscomposite: Boolean = false default: String = "" 0..1 opposite Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
70 Cadre formel pour la métamodélisation Formalisation de XSPEM NamedElement name: String Type type 1 TypedElement DataType Boolean String Natural! Class isabstract: Boolean = false 0..* superclass owner {ordered} 0..* ownedattribute Property lower: Natural! = 1 upper : Natural! = 1 isordered : Boolean = false iscomposite: Boolean = false default: String = "" 0..1 opposite <<conformsto>> : Class name = "Activity" ownedattribute type superclass : Property name = "ownedparameter" iscomposite = true lower = 0 upper = * : Class name = "WorkBreakdownElement" isabstract = true : Class name = "Parameter" ownedattribute : Property name = "parametertype" type : Class name = "Resource" Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
71 Cadre formel pour la métamodélisation Formalisation de XSPEM NamedElement name: String Type type 1 TypedElement Activity 0..* Parameter DataType Boolean String Natural! Class isabstract: Boolean = false 0..* superclass owner {ordered} 0..* ownedattribute Property lower: Natural! = 1 upper : Natural! = 1 isordered : Boolean = false iscomposite: Boolean = false default: String = "" 0..1 opposite ownedparameter parametertype 1 WorkBreakdownElement Resource <<conformsto>> <<promotionof>> : Class name = "Activity" ownedattribute type superclass : Property name = "ownedparameter" iscomposite = true lower = 0 upper = * : Class name = "WorkBreakdownElement" isabstract = true : Class name = "Parameter" ownedattribute : Property name = "parametertype" type : Class name = "Resource" Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
72 Cadre formel pour la métamodélisation Évaluation de COQ4MDE Formalisation de la classe de modèles EMOF_Core (MC MOF ). MOF:MC Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
73 Cadre formel pour la métamodélisation Évaluation de COQ4MDE Formalisation de la classe de modèles EMOF_Core (MC MOF ). Vérification de la métacircularité de EMOF_Core : définition du modèle M MOF conforme à MC MOF et de la promotion P, t. q. : P(M MOF ) = MC MOF MOF:M <<conformsto>> <<promotionof>> MOF:MC Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
74 Cadre formel pour la métamodélisation Évaluation de COQ4MDE Formalisation de la classe de modèles EMOF_Core (MC MOF ). Vérification de la métacircularité de EMOF_Core : définition du modèle M MOF conforme à MC MOF et de la promotion P, t. q. : P(M MOF ) = MC MOF Formalisation de la pyramide de l OMG. model metamodel MOF:M <<conformsto>> <<promotionof>> MOF:MC metametamodel <<conformsto>> xspem:m xspem:mc <<promotionof>> <<conformsto>> Process:M Real World M3 M2 M1 M0 Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
75 Conclusion & perspectives Plan 1 Contexte 2 Vers une opérationalisation des modèles dans l IDM La métamodélisation Définition de la sémantique d exécution d un DSML 3 Contributions pour la simulation et la vérification de modèle Démarche outillée pour la définition d un DSML exécutable Cadre générique pour la définition de simulateurs de modèle Approche par traduction pour la vérification de modèle Cadre formel pour la métamodélisation 4 Conclusion & perspectives Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
76 Conclusion & perspectives Contributions Taxonomie des techniques pour implanter la sémantique d exécution d un DSML [IDM 06,MDEIS 06], Démarche de métamodélisation pour la simulation et la vérification de modèle, Approche dirigée par les propriétés pour la définition de la syntaxe abstraite d un DSML exécutable [EIS vol.ix], Approche pour la vérification formelle de modèle par sémantique de traduction [IDM 07,ECMDA 08], Architecture et outils génériques pour la simulation de modèle par sémantique opérationnelle [TopcasedWP2.10 D01, TopcasedWP2.10 D02], Cadre formel de métamodélisation et API en COQ pour la définition des modèles et de la sémantique statique [Towers 07]. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
77 Conclusion & perspectives Applications et transfert technologique XSPEM, une extension exécutable de SPEM2.0 [APSEC 07], TopProcess (WP1 & Tectosages) : outils pour la modélisation, la vérification et la simulation de modèles XSPEM [ERTS 08a] Topcased Tina Bridges (WP3 & LAAS CNRS et SopraGroup) : intégration sur le bus de modèles TOPCASED des projecteurs pour TINA Topcased Model Simulation (WP2 & ONERA, Anyware et Atos Origin) : simulateur de machines à états UML2.0 [ERTS 08b], et bientôt SAM... Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
78 Conclusion & perspectives Perspectives Environnement d expression des propriétés temporelles Analyse des résultats de vérification Extension du cadre de simulation (points d arrêt, outils d analyse, etc.) Sémantique d exécution avec création dynamique Environnement formel de métamodélisation Administration de systèmes dirigée par les modèles Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
79 Conclusion & perspectives Soutenance de thèse Approche de métamodélisation pour la simulation et la vérification de modèle Application à l ingénierie des procédés Benoît Combemale Institut de Recherche en Informatique de Toulouse (CNRS UMR 5505) Université de Toulouse, France. Benoît Combemale (IRIT CNRS) Approche de métamodélisation 11 juillet / 38
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
Ingé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
Extensions à 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
Ingé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
OCL - Object Constraint Language
OCL - Object Constraint Language Laëtitia Matignon laetitia.matignon@univ-lyon1.fr Département Informatique - Polytech Lyon Université Claude Bernard Lyon 1 2012-2013 Laëtitia Matignon SIMA - OCL - Object
Etat 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
Gé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,
MEMOIRE. 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
Cycle 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
RTDS 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,
Expression des contraintes. OCL : Object C o n t r a i n t L a n g u a g e
P r o b l é m a t i q u e OCL : O b j e c t C o n s t r a i n t L a n g u a g e Le langage de contraintes d UML Les différents diagrammes d UML permettent d exprimer certaines contraintes graphiquement
IFT2255 : 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
Environnement 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
Composants 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
Mé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
Elaboration 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
Analyse,, 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
Diagramme de classes
Diagramme de classes Un diagramme de classes décrit les classes et leurs relations (associations, généralisation/spécialisation, ). classe association méthodes attributs héritage Diagramme de classes :
Mé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»
UML et les Bases de Données
CNAM UML et les Bases de Données UML et les Bases de Données. Diagramme de classes / diagramme d objets (UML)...2.. Premier niveau de modélisation des données d une application...2.2. Les éléments de modélisation...2.2..
Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P
EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine
Exceptions. 1 Entrées/sorties. Objectif. Manipuler les exceptions ;
CNAM NFP121 TP 10 19/11/2013 (Séance 5) Objectif Manipuler les exceptions ; 1 Entrées/sorties Exercice 1 : Lire un entier à partir du clavier Ajouter une méthode readint(string message) dans la classe
Objectif 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
Alfstore workflow framework Spécification technique
Alfstore workflow framework Spécification technique Version 0.91 (2012-08-03) www.alfstore.com Email: info@alfstore.com Alfstore workflow framework 2012-10-28 1/28 Historique des versions Version Date
Programmer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr)
Programmer en JAVA par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Plan 1. Présentation de Java 2. Les bases du langage 3. Concepts avancés 4. Documentation 5. Index des mots-clés 6. Les erreurs fréquentes
Conception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Élasticité des applications à base de services dans le Cloud
1/40 Élasticité des applications à base de services dans le Cloud Mourad Amziani 12 Tarek Melliti 1 Samir Tata 2 1 IBISC, EA4526, Université d'évry Val-d'Essonne, Évry, France 2 UMR CNRS Samovar, Institut
Introduction 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
Utilisation de l ingénierie des modèles pour la conception collaborative de produits mécaniques
Utilisation de l ingénierie des modèles pour la conception collaborative de produits mécaniques Mathias Kleiner Laboratoire des Sciences de l Information et des Systèmes (LSIS) - UMR CNRS 7296 Projet Ingenierie
Architecture Orientée Service, JSON et API REST
UPMC 3 février 2015 Précedemment, en LI328 Architecture générale du projet Programmation serveur Servlet/TOMCAT Aujourd hui Quelques mots sur les SOA API - REST Le format JSON API - REST et Servlet API
Langage et Concepts de ProgrammationOrientée-Objet 1 / 40
Déroulement du cours Introduction Concepts Java Remarques Langage et Concepts de Programmation Orientée-Objet Gauthier Picard École Nationale Supérieure des Mines de Saint-Étienne gauthier.picard@emse.fr
Introduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf
Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations
Vérification formelle de la plate-forme Java Card
Vérification formelle de la plate-forme Java Card Thèse de doctorat Guillaume Dufay INRIA Sophia Antipolis Cartes à puce intelligentes Java Card : Environnement de programmation dédié. Dernières générations
JADE : Java Agent DEvelopment framework. Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.
: Java Agent DEvelopment framework Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.fr Introduction à la plateforme JADE 1) Modèle d agent 2) Services 3) Norme FIPA
ACTIVITÉ DE PROGRAMMATION
ACTIVITÉ DE PROGRAMMATION The purpose of the Implementation Process is to realize a specified system element. ISO/IEC 12207 Sébastien Adam Une introduction 2 Introduction Ø Contenu Utilité de l ordinateur,
Meta Object Facility. Plan
Meta Object Facility Gestion de «meta objets» & meta meta modélisation Xavier Le Pallec Plan 1 Auteur : MOF : généralités L OMG en 1997-1998. Acteur principal DSTC : Centre Recherche sur les Systèmes distribués
Chapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile
TP n 2 Concepts de la programmation Objets Master 1 mention IL, semestre 2 Le type Abstrait Pile Dans ce TP, vous apprendrez à définir le type abstrait Pile, à le programmer en Java à l aide d une interface
1-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
Génie Logiciel avec Ada. 4 février 2013
Génie Logiciel 4 février 2013 Plan I. Généralités II. Structures linéaires III. Exceptions IV. Structures arborescentes V. Dictionnaires I. Principes II. Notions propres à la POO I. Principes Chapitre
Débuter avec EXPRESS. Alain Plantec. 1 Schema 2
Débuter avec EXPRESS Alain Plantec Table des matières 1 Schema 2 2 Entité 2 2.1 Attributs simples................................................ 2 2.2 Attributs collection...............................................
Structure d un programme et Compilation Notions de classe et d objet Syntaxe
Cours1 Structure d un programme et Compilation Notions de classe et d objet Syntaxe POO 1 Programmation Orientée Objet Un ensemble d objet qui communiquent Pourquoi POO Conception abstraction sur les types
Programmation en Java IUT GEII (MC-II1) 1
Programmation en Java IUT GEII (MC-II1) 1 Christophe BLANC - Paul CHECCHIN IUT Montluçon Université Blaise Pascal Novembre 2009 Christophe BLANC - Paul CHECCHIN Programmation en Java IUT GEII (MC-II1)
Lambda! Rémi Forax Univ Paris-Est Marne-la-Vallée
Lambda! Rémi Forax Univ Paris-Est Marne-la-Vallée forax at univ-mlv dot fr - ParisJUG Java.next() - Mars 2012 What Else? Lambda == Inner class? Java a des lambdas depuis la version 1.1 Exemple utilisant
Rappel. Analyse de Données Structurées - Cours 12. Un langage avec des déclaration locales. Exemple d'un programme
Rappel Ralf Treinen Université Paris Diderot UFR Informatique Laboratoire Preuves, Programmes et Systèmes treinen@pps.univ-paris-diderot.fr 6 mai 2015 Jusqu'à maintenant : un petit langage de programmation
Modelio 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,
Chapitre I : le langage UML et le processus unifié
I. Introduction Les méthodes d analyse orientées objet sont initialement issues des milieux industriels. La préoccupation dominante de leurs auteurs est le génie logiciel, c est-àdire les principes et
Objets et Programmation. origine des langages orientés-objet
Objets et Programmation origine des langages orientés-objet modularité, encapsulation objets, classes, messages exemples en Java héritage, liaison dynamique G. Falquet, Th. Estier CUI Université de Genève
Sujet de thèse CIFRE RESULIS / LGI2P
Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences
Plan. Exemple: Application bancaire. Introduction. OCL Object Constraint Language Le langage de contraintes d'uml
OCL Object Constraint Language Le langage de contraintes d'uml Plan 1. Introduction 2. Les principaux concepts d'ocl Object Constraint Language 1 Object Constraint Language 2 Exemple: une application bancaire
Synergies 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
Utilisation de JAVA coté Application serveur couplé avec Oracle Forms Hafed Benteftifa www.degenio.com Novembre 2008
Introduction Utilisation de JAVA coté Application serveur couplé avec Oracle Forms Hafed Benteftifa www.degenio.com Novembre 2008 Forms 10g permet l utilisation du JAVA côté client et côté application
TP1 : Initiation à Java et Eclipse
TP1 : Initiation à Java et Eclipse 1 TP1 : Initiation à Java et Eclipse Systèmes d Exploitation Avancés I. Objectifs du TP Ce TP est une introduction au langage Java. Il vous permettra de comprendre les
Cours 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é
La 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,
Spé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
DSL. 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
Suzy 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
IDM 2009 Actes des 5èmes journées sur l Ingénierie Dirigée par les Modèles. Nancy, 25-26 mars 2009
IDM 2009 Actes des 5èmes journées sur l Ingénierie Dirigée par les Modèles Nancy, 25-26 mars 2009 17 mars 2009 Préface La cinquième édition des journées sur l Ingénierie Dirigée par les Modèles (IDM)
THÈ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
Iyad 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
Bases Java - Eclipse / Netbeans
Institut Galilée PDJ Année 2014-2015 Master 1 Environnements Java T.P. 1 Bases Java - Eclipse / Netbeans Il existe plusieurs environnements Java. Il est ESSENTIEL d utiliser la bonne version, et un environnement
Model checking temporisé
Model checking temporisé Béatrice Bérard LAMSADE Université Paris-Dauphine & CNRS berard@lamsade.dauphine.fr ETR 07, 5 septembre 2007 1/44 Nécessité de vérifier des systèmes... 2/44 Nécessité de vérifier
Description 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
3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
En 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
- 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
CC30 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
Retour 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,
Introduction aux «Services Web»
Introduction aux «Services Web» Sana Sellami sana.sellami@univ-amu.fr 2014-2015 Modalité de contrôle de connaissances Note de contrôle de continu Note projet Evaluation du projet la semaine du 17 novembre
Patrons de Conception (Design Patterns)
Patrons de Conception (Design Patterns) Introduction 1 Motivation Il est difficile de développer des logiciels efficaces, robustes, extensibles et réutilisables Il est essentiel de comprendre les techniques
Modè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
Master Informatique Aix-Marseille Université
Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes
Université de Bangui. Modélisons en UML
Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et
Java Licence Professionnelle CISII, 2009-10
Java Licence Professionnelle CISII, 2009-10 Cours 4 : Programmation structurée (c) http://www.loria.fr/~tabbone/cours.html 1 Principe - Les méthodes sont structurées en blocs par les structures de la programmation
INTRODUCTION A JAVA. Fichier en langage machine Exécutable
INTRODUCTION A JAVA JAVA est un langage orienté-objet pur. Il ressemble beaucoup à C++ au niveau de la syntaxe. En revanche, ces deux langages sont très différents dans leur structure (organisation du
LMI 2. Programmation Orientée Objet POO - Cours 9. Said Jabbour. jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour
LMI 2 Programmation Orientée Objet POO - Cours 9 Said Jabbour jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour CRIL UMR CNRS 8188 Faculté des Sciences - Univ. Artois Février 2011 Les collections
Présentation du M2 SIC : Systèmes Informatiques et Applications Marines
Présentation du M2 SIC : Systèmes Informatiques et Applications Marines Jean-Philippe Babau (resp. M2 SIAM) http://dept-info.univ-brest.fr/master2_siam.php http://labsticc.univ-brest.fr/pages_perso/babau/
Intergiciels pour la répartition CORBA : Common Object Request Broker. Patrice Torguet torguet@irit.fr Université Paul Sabatier
Intergiciels pour la répartition CORBA : Common Object Request Broker Patrice Torguet torguet@irit.fr Université Paul Sabatier Plan du cours 2 Introduction à CORBA Architecture de l ORB Implémentation
Génie Logiciel Avancé Cours 3 Le modèle à objets
Génie Logiciel Avancé Cours 3 Le modèle à objets Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot - Paris 7 URL http://upsilon.cc/zack/teaching/1112/gla/ Copyright
DG-ADAJ: Une plateforme Desktop Grid
DG-ADAJ: Une plateforme pour Desktop Grid Olejnik Richard, Bernard Toursel Université des Sciences et Technologies de Lille Laboratoire d Informatique Fondamentale de Lille (LIFL UMR CNRS 8022) Bât M3
en 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
Cours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Inté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
EPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE
EPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE QCM Remarque : - A une question correspond au moins 1 réponse juste - Cocher la ou les bonnes réponses Barème : - Une bonne réponse = +1 - Pas de réponse = 0
UML. Diagrammes de classes (suite) Delphine Longuet. delphine.longuet@lri.fr
Polytech Paris-Sud Formation initiale 3 e année Spécialité Informatique Année 2014-2015 UML Diagrammes de classes (suite) Delphine Longuet delphine.longuet@lri.fr Opérations Opérations Service qui peut
Object Constraint Language (OCL)
Object Constraint Language (OCL) Eric Cariou Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr 1 Plan 1. Pourquoi OCL? Introduction par l'exemple
Supervision et infrastructure - Accès aux applications JAVA. Document FAQ. Page: 1 / 9 Dernière mise à jour: 15/04/12 16:14
Document FAQ Supervision et infrastructure - Accès aux EXP Page: 1 / 9 Table des matières Introduction... 3 Démarrage de la console JMX...4 I.Généralités... 4 II.WebLogic... 5 III.WebSphere... 6 IV.JBoss...
Francis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) IFT702 Planification en intelligence artificielle
Francis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) PLANIFICATION DE TÂCHES DANS MS PROJECT IFT702 Planification en intelligence artificielle Présenté à M. Froduald KABANZA
France SMS+ MT Premium Description
France SMS+ MT Premium Description Summary Subscription : kinematics Subscription via SMS (Kinematic + messages) Subscription via Wap (Kinematic + messages) Subscription via Mix SMS / WAP Subscription
UML 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
Environnements de développement (intégrés)
Environnements de développement (intégrés) Tests unitaires, outils de couverture de code Patrick Labatut labatut@di.ens.fr http://www.di.ens.fr/~labatut/ Département d informatique École normale supérieure
É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
NFP111 Systèmes et Applications Réparties
NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon
3 Octobre 2013. Les Communautés MS
3 Octobre 2013 Les Communautés MS Développement Office 365 et SharePoint 2013 : Apps ou pas Apps? Qui suis-je? Gilles Pommier Consultant sénior MCT et co-fondateur de la société SmartView http://www.smartview.fr
Serveur d'application Client HTML/JS. Apache Thrift Bootcamp
Serveur d'application Client HTML/JS Apache Thrift Bootcamp Pré-requis La liste ci-dessous de logiciels doit être installée et opérationnelle sur la machine des participants : Compilateur thrift http://thrift.apache.org/
WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.
WEB15 IBM Software for Business Process Management un offre complète et modulaire Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.com Claude Perrin ECM Client Technical Professional Manager
Programmation avec des objets : Cours 7. Menu du jour
1 Programmation avec des objets : Cours 7 Menu du jour 1. Retour sur la classe Liste 2. Précisions sur l interface 3. Difficultés dans le cas d erreurs 4. Soulever des exceptions 5. Utilisation des Listes
MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»
MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE» Du cours Modélisation Semi -Formelle de Système d Information Du Professeur Jean-Pierre GIRAUDIN Décembre. 2002 1 Table de matière Partie 1...2 1.1