Commit a10e7f03 authored by Simon Barner's avatar Simon Barner
Browse files

Manual adaptations to make models load

* Ensure that both the "id" and "xmi:id" attribute is set
* Avoid using deprecated "SIL" and bounds annotation/specification
* Remove broken "referencedBy" attributes
* Remove references to outdated "efficientdeployment" package /
  DSE project
* Remove access to outdated "bounds" specification
* Remove "tlspec" specification

Issue-Ref: 3642
Issue-Url: https://af3-developer.fortiss.org/issues/3642
parent 47cbd9d7
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-bounds="http://www.fortiss.org/af3/bounds" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="CCodeGeneratorComponentsTestData">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" id="2">
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="0" id="0" name="CCodeGeneratorComponentsTestData">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2">
<typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
</configurationElements>
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" id="3">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" xmi:id="3" id="3">
<development xsi:type="org-fortiss-af3-project-development:DummyDevelopmentProcess"/>
</configurationElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" id="4" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="5" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="7" name="SimpleExamples" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="31" name="ArrayAccess" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="38"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="39">
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" xmi:id="4" id="4" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="5" id="5" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="7" id="7" name="SimpleExamples" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="31" id="31" name="ArrayAccess" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="38" id="38"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="39" id="39">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="Output"/>
......@@ -25,10 +25,10 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="52"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="33" name="Input" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="40">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="52" id="52"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="33" id="33" name="Input" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="40" id="40">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array" def="32"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:ArrayConst">
<values xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
......@@ -36,19 +36,17 @@
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="41" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="34" name="Output" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="42">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="34" id="34" name="Output" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="42" id="42">
<type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="-255" upperBound="254"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="43" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
......@@ -58,9 +56,9 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="48" y="24"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="241" height="97"/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-component:Component" id="35" name="ArrayAccess1" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="44"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="45">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="35" id="35" name="ArrayAccess1" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="44" id="44"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="45" id="45">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable xsi:type="org-fortiss-af3-expression-terms:ComplexVar" identifier="Output[1]">
......@@ -78,10 +76,10 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="53"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="36" name="Input" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="46">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="53" id="53"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="36" id="36" name="Input" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="46" id="46">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array" def="32"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:ArrayConst">
<values xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
......@@ -89,16 +87,15 @@
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="3"/>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="47" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="37" name="Output" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="48">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array"/>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="37" id="37" name="Output" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="48" id="48">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Int4Array" def="32"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:ArrayConst">
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="1"/>
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="2"/>
......@@ -106,7 +103,6 @@
<values xsi:type="org-fortiss-af3-expression-terms:IntConst" value="4"/>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="49" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
......@@ -116,19 +112,20 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="48" y="120"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="241" height="97"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="50"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="54"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="50" id="50"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="54" id="54"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="108" y="36"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="217" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="51"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="55"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="51" id="51"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="55" id="55"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:DataDictionaryRefSpec" xmi:id="56" id="56" dataDictionary="6"/>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" id="6">
<typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Array" id="32" name="Int4Array" length="4">
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" xmi:id="6" id="6">
<typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Array" xmi:id="32" id="32" name="Int4Array" length="4">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
</typeDefinitions>
</rootElements>
......
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-bounds="http://www.fortiss.org/af3/bounds" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-sil="http://www.fortiss.org/af3/sil" xmlns:org-fortiss-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="ComponentBasicTests">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" id="2">
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="ComponentBasicTests" xmi:id="0" :id="0">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2">
<typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
</configurationElements>
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" id="3">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" xmi:id="3" id="3">
<development xsi:type="org-fortiss-af3-project-development:DummyDevelopmentProcess"/>
</configurationElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" id="4" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="5" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="6" name="ScopingIssueWithVariables" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="8" name="Child" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="16"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="17"/>
<specifications xsi:type="org-fortiss-af3-state:StateAutomaton" id="18">
<containedElements xsi:type="org-fortiss-af3-state:State" id="11" name="State Automaton" comment="">
<containedElements xsi:type="org-fortiss-af3-state:State" id="12" name="Init" comment="">
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" id="19" initial="true">
<idleTransitionsSpecifications id="20"/>
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" xmi:id="4" id="4" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="5" id="5" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="6" id="6" name="ScopingIssueWithVariables" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="8" id="8" name="Child" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="16" id="16"/>
<specifications xsi:type="org-fortiss-af3-state:StateAutomaton" xmi:id="18" id="18">
<containedElements xsi:type="org-fortiss-af3-state:State" xmi:id="11" id="11" name="State Automaton" comment="">
<containedElements xsi:type="org-fortiss-af3-state:State" xmi:id="12" id="12" name="Init" comment="">
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" xmi:id="19" id="19" initial="true">
<idleTransitionsSpecifications xmi:id="20" id="20"/>
</specifications>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentExitConnector" id="14" name="Output" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.2/@containedElements.0/@connections.0">
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentExitConnector" xmi:id="14" id="14" name="Output" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.0">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Angle" key="cangle" angle="-1.693768196359194"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentEntryConnector" id="15" name="Input" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.2/@containedElements.0/@connections.0">
<connectors xsi:type="org-fortiss-af3-state:TransitionSegmentEntryConnector" xmi:id="15" id="15" name="Input" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@connections.0">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
......@@ -37,11 +36,11 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="84" y="109"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="212" height="132"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" id="21">
<idleTransitionsSpecifications id="22"/>
<specifications xsi:type="org-fortiss-af3-state:StateSpecification" xmi:id="21" id="21">
<idleTransitionsSpecifications xmi:id="22" id="22"/>
</specifications>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" id="13" name="Access to port from parent" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.2/@containedElements.0/@containedElements.0/@connectors.0" target="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.2/@containedElements.0/@containedElements.0/@connectors.1">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" id="23">
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="13" id="13" name="Access to port from parent" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.0/@connectors.0" target="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@specifications.1/@containedElements.0/@containedElements.0/@connectors.1">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" xmi:id="23" id="23">
<guard>
<expression xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
<function xsi:type="org-fortiss-af3-expression-terms:PredefinedFunction" operator="Equal"/>
......@@ -58,13 +57,12 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
</containedElements>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="32"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="9" name="PortInChild" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="24">
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="32" id="32"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="9" id="9" name="PortInChild" comment="" incoming="//@rootElements.1/@containedElements.0/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="24" id="24">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="25" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
......@@ -74,18 +72,16 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="360" y="204"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="169" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="26"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="27"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="33"/>
<connections xsi:type="org-fortiss-af3-component:Channel" id="10" name="Channel" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@connectors.0" target="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@connectors.0">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="26" id="26"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="33" id="33"/>
<connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="10" id="10" name="Channel" comment="" source="//@rootElements.1/@containedElements.0/@containedElements.0/@connectors.0" target="//@rootElements.1/@containedElements.0/@containedElements.0/@containedElements.0/@connectors.0">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="7" name="PortInParent" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="28">
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="7" id="7" name="PortInParent" comment="" outgoing="//@rootElements.1/@containedElements.0/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="28" id="28">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="29" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="120" y="228"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
......@@ -95,9 +91,8 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="36" y="48"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="301" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="30"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="31"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="34"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="30" id="30"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="34" id="34"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
</containedElements>
......
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-bounds="http://www.fortiss.org/af3/bounds" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="ComponentComplexTypesSimulatorTests">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" id="2">
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="ComponentComplexTypesSimulatorTests" xmi:id="0" id="0">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2">
<typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
</configurationElements>
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" id="3">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" xmi:id="3" id="3">
<development xsi:type="org-fortiss-af3-project-development:DummyDevelopmentProcess"/>
</configurationElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" id="4">
<typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Structure" id="7" name="Point">
<members id="8" name="x">
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" xmi:id="4" id="4">
<typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Structure" xmi:id="7" id="7" name="Point">
<members xmi:id="8" id="8" name="x">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
</members>
<members id="9" name="y">
<members xmi:id="9" id="9" name="y">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
</members>
</typeDefinitions>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" id="5" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="6" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="10" name="PointProjectionX" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="19"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="20">
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" xmi:id="5" id="5" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="6" id="6" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="10" id="10" name="PointProjectionX" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="19" id="19"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="20" id="20">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:IfThenElse">
<guard xsi:type="org-fortiss-af3-expression-terms:FunctionCall">
......@@ -43,9 +43,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="29"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="11" name="aPoint" comment="" incoming="//@rootElements.2/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="21">
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="29" id="29"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="11" id="11" name="aPoint" comment="" incoming="//@rootElements.2/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="21" id="21">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Point"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:StructureConst">
<members name="x">
......@@ -62,12 +62,11 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="13" name="out" comment="" outgoing="//@rootElements.2/@containedElements.0/@connections.1">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="22">
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="13" id="13" name="out" comment="" outgoing="//@rootElements.2/@containedElements.0/@connections.1">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="22" id="22">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="23" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
......@@ -77,16 +76,16 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="324" y="96"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="205" height="72"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="24"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="30"/>
<connections xsi:type="org-fortiss-af3-component:Channel" id="15" name="aPoint" comment="" source="//@rootElements.2/@containedElements.0/@connectors.0" target="//@rootElements.2/@containedElements.0/@containedElements.0/@connectors.0">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="24" id="24"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="30" id="30"/>
<connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="15" id="15" name="aPoint" comment="" source="//@rootElements.2/@containedElements.0/@connectors.0" target="//@rootElements.2/@containedElements.0/@containedElements.0/@connectors.0">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
<connections xsi:type="org-fortiss-af3-component:Channel" id="16" name="out" comment="" source="//@rootElements.2/@containedElements.0/@containedElements.0/@connectors.1" target="//@rootElements.2/@containedElements.0/@connectors.1">
<connections xsi:type="org-fortiss-af3-component:Channel" xmi:id="16" id="16" name="out" comment="" source="//@rootElements.2/@containedElements.0/@containedElements.0/@connectors.1" target="//@rootElements.2/@containedElements.0/@connectors.1">
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
</connections>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="12" name="aPoint" comment="" outgoing="//@rootElements.2/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="25">
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="12" id="12" name="aPoint" comment="" outgoing="//@rootElements.2/@containedElements.0/@connections.0">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="25" id="25">
<type xsi:type="org-fortiss-af3-expression-types:TDefinedType" name="Point"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:StructureConst">
<members name="x">
......@@ -97,18 +96,16 @@
</members>
</initialValue>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="26" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="120" y="120"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="14" name="out" comment="" incoming="//@rootElements.2/@containedElements.0/@connections.1">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="27">
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="14" id="14" name="out" comment="" incoming="//@rootElements.2/@containedElements.0/@connections.1">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="27" id="27">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-bounds:VariableBoundsSpecification" id="28" upperBound="254" lowerBound="-255"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="732" y="120"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="cpos"/>
......@@ -118,7 +115,7 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
</containedElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-project-execution:ExecutionConfigurationStore" id="17">
<configurations id="18" name="Execonf" comment="" idReference="5"/>
<rootElements xsi:type="org-fortiss-af3-project-execution:ExecutionConfigurationStore" xmi:id="17" id="17">
<configurations xmi:id="18" id="18" name="Execonf" comment="" idReference="5"/>
</rootElements>
</org-fortiss-af3-project:FileProject>
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-mira="http://www.fortiss.org/af3/mira" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-sil="http://www.fortiss.org/af3/sil" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="LibraryTests">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" id="2">
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-mira="http://www.fortiss.org/af3/mira" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="LibraryTests" xmi:id="0" id="0">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2">
<typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
</configurationElements>
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" id="3">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" xmi:id="3" id="3">
<development xsi:type="org-fortiss-af3-project-development:DummyDevelopmentProcess"/>
</configurationElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" id="4"/>
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" id="5" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="6" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" id="8" name="Div" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="12"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="13"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" id="14">
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" xmi:id="4" id="4"/>
<rootElements xsi:type="org-fortiss-af3-component:ComponentArchitecture" xmi:id="5" id="5" name="Component Architecture">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="6" id="6" name="Component Architecture Root" comment="">
<containedElements xsi:type="org-fortiss-af3-component:Component" xmi:id="8" id="8" name="Div" comment="">
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="12" id="12"/>
<specifications xsi:type="org-fortiss-af3-component-behavior-code:CodeSpecification" xmi:id="14" id="14">
<body>
<statements xsi:type="org-fortiss-af3-expression-terms-imperative:Assignment">
<variable identifier="Out"/>
......@@ -26,9 +25,9 @@
</statements>
</body>
</specifications>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="20"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="9" name="In1" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="15">
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="20" id="20"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="9" id="9" name="In1" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="15" id="15">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -38,8 +37,8 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="24" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:InputPort" id="10" name="In2" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="16">
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="10" id="10" name="In2" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="16" id="16">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -49,8 +48,8 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="cdim" width="0" height="0"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:OffsetOrientation" key="coffsetorient" offset="60" orientation="WEST"/>
</connectors>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" id="11" name="Out" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" id="17">
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="11" id="11" name="Out" comment="">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="17" id="17">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
<initialValue xsi:type="org-fortiss-af3-expression-terms:IntConst"/>
</specifications>
......@@ -63,12 +62,11 @@
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos" x="120" y="48"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="193" height="97"/>
</containedElements>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" id="18"/>
<specifications xsi:type="org-fortiss-af3-sil:SILLevel" id="19"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" id="21"/>
<specifications xsi:type="org-fortiss-af3-component:CausalityComponentSpecification" xmi:id="18" id="18"/>
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="21" id="21"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Dimension" key="dim" width="108" height="72"/>
</containedElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-mira:Analysis" id="7"/>
<rootElements xsi:type="org-fortiss-af3-mira:Analysis" xmi:id="7" id="7"/>
</org-fortiss-af3-project:FileProject>
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-deployment="http://www.fortiss.org/af3/deployment" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-mira="http://www.fortiss.org/af3/mira" xmlns:org-fortiss-af3-mira-verification="http://www.fortiss.org/af3/mira/verification" xmlns:org-fortiss-af3-mode="http://www.fortiss.org/af3/mode" xmlns:org-fortiss-af3-platform="http://www.fortiss.org/af3/platform" xmlns:org-fortiss-af3-platform-generic="http://www.fortiss.org/af3/platform/generic" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-af3-scheduling="http://www.fortiss.org/af3/scheduling" xmlns:org-fortiss-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="ACC2">
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-behavior-code="http://www.fortiss.org/af3/component/behavior/code" xmlns:org-fortiss-af3-deployment="http://www.fortiss.org/af3/deployment" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-mira="http://www.fortiss.org/af3/mira" xmlns:org-fortiss-af3-mira-verification="http://www.fortiss.org/af3/mira/verification" xmlns:org-fortiss-af3-mode="http://www.fortiss.org/af3/mode" xmlns:org-fortiss-af3-platform="http://www.fortiss.org/af3/platform" xmlns:org-fortiss-af3-platform-generic="http://www.fortiss.org/af3/platform/generic" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" name="ACC2">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" id="2">
<typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
......@@ -4195,22 +4195,4 @@
<componentAllocations component="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.3" executionUnit="//@rootElements.2/@containedElements.1"/>
<componentAllocations component="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.4" executionUnit="//@rootElements.2/@containedElements.1"/>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-scheduling:Schedule" id="1835" name="Schedule" latency="48" Deployment="//@rootElements.6">
<Tasks id="1836" name="DistancePlausibilization" StartingTime="12" ComputationTime="10" UsedMemeory="5" AllocatedNode="//@rootElements.7/@Nodes.1" TopLevelComponent="true" ReferencedComponent="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.1" OutputSignals="//@rootElements.7/@Signals.3"/>
<Tasks id="1837" name="AccelerationControl" StartingTime="38" ComputationTime="10" UsedMemeory="5" AllocatedNode="//@rootElements.7/@Nodes.0" TopLevelComponent="true" ReferencedComponent="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.4" InputSignals="//@rootElements.7/@Signals.2 //@rootElements.7/@Signals.1"/>
<Tasks id="1838" name="SpeedPlausibilization" StartingTime="1" ComputationTime="10" UsedMemeory="5" AllocatedNode="//@rootElements.7/@Nodes.1" TopLevelComponent="true" ReferencedComponent="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.0" OutputSignals="//@rootElements.7/@Signals.0"/>
<Tasks id="1839" name="DistanceControl" StartingTime="27" ComputationTime="10" UsedMemeory="5" AllocatedNode="//@rootElements.7/@Nodes.0" TopLevelComponent="true" ReferencedComponent="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.3" InputSignals="//@rootElements.7/@Signals.0 //@rootElements.7/@Signals.3" OutputSignals="//@rootElements.7/@Signals.1"/>
<Tasks id="1840" name="SpeedControl" ComputationTime="10" UsedMemeory="5" AllocatedNode="//@rootElements.7/@Nodes.0" TopLevelComponent="true" ReferencedComponent="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.2" OutputSignals="//@rootElements.7/@Signals.2"/>
<Nodes id="1841" name="PowertrainECU" AllocatedTasks="//@rootElements.7/@Tasks.4 //@rootElements.7/@Tasks.3 //@rootElements.7/@Tasks.1" ExecutionUnit="//@rootElements.2/@containedElements.1" BusChannels="//@rootElements.7/@BusChannels.0"/>
<Nodes id="1842" name="HeadUnitECU" AllocatedTasks="//@rootElements.7/@Tasks.2 //@rootElements.7/@Tasks.0" ExecutionUnit="//@rootElements.2/@containedElements.0" BusChannels="//@rootElements.7/@BusChannels.0"/>
<Signals id="1843" name="CurrSpeed_812" SignalComputation="5" BitLength="32" DestinationTask="//@rootElements.7/@Tasks.3 //@rootElements.7/@Tasks.4" SourceTask="//@rootElements.7/@Tasks.2" PortReference="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.0/@connectors.1" AllocatedMessage="//@rootElements.7/@Messages.0"/>
<Signals id="1844" name="ReqDistAcc_833" SignalComputation="5" BitLength="32" IsLocal="true" DestinationTask="//@rootElements.7/@Tasks.1" SourceTask="//@rootElements.7/@Tasks.3" PortReference="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.3/@connectors.3" AllocatedMessage="//@rootElements.7/@Messages.1"/>
<Signals id="1845" name="ReqSpeedAcc_832" SignalComputation="5" BitLength="32" IsLocal="true" DestinationTask="//@rootElements.7/@Tasks.1" SourceTask="//@rootElements.7/@Tasks.4" PortReference="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.2/@connectors.2" AllocatedMessage="//@rootElements.7/@Messages.2"/>
<Signals id="1846" name="CurrDist_813" SignalComputation="5" BitLength="32" DestinationTask="//@rootElements.7/@Tasks.3" SourceTask="//@rootElements.7/@Tasks.0" PortReference="//@rootElements.4/@containedElements.0/@containedElements.0/@containedElements.1/@connectors.1" AllocatedMessage="//@rootElements.7/@Messages.3"/>
<Messages id="1847" name="CurrSpeed_812" MessageLength="5" SendingTime="11" Signals="//@rootElements.7/@Signals.0" BitLength="32"/>
<Messages id="1848" name="ReqDistAcc_833" SendingTime="37" Signals="//@rootElements.7/@Signals.1" BitLength="32"/>
<Messages id="1849" name="ReqSpeedAcc_832" SendingTime="38" Signals="//@rootElements.7/@Signals.2" BitLength="32"/>
<Messages id="1850" name="CurrDist_813" MessageLength="5" SendingTime="22" Signals="//@rootElements.7/@Signals.3" BitLength="32"/>
<BusChannels id="1851" name="InterdomainFlexRayBus"/>
</rootElements>
</org-fortiss-af3-project:FileProject>
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-annotation="http://www.fortiss.org/af3/component/annotation" xmlns:org-fortiss-af3-efficientdeployment="http://www.fortiss.org/af3/efficientdeployment" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-platform="http://www.fortiss.org/af3/platform" xmlns:org-fortiss-af3-platform-annotation="http://www.fortiss.org/af3/platform/annotation" xmlns:org-fortiss-af3-platform-generic="http://www.fortiss.org/af3/platform/generic" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-safety-annotation="http://www.fortiss.org/af3/safety/annotation" xmlns:org-fortiss-af3-timing-annotation="http://www.fortiss.org/af3/timing/annotation" xmlns:org-fortiss-conti-annotation="http://www.fortiss.org/conti/annotation" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="0" name="CONSTRAINTS3">
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-component-annotation="http://www.fortiss.org/af3/component/annotation" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-platform="http://www.fortiss.org/af3/platform" xmlns:org-fortiss-af3-platform-annotation="http://www.fortiss.org/af3/platform/annotation" xmlns:org-fortiss-af3-platform-generic="http://www.fortiss.org/af3/platform/generic" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-safety-annotation="http://www.fortiss.org/af3/safety/annotation" xmlns:org-fortiss-af3-timing-annotation="http://www.fortiss.org/af3/timing/annotation" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="0" name="CONSTRAINTS3">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2">
<typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
......@@ -15,10 +15,6 @@
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="11" id="11"/>
<specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="12" id="12" localMemoryRequirement="10"/>
<specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="13" id="13"/>
<specifications xsi:type="org-fortiss-af3-efficientdeployment:RAM" xmi:id="157" id="157"/>
<specifications xsi:type="org-fortiss-af3-efficientdeployment:Flash" xmi:id="158" id="158"/>
<specifications xsi:type="org-fortiss-conti-annotation:CycleTime" xmi:id="159" id="159"/>
<specifications xsi:type="org-fortiss-conti-annotation:Latency" xmi:id="160" id="160"/>
<connectors xsi:type="org-fortiss-af3-component:OutputPort" xmi:id="33" id="33" name="Output" comment="" outgoing="37">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="34" id="34">
<type xsi:type="org-fortiss-af3-expression-types:TInt"/>
......@@ -51,10 +47,6 @@
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="16" id="16"/>
<specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="17" id="17" localMemoryRequirement="10"/>
<specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="18" id="18"/>
<specifications xsi:type="org-fortiss-af3-efficientdeployment:RAM" xmi:id="163" id="163"/>
<specifications xsi:type="org-fortiss-af3-efficientdeployment:Flash" xmi:id="164" id="164"/>
<specifications xsi:type="org-fortiss-conti-annotation:CycleTime" xmi:id="165" id="165"/>
<specifications xsi:type="org-fortiss-conti-annotation:Latency" xmi:id="166" id="166"/>
<connectors xsi:type="org-fortiss-af3-component:InputPort" xmi:id="35" id="35" name="Input" comment="" incoming="37">
<specifications xsi:type="org-fortiss-af3-component:PortSpecification" xmi:id="36" id="36">
<type xsi:type="org-fortiss-af3-expression-types:TInt" lowerBound="-255" upperBound="254"/>
......@@ -86,10 +78,6 @@
<specifications xsi:type="org-fortiss-af3-component:VerifBehaviourComponentSpecification" xmi:id="21" id="21"/>
<specifications xsi:type="org-fortiss-af3-component-annotation:MemoryRequirement" xmi:id="22" id="22" localMemoryRequirement="10"/>