recherche:projets:syncomp:meetings:meeting300415
Meeting 300415
PLAN
Production de l'automate de la Thing
- Modèle de l'environnement est exprimé dans un automate. (salon/ salle à manger) = séjour
- salon allumé = petite lumière dans SaM et vice versa
- Modèle des devices avec pour entrée les commandes (ex. trig1.on) et en sortie les états du device (ex light1.on …)
- Modèle d'interaction entre devices et environnement : (ex. light1.on ⇒ room1.light), Quel langage ?
- Le modèle de la thing est le produit de tout ses automates.
Modélisation des accès concurrents à une Thing T
- Une App_ij de Type_j peut accéder à T en y associant des contraintes exprimées en fonction de son Type_j, des autres Types_k d'App_ik, des opérateurs comme des quantifieurs quelquesoit / il existe / et les entrées des dispositifs et les états de l'environnement.
- Exemple : App_grande_lumière donne pour contrainte
- Salon allumé & SaM allumée
Références à lire
TODO
- Envoi du template et première rédac “partie langage” par Annie
- Faire le plan grossier pour le 4/05
- Annie prend la main semaine du 4/5
- JY et Steph la semaine suivante
- Finalisation le 18,19,20 …
Board de la réunion
recherche/projets/syncomp/meetings/meeting300415.txt · Dernière modification : 2015/04/30 13:07 de tigli