Skip to content

R
RESSAC_Use_Case
Commit 1bf80ed5 authored by anneperrineporte's avatar anneperrineporte
Browse files
Options

Revert "Revert "1st attempts of modelization"" 

This reverts commit 7e0b5486.
parent 01028de2
Hide whitespace changes
Inline Side-by-side
Showing with 531 additions and 0 deletions
BaselineDevelopmentAssurance/zodiac_model/µXAV/Architecture.di 0 → 100644
View file @ 1bf80ed5
<?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>
BaselineDevelopmentAssurance/zodiac_model/µXAV/Architecture.notation 0 → 100644
View file @ 1bf80ed5
This source diff could not be displayed because it is too large. You can view the blob instead.
BaselineDevelopmentAssurance/zodiac_model/µXAV/Architecture.uml 0 → 100644
View file @ 1bf80ed5
This source diff could not be displayed because it is too large. You can view the blob instead.
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.css 0 → 100644
View file @ 1bf80ed5
@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}
\ No newline at end of file
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.css.bak 0 → 100644
View file @ 1bf80ed5
@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}
\ No newline at end of file
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.di 0 → 100644
View file @ 1bf80ed5
<?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>
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.etp 0 → 100644
View file @ 1bf80ed5
<?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&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends&#xA;|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&#xA;|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance&#xA;|true;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification&#xA;|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&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports&#xA;|true;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends&#xA;|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&#xA;|true;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance&#xA;|true;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name&#xA;|true;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification&#xA;|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&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends&#xA;|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&#xA;|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance&#xA;|false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification&#xA;|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&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends&#xA;|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&#xA;|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance&#xA;|false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification&#xA;|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&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between Ports with compatible types&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has compatible Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal Ports has unambiguous Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Port has compatible Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector between internal and external Ports has the same Flow direction&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector connects Flow Ports, Parts or Data&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector does not connect external Ports&#xA;|false;Predefined rules|connector_compatibility_uml.ocl|Connector has two Connector ends&#xA;|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&#xA;|false;Predefined rules|flow_ports_uml.ocl|Flow Port is connected for each Block instance&#xA;|false;Predefined rules|flow_ports_uml.ocl|Internal Flow Port is not over produced&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type and direction&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between Grouped Ports with compatible types&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type and direction&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Connector between a Grouped Port and a Flow Port with compatible type, direction, and name&#xA;|false;Predefined rules|grouped_ports_uml.ocl|Grouped Port is typed with a Flow Specification&#xA;|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>&lt;selection&gt;</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>
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.ewo 0 → 100644
View file @ 1bf80ed5
[STUDIO\TOOLS\CONFIGURATIONS\Reporter]
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\XAV\\XAV.etp"="HTML"
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\XAV\\XAV.etp"="HTML"
[STUDIO\TOOLS\CONFIGURATIONS\System Checker]
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\XAV\\XAV.etp"="BasicCheck"
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\XAV\\XAV.etp"="BasicCheck"
[STUDIO\TOOLS\CONFIGURATIONS\System Configurator]
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\XAV\\XAV.etp"="Default"
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\XAV\\XAV.etp"="Default"
[STUDIO\TOOLS\CONFIGURATIONS\Synchronization]
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-05\\modele\\XAV\\XAV.etp"="Synchronization"
"C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\XAV\\XAV.etp"="Synchronization"
[STUDIO\Workspace]
"ActiveProject"="C:\\Users\\AnnePerrine.Porte\\Desktop\\RESSAC\\case_study\\2016-10-17\\modele\\XAV\\XAV.etp"
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.notation 0 → 100644
View file @ 1bf80ed5
This source diff could not be displayed because it is too large. You can view the blob instead.
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.tts 0 → 100644
View file @ 1bf80ed5
<?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>
\ No newline at end of file
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.uml 0 → 100644
View file @ 1bf80ed5
This source diff could not be displayed because it is too large. You can view the blob instead.
BaselineDevelopmentAssurance/zodiac_model/µXAV/µXAV.vsw 0 → 100644
View file @ 1bf80ed5
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", "µXAV.etp", "1"}
}
END
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment