À 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 
   
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