Bug: https://bugs.polarsys.org/show_bug.cgi?id=1821


Signed-off-by: Irfan Sljivo <irfan.sljivo@gmail.com>

Change-Id: I617b719c9234d5ea809d5f7723c595f41111c54e
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Change-Id: I93b8c36709206e89e09eaf9a2be3a2c8bc3694f3
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>

Update to the contributors header of the changed files related to the previous commit

Bug: https://bugs.polarsys.org/show_bug.cgi?id=1821


Signed-off-by: Irfan Sljivo <irfan.sljivo@gmail.com>

Support for alternative way of checking contract refinement with OCRA tool by distinguishing between strong and weak contracts. The corresponding MTL transformation updated, new command for validation of weak contracts added as well as update of contract statusses upon validation check.

Bug: https://bugs.polarsys.org/show_bug.cgi?id=1821


Signed-off-by: Irfan Sljivo <irfan.sljivo@gmail.com>

Acceleo transformation updated to latest CHESS profile:
only UML Constraints specified as OpaqueExpression are now considered
for the oss and smv transformation.
if the 'language' property of the opaqueExpression contains an OCRA/SMV
entry, then the corresponding value is propagated to the .oss/.smv
generated file.

updated selection dialog for refinement analysis, to select an analysis
context

"Export to SMV" feature available from ModelExplorer

bounded interval is involved

Bounded interval in the model was erroneously transformed into
"{minValue, maxValue}". 
Bounded interval in the model is now transformed into "minValue ..
maxValue"

Change-Id: I1de41f25e0579ff3784c6d83cb05cfdfdcaa74c8
Signed-off-by: Laura Baracchi <laura.baracchi@intecs.it>