À la recherche de modèles formels pour l'écriture et l'exécution de scénarios interactifs ouverts

Transcript

1. À la recherche de modèles formels pour l’écriture
   et l’exécution de scénarios interactifs ouverts
   Myriam Desainte-Catherine and Jaime Arias
   Laboratoire Bordelais de Recherche en Informatique (LaBRI)
   Université de Bordeaux
   Cycles Arts et Sciences : Regards Croisés
   Bordeaux, Juin 2014
   1
   
   

   View Slide

2. Contexte scientifique
   Écriture de l’interaction
   • Interprétation musicale
   • Partition musicale : plusieurs interprétations possibles
   • Modélisation : problème de résolution de contraintes
   • Une interprétation : une solution au problème
   Aspects temporels
   • Modifications agogiques
   • Objets temporels : variables de date et de durée
   • Contraintes temporelles : logiques de points, Allen
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 1/13
   1/13
   

   View Slide

3. Contexte scientifique
   Écriture de l’interaction
   • Interprétation musicale
   • Partition musicale : plusieurs interprétations possibles
   • Modélisation : problème de résolution de contraintes
   • Une interprétation : une solution au problème
   Aspects temporels
   • Modifications agogiques
   • Objets temporels : variables de date et de durée
   • Contraintes temporelles : logiques de points, Allen
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 1/13
   1/13
   

   View Slide

4. Deux paradigmes du monde opposés
   Héraclite
   • Fleuve : flot des événements
   • Orientation de l’amont vers l’aval
   • Dynamique : changements
   • Monde sans objets
   Parménide
   • Flèche orientée du passé vers le futur
   • Irréversibilité : chronologie
   • Statique : propriétés éternelles
   • Monde sans changements
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 2/13
   2/13
   

   View Slide

5. Deux paradigmes du monde opposés
   Héraclite
   • Fleuve : flot des événements
   • Orientation de l’amont vers l’aval
   • Dynamique : changements
   • Monde sans objets
   Parménide
   • Flèche orientée du passé vers le futur
   • Irréversibilité : chronologie
   • Statique : propriétés éternelles
   • Monde sans changements
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 2/13
   2/13
   

   View Slide

6. Deux paradigmes du monde opposés
   Heraclite – Exécution
   • Fleuve : flot des événements
   • Orientation de l’amont vers l’aval
   • Dynamique : changements
   • Monde sans objets
   Parmenides – Écriture
   • Flèche orientée du passé vers le futur
   • Irréversibilité : chronologie
   • Statique : propriétés éternelles
   • Monde sans changements
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 3/13
   3/13
   

   View Slide

7. Modélisation du temps musical
   Les séries de Mc Taggart
   • Série A : être passé, être présent, être futur ;
   • Série B : être avant, être pendant, être après ;
   • Série C : chronologique
   Supports temporels
   • Time-flow : série A, événements dynamiques ;
   • Time-line : série B, événements statiques ;
   • Temps granulaire : série C, tout événement ;
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 4/13
   4/13
   

   View Slide

8. Modélisation du temps musical
   Les séries de Mc Taggart
   • Série A : être passé, être présent, être futur ;
   • Série B : être avant, être pendant, être après ;
   • Série C : chronologique
   Supports temporels
   • Time-flow : série A, événements dynamiques ;
   • Time-line : série B, événements statiques ;
   • Temps granulaire : série C, tout événement ;
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 4/13
   4/13
   

   View Slide

9. Combinaison des paradigmes
   Des modèles séparés
   • Deux types d’événements
   • Deux supports temporels
   • Deux phases de calcul
   Établir un lien : le cas de l’interprétation
   • Cohérence de la pièce musicale
   • Contraintes d’interprétation
   • Relations temporelles entre événements statiques et dynamiques : ordre partiel
   Phases de calcul
   • Écriture : spécification des événements dynamiques et de leurs relations avec les
   événements statiques
   • Exécution : traitement des événements statiques et dynamiques
   M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 5/13
   5/13
   

   View Slide

