Parcours et Thèmes de Recherche Frédéric Fondement ATER MIPS / LSI November 2007
© F. Fondement- 2 - Parcours
November 2007© F. Fondement- 3 - Contexte Ingénierie Dirigée par les Modèles System Code Generation
November 2007© F. Fondement- 4 - Recherche Ingénierie Dirigée par les Modèles Définition Utilisation => Model Prototyper FacSimile Quel est l’état suivant ?
November 2007© F. Fondement- 5 - Recherche Ingénierie Dirigée par les Modèles Définition Utilisation =>
November 2007© F. Fondement- 6 - Recherche Ingénierie Dirigée par les Modèles Définition Utilisation 2003 MTL Model Transformation Target Languages (Metamodels) Set Movah, up Int4CH <<conformsTo>><<conformsTo>> <<conformsTo>> Source Languages (Metamodels) System Source System System Target System MTL <<conformsTo>>
November 2007© F. Fondement Recherche Ingénierie Dirigée par les Modèles Définition Utilisation =>
November 2007© F. Fondement Recherche Ingénierie Dirigée par les Modèles Définition Utilisation => sm ::= "Statemachine" IDENT compositeState state ::= normalState | pseudostate normalState ::= "initial"? (simpleState | compositeState) simpleState ::= "State" IDENT compositeState ::= "CompositeState« IDENT? LCURLYBRACKET (state | transition)* RCURLYBRACKET transition ::= "Transition" IDENT? "from" IDENT "to" IDENT ("on" IDENT)? pseudoState ::= "FinalState" IDENT | "Choice" IDENT StateMachine Door CompositeState { initial State opened CompositeState closed { initial State unlocked State locked Transition from unlocked to locked on lock …