Resources for the Revised Submission

FIXED Semantics of request propagation accross ports shall be fully aligned with UML 2.5

ONGOING The execution model shall provide a flexible mechanism for instantiation of composite structures

The execution model shall support untyped connectors

Architecture of the execution model shall be improved

ONGOING The test suite shall cover instantiation semantics

ONGOING The test suite shall cover other aspects of composite structure run-time lifecycle as well

ONGOING The test suite shall cover communication semantics

Test cases part of the test suite shall be related to coverage criteria

The execution model shall be tested with existing fUML and Alf test cases

CLOSED The assertion library used for the test suite should allow multiple reporting mechanisms

20130611: Test suite and assertion library (Papyrus project) - Import it in your workspace as an “existing project / archive file”

20130405: test_suites_and_assertion_lib.zip (Papyrus 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

Minutes: minutes_berlin_meeting-sf.docx