10. Combinaison des paradigmes
    Des modèles séparés
    • Deux types d’événements
    • Deux supports temporels
    • Deux phases de calcul
    Établir un lien : le cas de l’interprétation
    • Cohérence de la pièce musicale
    • Contraintes d’interprétation
    • Relations temporelles entre événements statiques et dynamiques : ordre partiel
    Phases de calcul
    • Écriture : spécification des événements dynamiques et de leurs relations avec les
    événements statiques
    • Exécution : traitement des événements statiques et dynamiques
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 5/13
    5/13
    

    View Slide

11. Combinaison des paradigmes
    Des modèles séparés
    • Deux types d’événements
    • Deux supports temporels
    • Deux phases de calcul
    Établir un lien : le cas de l’interprétation
    • Cohérence de la pièce musicale
    • Contraintes d’interprétation
    • Relations temporelles entre événements statiques et dynamiques : ordre partiel
    Phases de calcul
    • Écriture : spécification des événements dynamiques et de leurs relations avec les
    événements statiques
    • Exécution : traitement des événements statiques et dynamiques
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 5/13
    5/13
    

    View Slide

12. Certains modèles de systèmes
    Système temps réel
    • Réaction aux événements extérieurs
    • Le système doit délivrer des résultats
    dans des délais imposés
    • Temps réel strict et souple
    Systèmes réactifs
    • Interaction permanente avec l’environnement
    • Réaction du système déterminée par les événements actuels (entrées) et passés
    (état)
    • Temps de réaction bornée
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 6/13
    6/13
    

    View Slide

13. Certains modèles de systèmes
    Système temps réel
    • Réaction aux événements extérieurs
    • Le système doit délivrer des résultats
    dans des délais imposés
    • Temps réel strict et souple
    Systèmes réactifs
    • Interaction permanente avec l’environnement
    • Réaction du système déterminée par les événements actuels (entrées) et passés
    (état)
    • Temps de réaction bornée
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 6/13
    6/13
    

    View Slide

14. Réseaux de Petri
    • Les réseaux de Petri son utilisés afin de modéliser (graphiquement) le
    comportement de systèmes concurrents, non-déterministes et
    asynchrones
    p1
    p2
    p3
    t
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 7/13
    7/13
    

    View Slide

15. Réseaux de Petri
    • Les réseaux de Petri son utilisés afin de modéliser (graphiquement) le
    comportement de systèmes concurrents, non-déterministes et
    asynchrones
    p1
    p2
    p3
    t
    input places transitions output places
    tokens
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 7/13
    7/13
    

    View Slide

16. Réseaux de Petri
    • Les réseaux de Petri son utilisés afin de modéliser (graphiquement) le
    comportement de systèmes concurrents, non-déterministes et
    asynchrones
    p1
    p2
    p3
    t
    2H2
    + O2
    ! 2H2
    O
    H2
    O2
    H2
    O
    une réaction chimique
    2
    2
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 7/13
    7/13
    

    View Slide

17. Réseaux de Petri
    • Les réseaux de Petri son utilisés afin de modéliser (graphiquement) le
    comportement de systèmes concurrents, non-déterministes et
    asynchrones
    p1
    p2
    p3
    t
    2H2
    + O2
    ! 2H2
    O
    H2
    O2
    H2
    O
    une réaction chimique
    la transition t est activée
    2
    2
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 7/13
    7/13
    

    View Slide

18. Réseaux de Petri
    • Les réseaux de Petri son utilisés afin de modéliser (graphiquement) le
    comportement de systèmes concurrents, non-déterministes et
    asynchrones
    p1
    p2
    p3
    t
    H2
    O2
    H2
    O
    la transitions t a été tiré
    2
    2
    2H2
    + O2
    ! 2H2
    O
    une réaction chimique
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 7/13
    7/13
    

    View Slide

