mirror of
http://172.16.200.102/RESSAC/RESSAC_Use_Case.git
synced 2025-11-30 19:27:59 +01:00
Revert "1st attempts of modelization"
This reverts commit b5bcb8fa80ac69a350455f930cf5f57397829812.
This commit is contained in:
anneperrineporte
@@ -1,8 +0,0 @@
|
|||||||
<?xml version="1.0" encoding="UTF-8"?>
|
|
||||||
<di:SashWindowsMngr xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:di="http://www.eclipse.org/papyrus/0.7.0/sashdi">
|
|
||||||
<sashModel currentSelection="//@sashModel/@windows.0/@children.0">
|
|
||||||
<windows>
|
|
||||||
<children xsi:type="di:TabFolder"/>
|
|
||||||
</windows>
|
|
||||||
</sashModel>
|
|
||||||
</di:SashWindowsMngr>
|
|
||||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
@@ -1,78 +0,0 @@
|
|||||||
@charset "UTF-8";
|
|
||||||
|
|
||||||
Property.BlockPT {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
fillColor: #8080FF;
|
|
||||||
transparency: 0;
|
|
||||||
gradient: #CCCCFF vertical;
|
|
||||||
lineColor: #000000;
|
|
||||||
maskLabel: name}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlockPT > Compartment {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlockPT > Compartment[kind=structure] {
|
|
||||||
visible: true;
|
|
||||||
collapsed: false;
|
|
||||||
showTitle: false}
|
|
||||||
|
|
||||||
Property.BlocUAV {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
fillColor: #538FFF;
|
|
||||||
transparency: 0;
|
|
||||||
gradient: #A6C5FF vertical;
|
|
||||||
lineColor: #000000;
|
|
||||||
shadow: false;
|
|
||||||
maskLabel: name}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlocUAV > Compartment {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlocUAV > Compartment[kind=structure] {
|
|
||||||
visible: true;
|
|
||||||
collapsed: false;
|
|
||||||
showTitle: false}
|
|
||||||
|
|
||||||
Connector.DigitalCom {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Rectilinear;
|
|
||||||
lineColor: #00D936;
|
|
||||||
lineWidth: 3}
|
|
||||||
|
|
||||||
Connector.DigitalCom > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Connector.AnalogCom {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Rectilinear;
|
|
||||||
lineColor: #FF0000;
|
|
||||||
lineWidth: 1}
|
|
||||||
|
|
||||||
Connector.AnalogCom > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Connector.Oblique {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Manual;
|
|
||||||
lineColor: #000000}
|
|
||||||
|
|
||||||
Connector.Oblique > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Connector.InternalConnect {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Rectilinear;
|
|
||||||
lineColor: #98A8BF}
|
|
||||||
|
|
||||||
Connector.InternalConnect > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Port[appliedStereotypes~=FlowPort].IssuePort {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
fillColor: #FF0000;
|
|
||||||
transparency: 0;
|
|
||||||
lineColor: #000000}
|
|
||||||
|
|
||||||
Port[appliedStereotypes~=FlowPort].IssuePort > Label {
|
|
||||||
visible: true;
|
|
||||||
maskLabel: multiplicity name}
|
|
||||||
@@ -1,77 +0,0 @@
|
|||||||
@charset "UTF-8";
|
|
||||||
|
|
||||||
Property.BlockPT {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
fillColor: #8080FF;
|
|
||||||
transparency: 0;
|
|
||||||
gradient: #CCCCFF vertical;
|
|
||||||
lineColor: #000000;
|
|
||||||
maskLabel: name}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlockPT > Compartment {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlockPT > Compartment[kind=structure] {
|
|
||||||
visible: true;
|
|
||||||
collapsed: false;
|
|
||||||
showTitle: false}
|
|
||||||
|
|
||||||
Property.BlocUAV {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
fillColor: #538FFF;
|
|
||||||
transparency: 0;
|
|
||||||
gradient: #A6C5FF vertical;
|
|
||||||
lineColor: #000000;
|
|
||||||
shadow: false;
|
|
||||||
maskLabel: name}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlocUAV > Compartment {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
InternalBlockDiagram Property.BlocUAV > Compartment[kind=structure] {
|
|
||||||
visible: true;
|
|
||||||
collapsed: false;
|
|
||||||
showTitle: false}
|
|
||||||
|
|
||||||
Connector.DigitalCom {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Rectilinear;
|
|
||||||
lineColor: #00D936;
|
|
||||||
lineWidth: 3}
|
|
||||||
|
|
||||||
Connector.DigitalCom > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Connector.AnalogCom {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Rectilinear;
|
|
||||||
lineColor: #FF0000;
|
|
||||||
lineWidth: 1}
|
|
||||||
|
|
||||||
Connector.AnalogCom > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Connector.Oblique {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Manual;
|
|
||||||
lineColor: #000000}
|
|
||||||
|
|
||||||
Connector.Oblique > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Connector.InternalConnect {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
routing: Rectilinear;
|
|
||||||
lineColor: #98A8BF}
|
|
||||||
|
|
||||||
Connector.InternalConnect > Label:Name {
|
|
||||||
visible: false}
|
|
||||||
|
|
||||||
Port[appliedStereotypes~=FlowPort].IssuePort {
|
|
||||||
fontName: "Segoe UI";
|
|
||||||
transparency: 0;
|
|
||||||
lineColor: #000000}
|
|
||||||
|
|
||||||
Port[appliedStereotypes~=FlowPort].IssuePort > Label {
|
|
||||||
visible: true;
|
|
||||||
maskLabel: multiplicity name}
|
|
||||||
@@ -1,167 +0,0 @@
|
|||||||
<?xml version="1.0" encoding="UTF-8"?>
|
|
||||||
<di:SashWindowsMngr xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:di="http://www.eclipse.org/papyrus/0.7.0/sashdi" xmi:id="_ZnYyQIucEeaxuZIhBrL_Bw">
|
|
||||||
<pageList xmi:id="_ZnYyQYucEeaxuZIhBrL_Bw">
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_GLtKwIueEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_8aW6kIufEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_O8L6MIukEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_dRN-sIunEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_HNOGkIuoEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_p8lBkIuoEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_w5mdEIuzEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage/>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_O9jicIvAEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_J3RTMIvCEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_FjzZQIvKEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="Separate%20Files/Architecture.notation#_41rukIvOEeaxuZIhBrL_Bw"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzCswIxjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzCs3oxjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzDUNYxjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzDUU4xjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzEifoxjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzEinIxjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzEiqoxjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzFJb4xjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzFwT4xjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzGXUYxjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KzG-a4xjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_h8R3YIyeEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_dD7y8IyfEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_HcmosIygEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_gU4w4IygEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_rcG88IygEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_6QaM0IyiEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KOxG8IyjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_nS0sAIyjEeazSZo1GnYHtQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_rV-jUJRBEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_-XjhYJRCEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_ArnOsJRDEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_j4KcAJRDEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_qPqwoJRDEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_IL564JREEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_KPJlAJREEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_It7NYJRFEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_XiIBgJRFEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_C2fOAJRHEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_q4Bs8JRKEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_7xwDIJRKEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_GiXtEJRLEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_0foQoJRbEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_mVd7MJRfEeauyPcgGFLi8w"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_cBCtsJUSEea71cyKfw1btQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_e1hAcJUSEea71cyKfw1btQ"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_XGYuUJXSEeafpMieXrV3wA"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_iNOf4JXSEeafpMieXrV3wA"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_R5QFoJXTEeafpMieXrV3wA"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_1VGTMJXTEeafpMieXrV3wA"/>
|
|
||||||
</availablePage>
|
|
||||||
<availablePage>
|
|
||||||
<emfPageIdentifier href="µXAV.notation#_AWHJkJXUEeafpMieXrV3wA"/>
|
|
||||||
</availablePage>
|
|
||||||
</pageList>
|
|
||||||
<sashModel xmi:id="_ZnYyQoucEeaxuZIhBrL_Bw" currentSelection="_ZnYyQ4ucEeaxuZIhBrL_Bw">
|
|
||||||
<windows xmi:id="_ZnYyRIucEeaxuZIhBrL_Bw">
|
|
||||||
<children xsi:type="di:TabFolder" xmi:id="_ZnYyQ4ucEeaxuZIhBrL_Bw"/>
|
|
||||||
</windows>
|
|
||||||
</sashModel>
|
|
||||||
</di:SashWindowsMngr>
|
|
||||||
@@ -1,135 +0,0 @@
|
|||||||
<?xml version="1.0" encoding="UTF-8"?>
|
|
||||||
<Project id="1" oid_count="45" defaultConfiguration="2">
|
|
||||||
<props>
|
|
||||||
<Prop id="3" name="@STUDIO:PRODUCT">
|
|
||||||
<value>SYSTEM</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="4" name="@SYSTEM:VERSION">
|
|
||||||
<value>5.0.0</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="5" name="@SYSTEM:NOTEFILE">
|
|
||||||
<value>$(SCADE)/lib/SyncSystem.aty</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="9" name="@REPORTER:SCRIPT">
|
|
||||||
<value>Reporter/ScadeSystemReport.tcl</value>
|
|
||||||
<configuration>8</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="10" name="@REPORTER:RotateLandscape">
|
|
||||||
<value>true</value>
|
|
||||||
<configuration>8</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="11" name="@REPORTER:cstDisplayType">
|
|
||||||
<value>Flat</value>
|
|
||||||
<configuration>8</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="12" name="@STUDIO:TOOLCONF">
|
|
||||||
<value>Reporter</value>
|
|
||||||
<value>8</value>
|
|
||||||
<value>13</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="14" name="@REPORTER:FORMAT">
|
|
||||||
<value>rtf</value>
|
|
||||||
<configuration>13</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="15" name="@REPORTER:SCRIPT">
|
|
||||||
<value>Reporter/ScadeSystemReport.tcl</value>
|
|
||||||
<configuration>13</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="16" name="@REPORTER:RotateLandscape">
|
|
||||||
<value>true</value>
|
|
||||||
<configuration>13</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="17" name="@REPORTER:cstDisplayType">
|
|
||||||
<value>Flat</value>
|
|
||||||
<configuration>13</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="19" name="@SYSTEM_CHECKER:CONSTRAINT_ENABLEMENT">
|
|
||||||
<value>;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|true;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|true;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|true;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data
|true;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports
|true;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends
|true;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|true;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced
|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance
|true;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced
|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction
|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types
|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction
|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification
|true</value>
|
|
||||||
<configuration>18</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="20" name="@STUDIO:TOOLCONF">
|
|
||||||
<value>System Checker</value>
|
|
||||||
<value>18</value>
|
|
||||||
<value>21</value>
|
|
||||||
<value>23</value>
|
|
||||||
<value>25</value>
|
|
||||||
<value>27</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="22" name="@SYSTEM_CHECKER:CONSTRAINT_ENABLEMENT">
|
|
||||||
<value>;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|true;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|true;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|true;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction
|true;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data
|true;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports
|true;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends
|true;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|true;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced
|true;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance
|true;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced
|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction
|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name
|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types
|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction
|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name
|true;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification
|true</value>
|
|
||||||
<configuration>21</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="24" name="@SYSTEM_CHECKER:CONSTRAINT_ENABLEMENT">
|
|
||||||
<value>;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|false;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|false;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|true;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|true;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|true;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|true;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|false;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data
|false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports
|false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends
|false;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|false;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced
|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance
|false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types
|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction
|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification
|false</value>
|
|
||||||
<configuration>23</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="26" name="@SYSTEM_CHECKER:CONSTRAINT_ENABLEMENT">
|
|
||||||
<value>;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|false;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|false;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|false;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|true;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|true;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|true;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|true;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|true;Predefined rules|Model consistency rules|Check consistency of configured instances|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data
|false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports
|false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends
|false;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|false;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced
|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance
|false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types
|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction
|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification
|false</value>
|
|
||||||
<configuration>25</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="28" name="@SYSTEM_CHECKER:CONSTRAINT_ENABLEMENT">
|
|
||||||
<value>;Predefined rules|Connector path rules|Check Connector path for a Connector connected to a reference|false;Predefined rules|Connector path rules|Verify if the Connector paths of nested Connectors are correct|false;Predefined rules|Data propagation rules|Check the representation of Data on graphical diagrams|false;Predefined rules|Data propagation rules|Data connected to Flow Port has bound Data in all container Blocks|false;Predefined rules|Data propagation rules|Data connects to Flow Port or is bound to another Data|false;Predefined rules|Data propagation rules|Data is propagated across at least one Connector|false;Predefined rules|Data propagation rules|Data is propagated to final Flow Port|false;Predefined rules|Diagram representation rules|Check the representation on graphical diagrams|false;Predefined rules|Inter-level consistency rules|Allocation is between compatible elements|false;Predefined rules|Inter-level consistency rules|Allocation is between primary Data|false;Predefined rules|Inter-level consistency rules|Allocation respects Block structure|false;Predefined rules|Inter-level consistency rules|Allocation respects Data propagation|false;Predefined rules|Inter-level consistency rules|Data propagation respects Allocations|false;Predefined rules|Model consistency rules|Check consistency of configured instances|true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible DataType Dimension
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction
|false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data
|false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports
|false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends
|false;Predefined rules|datatypes_system.tcl|Check DataType Unit and Dimension consistency|false;Predefined rules|flow_ports_uml.ocl|External Flow Port is not over produced
|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance
|false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types
|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction
|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name
|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification
|false</value>
|
|
||||||
<configuration>27</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="30" name="@STUDIO:TOOLCONF">
|
|
||||||
<value>Synchronization</value>
|
|
||||||
<value>29</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="37" name="@STUDIO:TOOLCONF">
|
|
||||||
<value>System Configurator</value>
|
|
||||||
<value>2</value>
|
|
||||||
<value>8</value>
|
|
||||||
<value>13</value>
|
|
||||||
<value>18</value>
|
|
||||||
<value>21</value>
|
|
||||||
<value>23</value>
|
|
||||||
<value>25</value>
|
|
||||||
<value>27</value>
|
|
||||||
<value>29</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="38" name="@SYSTEM:CHECKERFILTER">
|
|
||||||
<value>0</value>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="44" name="@SYSTEM_CHECKER:DEFAULT_ROOT">
|
|
||||||
<value><selection></value>
|
|
||||||
<configuration>18</configuration>
|
|
||||||
</Prop>
|
|
||||||
<Prop id="45" name="@SYSTEM_CHECKER:LIVE_CHECK_MODE">
|
|
||||||
<value>disabled</value>
|
|
||||||
<configuration>18</configuration>
|
|
||||||
</Prop>
|
|
||||||
</props>
|
|
||||||
<roots>
|
|
||||||
<Folder id="6" extensions="di;uml;notation" name="SCADE System Model Files">
|
|
||||||
<elements>
|
|
||||||
<Folder id="7" extensions="di;uml;notation" name="Separate Files">
|
|
||||||
<elements>
|
|
||||||
<FileRef id="39" persistAs="Architecture.di"/>
|
|
||||||
<FileRef id="40" persistAs="Architecture.notation"/>
|
|
||||||
<FileRef id="41" persistAs="Architecture.uml"/>
|
|
||||||
</elements>
|
|
||||||
</Folder>
|
|
||||||
<FileRef id="31" persistAs="µXAV.di">
|
|
||||||
<props>
|
|
||||||
<Prop id="32" name="@SYSTEM:ROOTDIFILE"/>
|
|
||||||
</props>
|
|
||||||
</FileRef>
|
|
||||||
<FileRef id="33" persistAs="µXAV.uml"/>
|
|
||||||
<FileRef id="34" persistAs="µXAV.notation"/>
|
|
||||||
<FileRef id="36" persistAs="µXAV.tts"/>
|
|
||||||
</elements>
|
|
||||||
</Folder>
|
|
||||||
<FileRef id="35" persistAs="µXAV.css"/>
|
|
||||||
</roots>
|
|
||||||
<configurations>
|
|
||||||
<Configuration id="2" name="Default"/>
|
|
||||||
<Configuration id="8" name="HTML"/>
|
|
||||||
<Configuration id="13" name="RTF"/>
|
|
||||||
<Configuration id="18" name="BasicCheck"/>
|
|
||||||
<Configuration id="21" name="ExtendedCheck"/>
|
|
||||||
<Configuration id="23" name="DataPropCheck"/>
|
|
||||||
<Configuration id="25" name="InterLevelCheck"/>
|
|
||||||
<Configuration id="27" name="ModelConsistencyCheck"/>
|
|
||||||
<Configuration id="29" name="Synchronization"/>
|
|
||||||
</configurations>
|
|
||||||
</Project>
|
|
||||||
@@ -1,24 +0,0 @@
|
|||||||
|
|
||||||
[STUDIO\TOOLS\CONFIGURATIONS\Reporter]
|
|
||||||
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\<5C>XAV\\<5C>XAV.etp"="HTML"
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\<5C>XAV\\<5C>XAV.etp"="HTML"
|
|
||||||
|
|
||||||
[STUDIO\TOOLS\CONFIGURATIONS\System Checker]
|
|
||||||
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\<5C>XAV\\<5C>XAV.etp"="BasicCheck"
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\<5C>XAV\\<5C>XAV.etp"="BasicCheck"
|
|
||||||
|
|
||||||
[STUDIO\TOOLS\CONFIGURATIONS\System Configurator]
|
|
||||||
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\<5C>XAV\\<5C>XAV.etp"="Default"
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\<5C>XAV\\<5C>XAV.etp"="Default"
|
|
||||||
|
|
||||||
[STUDIO\TOOLS\CONFIGURATIONS\Synchronization]
|
|
||||||
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\<5C>XAV\\<5C>XAV.etp"="Synchronization"
|
|
||||||
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\<5C>XAV\\<5C>XAV.etp"="Synchronization"
|
|
||||||
|
|
||||||
[STUDIO\Workspace]
|
|
||||||
|
|
||||||
"ActiveProject"="C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\<5C>XAV\\<5C>XAV.etp"
|
|
||||||
File diff suppressed because it is too large
Load Diff
@@ -1,9 +0,0 @@
|
|||||||
<?xml version="1.0" encoding="UTF-8"?>
|
|
||||||
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:nattable="http://www.eclipse.org/papyrus/nattable/model"
|
|
||||||
xmlns:nattableaxis="http://www.eclipse.org/papyrus/nattable/model/table/nattableaxis" xmlns:nattableaxisconfiguration="http://www.eclipse.org/papyrus/nattable/model/table/nattableaxisconfiguration"
|
|
||||||
xmlns:nattableaxisprovider="http://www.eclipse.org/papyrus/nattable/model/table/nattableaxisprovider" xmlns:nattableconfiguration="http://www.eclipse.org/papyrus/nattable/model/nattableconfiguration"
|
|
||||||
xmlns:nattablelabelprovider="http://www.eclipse.org/papyrus/nattable/model/table/nattablecontentprovider" xmlns:nattablestyle="http://www.eclipse.org/papyrus/nattable/model/table/nattablestyle"
|
|
||||||
xmlns:nattabletester="http://www.eclipse.org/papyrus/nattable/model/table/nattabletester" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"
|
|
||||||
xsi:schemaLocation="http://www.eclipse.org/papyrus/nattable/model/table/nattableaxis http://www.eclipse.org/papyrus/nattable/model#//nattableaxis http://www.eclipse.org/papyrus/nattable/model/table/nattableaxisconfiguration http://www.eclipse.org/papyrus/nattable/model#//nattableaxisconfiguration http://www.eclipse.org/papyrus/nattable/model/table/nattableaxisprovider http://www.eclipse.org/papyrus/nattable/model#//nattableaxisprovider http://www.eclipse.org/papyrus/nattable/model/nattableconfiguration http://www.eclipse.org/papyrus/nattable/model#//nattableconfiguration http://www.eclipse.org/papyrus/nattable/model/table/nattablecontentprovider http://www.eclipse.org/papyrus/nattable/model#//nattablelabelprovider http://www.eclipse.org/papyrus/nattable/model/table/nattablestyle http://www.eclipse.org/papyrus/nattable/model#//nattablestyle http://www.eclipse.org/papyrus/nattable/model/table/nattabletester http://www.eclipse.org/papyrus/nattable/model#//nattabletester">
|
|
||||||
|
|
||||||
</xmi:XMI>
|
|
||||||
File diff suppressed because it is too large
Load Diff
@@ -1,30 +0,0 @@
|
|||||||
Entities_Definitions DEFINITIONS ::= BEGIN
|
|
||||||
project_ref ::= SEQUENCE OF {
|
|
||||||
SEQUENCE {
|
|
||||||
identity oid,
|
|
||||||
persist_as string,
|
|
||||||
workspace oid
|
|
||||||
}
|
|
||||||
}
|
|
||||||
workspace ::= SEQUENCE OF {
|
|
||||||
SEQUENCE {
|
|
||||||
identity oid,
|
|
||||||
active_project oid
|
|
||||||
}
|
|
||||||
}
|
|
||||||
base ::= SEQUENCE OF {
|
|
||||||
SEQUENCE {
|
|
||||||
oid_count integer,
|
|
||||||
version string
|
|
||||||
}
|
|
||||||
}
|
|
||||||
base ::= {
|
|
||||||
{2, ""}
|
|
||||||
}
|
|
||||||
workspace ::= {
|
|
||||||
{"1", "2"}
|
|
||||||
}
|
|
||||||
project_ref ::= {
|
|
||||||
{"2", "<22>XAV.etp", "1"}
|
|
||||||
}
|
|
||||||
END
|
|
||||||
Reference in New Issue
Block a user