$30 off During Our Annual Pro Sale. View Details »

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

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

Jaime Arias Almeida

June 25, 2014
Tweet

More Decks by Jaime Arias Almeida

Other Decks in Research

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 
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  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
  59. Merci de votre attention

  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