19. Réseaux de Petri
    La modélisation de partitions interactives 1
    • Réseaux de Petri Colorés (les jetons sont typés par des couleurs). Ils
    permettent de modéliser le temps et la hiérarchie
    • Modèle modulaire dont le module de base est l’intervalle de durée
    fixé
    • Extension pour gérer les flux de données
    1. J. Arias, M. Desainte-Catherine, and C. Rueda, “Modelling Data Processing for Interac-
    tive Scores Using Coloured Petri Nets,” 2014, 14th International Conference On Applications
    Of Concurrency To System Design, Tunis, Tunisia.
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 8/13
    8/13
    

    View Slide

20. Le modèle synchrone
    Le modèle synchrone
    • Temps logique
    • Le temps de réaction à un stimulus est considère comme nul
    • Un stimulus n’arrive pas pendant la réaction en cours
    • Le comportement est déterministe
    • Plusieurs langages de programmation : Estérel, Lustre, Signal …
    Le modèle réactif synchrone
    Les principes des langages de programmation synchrone
    +
    La création dynamique des processus
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 9/13
    9/13
    

    View Slide

21. Le modèle synchrone
    Le modèle synchrone
    • Temps logique
    • Le temps de réaction à un stimulus est considère comme nul
    • Un stimulus n’arrive pas pendant la réaction en cours
    • Le comportement est déterministe
    • Plusieurs langages de programmation : Estérel, Lustre, Signal …
    Le modèle réactif synchrone
    Les principes des langages de programmation synchrone
    +
    La création dynamique des processus
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 9/13
    9/13
    

    View Slide

22. ReactiveML
    Exécution synchrone des partitions interactives 2
    • Langage basé sur le modèle réactif synchrone et intégré dans un
    langage ML (Ocaml)
    • Exécution synchrone des partitions interactives
    • Modélisation de la hiérarchie
    • Prototypage facile de nouvelles fonctionnalités (conditionnels,
    boucles)
    2. J. Arias, M. Desainte-Catherine, C. Rueda, and S. Salvati, “Executing Hierarchical
    Interactive Scores in ReactiveML,” 2014, Journées d’Informatique Musicale, Bourges, France.
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 10/13
    10/13
    

    View Slide

23. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

24. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 0 r1
    r2
    r3
    r4
    Process : rel 1
    await “start scenario”
    Process : rel 2
    await “start scenario”
    Process : box A
    await “end r1”
    Process : box B
    await “end r2”
    …
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

25. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 0 r1
    r2
    r3
    r4
    Process : rel 1
    wait 1 s (duration)
    Process : rel 2
    wait 1 s (duration)
    Process : box A
    await “end r1”
    Process : box B
    await “end r2”
    …
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

26. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 1 r1
    r2
    r3
    r4
    Process : rel 1
    send “end r1”
    Process : rel 2
    send “end r2”
    Process : box A
    await “end r1”
    Process : box B
    await “end r2”
    …
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

27. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 1 r1
    r2
    r3
    r4
    Process : box A
    send OSC “/light1 on”
    Process : box B
    send OSC “/light2 on”
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    await “end box B”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

28. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 1 r1
    r2
    r3
    r4
    Process : box A
    wait 3 s (duration)
    Process : box B
    wait 1 s (min dur.)
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    await “end box B”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

29. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 2 r1
    r2
    r3
    r4
    Process : box A
    wait 2 s (duration)
    Process : box B
    wait 3 s (max dur.)
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    await “end box B”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

30. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 3 r1
    r2
    r3
    r4
    Process : box A
    wait 1 s (duration)
    Process : box B
    wait 2 s (max dur.)
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    await “end box B”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

31. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 3 r1
    r2
    r3
    r4
    Process : box A
    wait 1 s (duration)
    Process : box B
    wait 2 s (max dur.)
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    await “end box B”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

32. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 3 r1
    r2
    r3
    r4
    Process : box A
    wait 1 s (duration)
    Process : box B
    send OSC “/light2 off”
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    await “end box B”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

33. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 3 r1
    r2
    r3
    r4
    Process : box A
    wait 1 s (duration)
    Process : box B
    emit “end box B”
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    await “end box B”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

34. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 3 r1
    r2
    r3
    r4
    Process : box A
    wait 1 s (duration)
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    wait 1 s (min dur)
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

35. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 4 r1
    r2
    r3
    r4
    Process : box A
    send OSC “/light1 off”
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    wait 3 s (max dur)
    Process : box C
    await “end r3” &
    await “end r4”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

36. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 4 r1
    r2
    r3
    r4
    Process : box A
    emit “end box A”
    …
    Process : rel 3
    await “end box A”
    Process : rel 4
    wait 3 s (max dur)
    Process : box C
    await “end r3” &
    await “end r4”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

37. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 4 r1
    r2
    r3
    r4
    Process : box A
    emit “end box A”
    …
    Process : rel 3
    wait 1 s (min dur)
    Process : rel 4
    wait 3 s (max dur)
    Process : box C
    await “end r3” &
    await “end r4”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

38. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 5 r1
    r2
    r3
    r4
    Process : rel 3
    wait 2 s (max dur)
    Process : rel 4
    wait 2 s (max dur)
    Process : box C
    await “end r3” &
    await “end r4”
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

39. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 5 r1
    r2
    r3
    r4
    Process : rel 3
    wait 2 s (max dur)
    Process : rel 4
    wait 2 s (max dur)
    Process : box C
    await “end r3” &
    await “end r4”
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

40. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 6 r1
    r2
    r3
    r4
    Process : rel 3
    wait 1 s (max dur)
    Process : rel 4
    wait 1 s (max dur)
    Process : box C
    await “end r3” &
    await “end r4”
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

41. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 6 r1
    r2
    r3
    r4
    Process : rel 3
    wait 1 s (max dur)
    Process : rel 4
    wait 1 s (max dur)
    Process : box C
    await “end r3” &
    await “end r4”
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

42. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 6 r1
    r2
    r3
    r4
    Process : rel 3
    emit “end r3”
    Process : rel 4
    emit “end r4”
    Process : box C
    await “end r3” &
    await “end r4”
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

43. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 6
    r1
    r2
    r3
    r4
    Process : box C
    send OSC “/light3 on”
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

44. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 6
    r1
    r2
    r3
    r4
    Process : box C
    wait 3 s (duration)
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

45. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 7
    r1
    r2
    r3
    r4
    Process : box C
    wait 2 s (duration)
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

46. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 8
    r1
    r2
    r3
    r4
    Process : box C
    wait 1 s (duration)
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

47. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 9
    r1
    r2
    r3
    r4
    Process : box C
    send OSC “/light3 off”
    Process : scenario
    await “end r5”
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

48. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    clock : 9
    r1
    r2
    r3
    r4
    Process : box C
    emit “end box C”
    Process : scenario
    await “end r5”
    duration of r5 is 0 s
    r5
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

49. ReactiveML
    RML
    Interpreter
    INSCORE
    Graphical
    Interface
    PURE
    DATA
    Multimedia
    Application
    input
    output
    output
    A
    C
    B
    r1
    r2
    r3
    r4
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 11/13
    11/13
    

    View Slide

50. ReactiveIS
    Une langage pour la spécification de partitions interactives
    A
    B
    C
    E
    A B C
    D E
    < WaitFromStart(ε,1,1),
    WaitFromStart(A,2,2) >
    < WaitFromStart(ε,3,3),
    WaitFromStart(B,2,2) >
    < WaitFromEnd(A,5,5) ∧ WaitFromEnd(B,3,3),
    WaitFromEnd(C.D,1,1) ∧ WaitFromEnd(C.E,1,1) >
    < WaitFromStart(C,2,5) ∧
    WaitEvent(e1),
    WaitFromStart(C.D,1,1) >
    < WaitFromStart(C,1,1),
    WaitFromStart(C.E,2,2) >
    < True, EndScenario >
    r1
    r2
    r3
    r4
    r5
    r6
    D r7
    r8
    r9
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 12/13
    12/13
    

    View Slide

