====== Resources for the Revised Submission ======

===== Issues =====
  * **Semantics**
    * **FIXED** <del>[[sem_1|Semantics of request propagation accross ports shall be fully aligned with UML 2.5]]</del>
    * **ONGOING** [[sem_2|The execution model shall provide a flexible mechanism for instantiation of composite structures]]
    * FIXME[[sem_3|The execution model shall support untyped connectors]]
    * FIXME[[sem_4|Architecture of the execution model shall be improved]]
  * **UML Test suite**
    * **ONGOING** [[issue#5|The test suite shall cover instantiation semantics]]
    * **ONGOING** [[test_1|The test suite shall cover other aspects of composite structure run-time lifecycle as well]]
    * **ONGOING** [[test_2|The test suite shall cover communication semantics]]
    * FIXME [[test_3|Test cases part of the test suite shall be related to coverage criteria]]
    * FIXME [[test_4|The execution model shall be tested with existing fUML and Alf test cases]]
    * **CLOSED** <del>[[test_5|The assertion library used for the test suite should allow multiple reporting mechanisms]]</del>

===== Ressources =====
  * **UML Test suite model:**
    * 20130611: {{:precisesemanticsofcomposites_testsuites.zip| Test suite and assertion library}} (Papyrus project) - Import it in your workspace as an "existing project / archive file"
    * <del>20130405: {{:test_suites_and_assertion_lib.zip|}} (Papyrus model)</del>
  * **SysML Test suite model:**
    * 20130709: SysML Test Suite model {{:sysml_test_suite_20130709.zip|}} (Papyrus model) - Import it in your workspace as an "existing project / archive file". Requires the Assertion Library model to be in the same workspace.
    * 20130405: Preliminary study from Yves {{:sysml_ports_at_m0.pptx|}}

===== Meetings =====
  * **Berlin meeting:**
    * Minutes: {{:minutes_berlin_meeting-sf.docx|}}