diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml
index 2d82836ae560d71b6d4cc7175fb781831555fb35..1b07bac75f658c91b33eef1eb33acc4a6742d956 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generate.xml
@@ -46,7 +46,7 @@
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.13.100.v20160506-0759.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.11.1.v20161107-2032.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.12.3.v20170119-0935.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.3.201903050251.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.100.v20170227-0935.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.2.0.201703081153.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.3.0.201703080851.jar"/>
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml
index 338f06a9bbfe4ec950e132e23ccd696450813b21..6f4878a1a8120b613ab320a01368e1c767eb1de6 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateErrorModel.xml
@@ -46,7 +46,7 @@
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.13.100.v20160506-0759.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.11.1.v20161107-2032.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.12.3.v20170119-0935.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.3.201903050251.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.100.v20170227-0935.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.2.0.201703081153.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.3.0.201703080851.jar"/>
diff --git a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml
index 5bab919942752e056de3b41902aeca9b37913eba..07574c41e44d82372dcff2fbf2038138a3698d6a 100644
--- a/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml
+++ b/plugins/contracts/org.polarsys.chess.contracts.transformations/tasks/generateFaultExtensions.xml
@@ -46,7 +46,7 @@
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.e4.ui.workbench3_0.13.100.v20160506-0759.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.11.1.v20161107-2032.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.ui.ide_3.12.3.v20170119-0935.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.0.201703081153.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.3.201903050251.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.uml2.uml.profile.standard_1.0.100.v20170227-0935.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.sysml_1.2.0.201703081153.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.editor_1.3.0.201703080851.jar"/>
diff --git a/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/.gitignore b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..2742e711020a36b686689e7d495d591f3816470a
--- /dev/null
+++ b/plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/src/org/polarsys/chess/contracts/verificationService/test/runtime/tests/.gitignore
@@ -0,0 +1 @@
+/TestCheckContractRefinementOfCHESSComponent.java
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/contentassist/.FlaDslProposalProvider.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/contentassist/.FlaDslProposalProvider.xtendbin
index 1c72d3906de90475f9c06d8aeea3ed4c0569e982..969f5a8e9e44086465ba4906c9e14da311a1c12a 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/contentassist/.FlaDslProposalProvider.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/contentassist/.FlaDslProposalProvider.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslDescriptionLabelProvider.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslDescriptionLabelProvider.xtendbin
index 64bdebbc0da0f17341667cf5fd3bfd6289399538..cd83a3a0d97944204f93211f259358f1634e3f5a 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslDescriptionLabelProvider.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslDescriptionLabelProvider.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslLabelProvider.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslLabelProvider.xtendbin
index a7c36724b8e9358d6e78ca897288a7a3b5b9b52e..237c9418cd9c743d55773bdfb689ca39c1bc3ec3 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslLabelProvider.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/labeling/.FlaDslLabelProvider.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/outline/.FlaDslOutlineTreeProvider.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/outline/.FlaDslOutlineTreeProvider.xtendbin
index 672069ec589b7c7a7612b31b97619d5d496a3af6..df296af3653527593ed909e0da2a98016c03130a 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/outline/.FlaDslOutlineTreeProvider.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/outline/.FlaDslOutlineTreeProvider.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/quickfix/.FlaDslQuickfixProvider.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/quickfix/.FlaDslQuickfixProvider.xtendbin
index 4520fe1e964dcd0cbe21dbb8e82b3bb2fff41efc..3252cea3a23107051d9f0d28185e9175e6300112 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/quickfix/.FlaDslQuickfixProvider.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl.ui/xtend-gen/org/polarsys/chess/xtext/ui/quickfix/.FlaDslQuickfixProvider.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/formatting/.FlaDslFormatter.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/formatting/.FlaDslFormatter.xtendbin
index bbd50bc14f9a266552f409f3e9c1565d632a445c..fd80a2727400cf811dc0544999f334c63c3bfe14 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/formatting/.FlaDslFormatter.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/formatting/.FlaDslFormatter.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/generator/.FlaDslGenerator.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/generator/.FlaDslGenerator.xtendbin
index bb8b2ffa1cd125d5368ddb9e7f78838f660960a1..e066db7b2f859223471418c74ad0669fad9d8a43 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/generator/.FlaDslGenerator.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/generator/.FlaDslGenerator.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/scoping/.FlaDslScopeProvider.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/scoping/.FlaDslScopeProvider.xtendbin
index dedca94bd159a1d01eca79aae7a02e0b94ff722f..5ed6340ee220edff72f416611b2ef10513d65eb0 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/scoping/.FlaDslScopeProvider.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/scoping/.FlaDslScopeProvider.xtendbin differ
diff --git a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/validation/.FlaDslValidator.xtendbin b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/validation/.FlaDslValidator.xtendbin
index b4cda87e2c392f7f79922e9067d52a5d89189cc6..abe43f0dcaa61f3231d22478db73a0e924b53995 100644
Binary files a/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/validation/.FlaDslValidator.xtendbin and b/plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen/org/polarsys/chess/xtext/validation/.FlaDslValidator.xtendbin differ
diff --git a/plugins/org.polarsys.chess.codegen.ada/tasks/generateInfrastructure.xml b/plugins/org.polarsys.chess.codegen.ada/tasks/generateInfrastructure.xml
index 68a41f1c2f81908093df5e041ca25c6de82063e8..a65b94417dcc399a9e6dc6502c1a7c2135e034e1 100644
--- a/plugins/org.polarsys.chess.codegen.ada/tasks/generateInfrastructure.xml
+++ b/plugins/org.polarsys.chess.codegen.ada/tasks/generateInfrastructure.xml
@@ -37,7 +37,7 @@
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.acceleo.engine_3.6.6.201610060831.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen.ecore_2.12.0.v20160526-0356.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.emf.codegen_2.11.0.v20160526-0356.jar"/>
- <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.3.201812120252.jar"/>
+ <pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.marte.static.profile_1.2.3.201903050251.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.commands_3.8.1.v20161221-1651.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.core.resources_3.11.1.v20161107-2032.jar"/>
<pathelement location="${ECLIPSE_HOME}/plugins/org.eclipse.papyrus.infra.core_2.1.1.201703080851.jar"/>
diff --git a/plugins/org.polarsys.chess.paramArchConfigurator/bin/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.class b/plugins/org.polarsys.chess.paramArchConfigurator/bin/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.class
index 4a4f7671c7d023a67215ba9940cf855ec3f78f14..37423f48a497f215a57ac9c1f871abd954c4b807 100644
Binary files a/plugins/org.polarsys.chess.paramArchConfigurator/bin/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.class and b/plugins/org.polarsys.chess.paramArchConfigurator/bin/org/polarsys/chess/paramArchConfigurator/commands/InstantiateParamArchAsOssFileCommand.class differ