51. ReactiveIS
    Sémantique Opérationnelle
    time = 0 < 0, ? >
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

52. ReactiveIS
    Sémantique Opérationnelle
    time = 0 < 0, ? >
    canStop(S) =
    { ✏ }
    ce(
    ✏
    ) =
    EndScenario
    canStart(S,P) = { A, B, C }
    cs(
    A
    ) =
    WaitFromStart
    (
    ✏,
    1
    ,
    1)
    cs(
    B
    ) =
    WaitFromStart
    (
    ✏,
    3
    ,
    3)
    cs(
    C
    ) =
    WaitFromEnd
    (
    A,
    5
    ,
    5) ^
    WaitFromEnd
    (
    B,
    3
    ,
    3)
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

53. ReactiveIS
    Sémantique Opérationnelle
    time = 1 < 0, ? >
    canStop(S) =
    { ✏ }
    cs(
    A
    ) =
    WaitFromStart
    (
    ✏,
    1
    ,
    1)
    canStart(S,P) = { A, B, C }
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

54. ReactiveIS
    Sémantique Opérationnelle
    time = 1
    < 0, ? >
    < 1, ? >
    A
    canStart(S,P) = { B, C }
    cs(
    B
    ) =
    WaitFromStart
    (
    ✏,
    3
    ,
    3)
    cs(
    C
    ) =
    WaitFromEnd
    (
    A,
    5
    ,
    5) ^
    WaitFromEnd
    (
    B,
    3
    ,
    3)
    canStop(S) =
    { ✏, A }
    ce(
    ✏
    ) =
    EndScenario
    ce(
    A
    ) =
    WaitFromStart
    (
    A,
    2
    ,
    2)
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

55. ReactiveIS
    Sémantique Opérationnelle
    time = 2
    < 0, ? >
    < 1, ? >
    A canStart(S,P) = { B, C }
    canStop(S) =
    { ✏, A }
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

56. ReactiveIS
    Sémantique Opérationnelle
    < 0, ? >
    < 1, ? >
    A
    canStop(S) =
    { ✏, A }
    canStart(S,P) = { B, C }
    cs(
    B
    ) =
    WaitFromStart
    (
    ✏,
    3
    ,
    3)
    time = 3
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

57. ReactiveIS
    Sémantique Opérationnelle
    time = 3
    < 0, ? >
    < 1, ? >
    A B
    < 3, ? >
    canStart(S,P) = { C }
    canStop(S) =
    { ✏, A, B }
    ce(
    A
    ) =
    WaitFromStart
    (
    A,
    2
    ,
    2)
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

58. ReactiveIS
    Sémantique Opérationnelle
    < 0, ? >
    < 1, 3 >
    A B
    < 3, ? >
    canStart(S,P) = { C }
    cs(
    C
    ) =
    WaitFromEnd
    (
    A,
    5
    ,
    5) ^
    WaitFromEnd
    (
    B,
    3
    ,
    3)
    canStop(S) =
    { ✏, B }
    ce(
    ✏
    ) =
    EndScenario
    ce(
    B
    ) =
    WaitFromStart
    (
    B,
    2
    ,
    2)
    time = 3
    M. Desainte-Catherine and J. Arias (LaBRI) À la recherche de modèles formels pour l’écriture et l’exécution de scénarios 13/13
    13/13
    

    View Slide

59. Merci de votre attention
    

    View Slide

60. À la recherche de modèles formels pour l’écriture
    et l’exécution de scénarios interactifs ouverts
    Myriam Desainte-Catherine and Jaime Arias
    Laboratoire Bordelais de Recherche en Informatique (LaBRI)
    Université de Bordeaux
    Cycles Arts et Sciences : Regards Croisés
    Bordeaux, Juin 2014
    1
    
    

    View Slide