-3) Dettagli
- 3.1) codifica dello stato e dei suggerimenti
- - oss: l'architettura e' generica non dipenda da una particolare codifica di
- dimostrazioni
- - interfaccia verso il broker
- 3.2) client
- - proof assistant
- 3.3) broker
- - registri
- - interfaccia verso i client (registrazione, sottoscrizione, state change,
- deregistrazione)
- - interfaccia verso i tutor (registrazione, suggerimento, deregistrazione)
- 3.4) tutor
- - cosa puo' implementare un tutor
- - nessuna assunzione sulla correttezza del suggerimento
- - interfaccia verso il broker (start/stop musing)
- - thread (?)
+3) Zack
+ Dettagli Implementativi
+ - codifica dello stato
+ - codifica dei suggerimenti
+ - registry del broker
+ - implementazione dei ws
+ - implementazione dei tutor (gen. automatica, thread)