X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2Foutline.txt;h=55cb826ce33af50f3ef36b9f7e15df33961a3940;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a82334740fc192d53509b65896b8e3e2811c7492;hpb=d4a37b656160537e6607935f1cbaef1ad043d5b0;p=helm.git diff --git a/helm/papers/calculemus-2003/outline.txt b/helm/papers/calculemus-2003/outline.txt index a82334740..55cb826ce 100644 --- a/helm/papers/calculemus-2003/outline.txt +++ b/helm/papers/calculemus-2003/outline.txt @@ -14,23 +14,13 @@ - attori (client, broker, tutor) - ruoli e funzionalita' di ognuno di essi (breve) - mapping con gli attori di monet -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) 4) CSC Sample session - screen shot