diff --git a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps index d59360c6..d3134913 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps +++ b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.behavior.mps @@ -1239,7 +1239,7 @@ - + diff --git a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps index 9484f3c8..e841a337 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps +++ b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps @@ -207,6 +207,7 @@ + @@ -497,19 +498,27 @@ - - - + + + + - - - - - - - + + + + + + + + + + + + + + diff --git a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps index 1e2616f9..d73be211 100644 --- a/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps +++ b/code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.structure.mps @@ -10,6 +10,24 @@ + + + + + + + + + + + + + + + + + + @@ -39,6 +57,7 @@ + @@ -80,6 +99,23 @@ + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps index bb745569..b007df84 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.rcp.pluginSolution/models/com.fasten.safety.rcp.pluginSolution.plugin.mps @@ -1045,7 +1045,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_010_usecase_diagram.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_010_usecase_diagram.mpsr new file mode 100644 index 00000000..06099069 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_010_usecase_diagram.mpsr @@ -0,0 +1,121 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_020_component_diagram.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_020_component_diagram.mpsr new file mode 100644 index 00000000..5cb3055b --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._015_system_models/_020_component_diagram.mpsr @@ -0,0 +1,117 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +