Parcours et Thèmes de Recherche Frédéric Fondement ATER MIPS / LSI November 2007.

Présentation au sujet: "Parcours et Thèmes de Recherche Frédéric Fondement ATER MIPS / LSI November 2007."— Transcription de la présentation:

1 Parcours et Thèmes de Recherche Frédéric Fondement ATER MIPS / LSI November 2007

2 © F. Fondement- 2 - Parcours 2000 2000 - 2002 2003 2007 2004 - 2006

3 November 2007© F. Fondement- 3 - Contexte Ingénierie Dirigée par les Modèles System Code Generation

4 November 2007© F. Fondement- 4 - Recherche Ingénierie Dirigée par les Modèles Définition Utilisation => Model Prototyper FacSimile 2000 - 2002 Quel est l’état suivant ?

5 November 2007© F. Fondement- 5 - Recherche Ingénierie Dirigée par les Modèles Définition Utilisation => 2000 - 2002 ++

6 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 up @4537H Movah, up Int4CH <<conformsTo>><<conformsTo>> <<conformsTo>> Source Languages (Metamodels) System Source System System Target System MTL <<conformsTo>>

7 November 2007© F. Fondement- 7 - 2004 - 2006 Recherche Ingénierie Dirigée par les Modèles Définition Utilisation =>

8 November 2007© F. Fondement- 8 - 2004 - 2006 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 …