===== Workshop Materials =====


==== Teams presentations and technical presentations ====

=== COLOSS ===

  * Team presentation by Gilles Ardourel {{econet:pragues2007:teamcoloss.pdf|}}
  * **The Kmelia Component Model Hierarchical Service Description and Analysis** Pascal André {{econet:pragues2007:slides_kmelia.pdf|}}

=== LCI ===

  * Team presentation by Dan Chiorean {{econet:pragues2007:lci_prague.ppt|}}
  * ** (UML) Model Checking - an OCL Based Approach ** Dan Chiorean {{econet:pragues2007:modelchecking_econet_prague.ppt|}}

=== DSRG ===

  * Team presentation by Frantisek Plasil {{econet:pragues2007:teamdsrg.ppt|}}
  * ** SOFA overview ** Petr Hnetynka {{econet:pragues2007:sofa2-slides.pdf|}}
  * ** (Extended) Behavior protocols + demo application (from CoCoME contest) ** Jan Kofron {{econet:pragues2007:ebp.pdf|}}
  * ** Checking behavior protocols against code using Java PathFinder ** Pavel Parizek {{econet:pragues2007:jpfbpc-slides.pdf|}}

=== OBASCO ===

  * Team presentation by Jean-Claude Royer {{econet:pragues2007:teamobasco.pdf|}}
  * **Verification and boundedness ** Jean-Claude Royer {{econet:pragues2007:fmoods06.pdf|}}
  * **Rendezvous principle ** Jean-Claude Royer {{econet:pragues2007:cpa07.pdf|}}
  * **The STSLib project ** Jean-Claude Royer {{econet:pragues2007:facs07.pdf|}}





==== Working Materials ====

**//Project Material//** >> [[econet:materials:start|here]] <<

=== Blackboards ===

  * issues {{econet:blackboard1.jpg?150|}} * meta-model {{econet:blackboard2.jpg?150|}} * architecture {{econet:blackboard3.jpg?150|}}

=== Project Overview === 

{{econet:archiecotaskr.jpg?400|}}

=== Technical points ===
 
  * Annotation language definition [[econet:materials:annotations]]
  * Behavioural Model comparison [[econet:materials:behavioural_model_comparison]]
  * MetaModel definition [[econet:meta_model]]

=== Others ===
...
Put your random Ideas and discussion pages here :
[[econet:materials:gilles_random_ideas]]

CoCoME example assignment: [[http://dsrg.mff.cuni.cz/projects/econet/CoCoME-Assignment.zip|ZIP]]

CoCoME solution in SOFA: [[http://dsrg.mff.cuni.cz/publications/Bures-etal-CocomeSOFA.pdf|PDF]]