Program

Ondrej, Petr and me did establish a time schedule but the presentation duration are really duration-free for both the contents and questions

Day 1 and 2 are dedicated to workshop presentations. The durations and schedules leave time for numerous discussions…

• Presentation of the teams (recent work, projects, tools, …)
• Technical presentations

Day 3, 4 and 5 are dedicated to the project work (context, goal, process, tools, practical organisation and responsabilities)

1. Welcome (welcome_prague07.pdf)
2. Technical presentations about SOFA

We start by this because SOFA would be the basis of the project support.
This is an unordered list.

• DSRG Team presentation Frantisek Plasil teamdsrg.ppt
• SOFA overview Petr Hnetynka sofa2-slides.pdf
• (Extended) Behavior protocols + demo application (from CoCoME contest) Jan Kofron ebp.pdf
• Checking behavior protocols against code using Java PathFinder Pavel Parizek jpfbpc-slides.pdf

This is an unordered list.

• COLOSS Team presentation Gilles Ardourel teamcoloss.pdf
• The Kmelia Component Model Hierarchical Service Description and Analysis Pascal André slides_kmelia.pdf
• OBASCO Team presentation Jean-Claude Royer teamobasco.pdf
• Rendezvous principle Jean-Claude Royer cpa07.pdf * The STSLib project Jean-Claude Royer facs07.pdf * (UML) Model Checking - an OCL Based Approach Dan Chiorean modelchecking_econet_prague.ppt * LCI Team presentation Dan Chiorean lci_prague.ppt ===== Day 3 (Wednesday) ===== | 9:00 - 11:30 | Working session (coffee break at 10:00) | | 11:30 | Lunch | | 13:00 | SOCIAL EVENT Prague visit | | 19:00 | Dinner | Working contents * Building a common reference bibliography discuss about subject-related papers * Discussing about the ECONET project decisions on the source and target area boundaries WS Introduction Pascal DSRG contribution Frantisek Put your random Ideas and discussion pages here : gilles_random_ideas ===== Day 4 (Thursday) ===== | 9:00 - 12:00 | Working session (coffee break at 10:30) | | 12:00 | Lunch | | 13:30 - 17:00 | Work on proposal (coffee break at 15:30) | * Discussing about the ECONET project discussions on the best way to get reverse transformations and back to decisions on the source and target area boundaries discussions on the best way to get reverse transformations WS day 4 Introduction Pascal cocome_in_sofa.pdf Jan jpf.ppt Jiri Ideas Petr Hnetynka ===== Day 5 ===== Friday: ——- | 9:00 - 12:00 | Working session (coffee break at 10:30) | | 12:00 | Lunch | | 13:30 - 17:00 | Free slot (coffee break at 15:30) | * Discussing about the ECONET project * experimentations (find supporting examples) * tool environment * assessment of the workshop * synthesis * working plan * intermediate project report and second year application WS day 5 - Introduction see also the material page materials ===== Day 6 ===== back to home ====== Initial Program Covering (since june) ====== the contents will be finalised later but it includes - presentation of the teams (recent work, projects, tools, …) - decision on the source and target area boundaries - discussions on the way to get reverse transformations - find application examples - etc.