Différences

Ci-dessous, les différences entre deux révisions de la page.

--- muc_2010_2011_lecture3 [2011/01/04 07:28] – créée tigli
+++ muc_2010_2011_lecture3 [2011/01/04 07:32] (Version actuelle) – [Ressources :] tigli
@@ Ligne 1: / Ligne 1: @@
 {{:mucimg.jpg|}}
-====== Lecture 3 : Wcomp middleware and proved components ======
+====== Lecture 3 : Wcomp middleware Tutorial ======
-  * Date : January, 5th 2010
+  * Date : January, 4h 2010
-  * Instructor : J.-Y. Tigli
+  * Instructor : V. Hourdin
-  * Duration : 3h
+  * Duration : 4h
-===== Part 1 : How to Design Components in a Middleware for Ubiquitous Computing WComp 2.0 =====
-  * Date : December, 15th 2009
-  * Instructor : A. Ressouche - J-Y. Tigli
-  * Duration : 3h
 ==== Ressources : ====
-  * Tutorial slides : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/Tutorial1_MUC_UBINET_2010_Slides.pdf|Middleware for Ubiquitous Computing WComp 2.0]]
+  * Tutorial paper : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/MUC 2010 2011/Tutorial3_MUC_Ubinet_2011.pdf|Tutorial : Middleware for Ubiquitous
-  * Tutorial paper : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/Tutorial1_MUC_Ubinet_2010_Doc.pdf|Middleware for Ubiquitous Computing WComp 2.0]]
+Computing, WComp 2.4]]
-  * VMware WComp environment iw distributed on DVD and USB Key during the lecture.
-     * Remark : If you're under linux be careful : replace the configuration file of your virtual machine vmplayer by  [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/ |this one ]]  and then after running, start the audio service
-    * Remark : Find here a Light UPnP server if you need [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/ |UPnP Light]]
-  * Correction : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture1/Correction.zip |Tutorial correction]]
 ==== References : ====
@@ Ligne 34: / Ligne 18: @@
   * J.-Y. Tigli, S. Lavirotte, G. Rey, V. Hourdin, D. Cheung, E. Callegari, M. Riveill “WComp middleware for ubiquitous computing: Aspects and composite event-based Web services” in Annals of Telecommunications, éditeur Springer Paris, ISSN 0003-4347 (Print) 1958-9395 (Online), Vol. 64, No 3-4, March-April 2009, {{http://www.springerlink.com/content/x833j0143h133v67/fulltext.pdf|paper}}.
-===== Part 2 :  How to Design Proved Components in WComp Middleware =====
-  * Documentation for the  tutorial 3 " Verification with Lustre and Lesar " : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial3_MUC_Ubinet_2010_Doc.pdf|Tutorial 3, Verification with Lustre and Lesar]]
-  * Sample code in Lustre: [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial3/|Tutorial 3, sample code in Lustre]]
-  * Documentation for the  tutorial 2 "Creating an advanced Component in WComp 2.0" : [[http://rainbow.i3s.unice.fr/~tigli/cours/MUC/Lecture2/Tutorial2_MUC_Ubinet_2010_Doc.pdf|Tutorial 2, Creating an advanced Component in WComp 2.0]]
-===== Part 3 : Student Projects =====
-Students must provide :
-  * A Proved Bean Component (lustre checked code, corresponding C code generated, corresponding Bean code)
-  * A sample WComp assembly to illustrate how this proved component works.
-  * A document with all necessary explanations
-Put all these files and documents on a web site and send them to JY Tigli before  february, the 1st, 2010.