aboutsummaryrefslogtreecommitdiffstats
path: root/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-07 18:24:45 +0100
committerLibravatar Kristóf Marussy <kris7topher@gmail.com>2019-02-19 19:18:25 +0100
commit6f88c4bd4e91728cea62505e893b0ce300baf7fc (patch)
treefef4d5cf7d28b0e4fd59a3b7181e60a2f236d235 /Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird
parentExtract component fault tree model (diff)
downloadVIATRA-Generator-6f88c4bd4e91728cea62505e893b0ce300baf7fc.tar.gz
VIATRA-Generator-6f88c4bd4e91728cea62505e893b0ce300baf7fc.tar.zst
VIATRA-Generator-6f88c4bd4e91728cea62505e893b0ce300baf7fc.zip
Ecore2Cft transformation
Diffstat (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird')
-rw-r--r--Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird34
1 files changed, 23 insertions, 11 deletions
diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird
index 083705fc..0c5c0fe8 100644
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird
+++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.model/representations.aird
@@ -185,6 +185,10 @@
185 <children xmi:type="notation:Node" xmi:id="_bLbyQCorEemQnOUhg0mU1A" type="2003" element="_bLPlACorEemQnOUhg0mU1A"> 185 <children xmi:type="notation:Node" xmi:id="_bLbyQCorEemQnOUhg0mU1A" type="2003" element="_bLPlACorEemQnOUhg0mU1A">
186 <children xmi:type="notation:Node" xmi:id="_bLbyQyorEemQnOUhg0mU1A" type="5007"/> 186 <children xmi:type="notation:Node" xmi:id="_bLbyQyorEemQnOUhg0mU1A" type="5007"/>
187 <children xmi:type="notation:Node" xmi:id="_bLbyRCorEemQnOUhg0mU1A" type="7004"> 187 <children xmi:type="notation:Node" xmi:id="_bLbyRCorEemQnOUhg0mU1A" type="7004">
188 <children xmi:type="notation:Node" xmi:id="_sNmcQCr7EemQnOUhg0mU1A" type="3010" element="_sNcrQCr7EemQnOUhg0mU1A">
189 <styles xmi:type="notation:FontStyle" xmi:id="_sNmcQSr7EemQnOUhg0mU1A" fontColor="2697711" fontName="Cantarell" fontHeight="8"/>
190 <layoutConstraint xmi:type="notation:Location" xmi:id="_sNmcQir7EemQnOUhg0mU1A"/>
191 </children>
188 <styles xmi:type="notation:SortingStyle" xmi:id="_bLbyRSorEemQnOUhg0mU1A"/> 192 <styles xmi:type="notation:SortingStyle" xmi:id="_bLbyRSorEemQnOUhg0mU1A"/>
189 <styles xmi:type="notation:FilteringStyle" xmi:id="_bLbyRiorEemQnOUhg0mU1A"/> 193 <styles xmi:type="notation:FilteringStyle" xmi:id="_bLbyRiorEemQnOUhg0mU1A"/>
190 </children> 194 </children>
@@ -635,9 +639,9 @@
635 </ownedStyle> 639 </ownedStyle>
636 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/> 640 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
637 </ownedDiagramElements> 641 </ownedDiagramElements>
638 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_Iec3ECodEemQnOUhg0mU1A" name="IntputEvent" tooltipText="" outgoingEdges="_Wlx-JiodEemQnOUhg0mU1A" incomingEdges="_lIWk0CofEemQnOUhg0mU1A _UW5t9iosEemQnOUhg0mU1A" width="12" height="10"> 642 <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_Iec3ECodEemQnOUhg0mU1A" name="InputEvent" tooltipText="" outgoingEdges="_Wlx-JiodEemQnOUhg0mU1A" incomingEdges="_lIWk0CofEemQnOUhg0mU1A _UW5t9iosEemQnOUhg0mU1A" width="12" height="10">
639 <target xmi:type="ecore:EClass" href="model/cft.ecore#//IntputEvent"/> 643 <target xmi:type="ecore:EClass" href="model/cft.ecore#//InputEvent"/>
640 <semanticElements xmi:type="ecore:EClass" href="model/cft.ecore#//IntputEvent"/> 644 <semanticElements xmi:type="ecore:EClass" href="model/cft.ecore#//InputEvent"/>
641 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 645 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
642 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 646 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
643 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 647 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
@@ -646,8 +650,8 @@
646 </ownedStyle> 650 </ownedStyle>
647 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> 651 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
648 <ownedElements xmi:type="diagram:DNodeListElement" uid="_0AT3kCofEemQnOUhg0mU1A" name="multiple : EBoolean = false" tooltipText=""> 652 <ownedElements xmi:type="diagram:DNodeListElement" uid="_0AT3kCofEemQnOUhg0mU1A" name="multiple : EBoolean = false" tooltipText="">
649 <target xmi:type="ecore:EAttribute" href="model/cft.ecore#//IntputEvent/multiple"/> 653 <target xmi:type="ecore:EAttribute" href="model/cft.ecore#//InputEvent/multiple"/>
650 <semanticElements xmi:type="ecore:EAttribute" href="model/cft.ecore#//IntputEvent/multiple"/> 654 <semanticElements xmi:type="ecore:EAttribute" href="model/cft.ecore#//InputEvent/multiple"/>
651 <ownedStyle xmi:type="diagram:BundledImage" uid="_0uDHUSofEemQnOUhg0mU1A" labelAlignment="LEFT"> 655 <ownedStyle xmi:type="diagram:BundledImage" uid="_0uDHUSofEemQnOUhg0mU1A" labelAlignment="LEFT">
652 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']/@style"/> 656 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']/@style"/>
653 </ownedStyle> 657 </ownedStyle>
@@ -675,8 +679,8 @@
675 </ownedElements> 679 </ownedElements>
676 </ownedDiagramElements> 680 </ownedDiagramElements>
677 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_Wlx-JiodEemQnOUhg0mU1A" sourceNode="_Iec3ECodEemQnOUhg0mU1A" targetNode="_QD_FECodEemQnOUhg0mU1A"> 681 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_Wlx-JiodEemQnOUhg0mU1A" sourceNode="_Iec3ECodEemQnOUhg0mU1A" targetNode="_QD_FECodEemQnOUhg0mU1A">
678 <target xmi:type="ecore:EClass" href="model/cft.ecore#//IntputEvent"/> 682 <target xmi:type="ecore:EClass" href="model/cft.ecore#//InputEvent"/>
679 <semanticElements xmi:type="ecore:EClass" href="model/cft.ecore#//IntputEvent"/> 683 <semanticElements xmi:type="ecore:EClass" href="model/cft.ecore#//InputEvent"/>
680 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_0uFjnCofEemQnOUhg0mU1A" targetArrow="InputClosedArrow" routingStyle="tree"> 684 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_0uFjnCofEemQnOUhg0mU1A" targetArrow="InputClosedArrow" routingStyle="tree">
681 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/> 685 <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
682 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_0uFjnSofEemQnOUhg0mU1A" showIcon="false"> 686 <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_0uFjnSofEemQnOUhg0mU1A" showIcon="false">
@@ -876,10 +880,18 @@
876 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> 880 <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
877 <arrangeConstraints>KEEP_SIZE</arrangeConstraints> 881 <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
878 <arrangeConstraints>KEEP_RATIO</arrangeConstraints> 882 <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
879 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_bLQzICorEemQnOUhg0mU1A" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> 883 <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_s21mjCr7EemQnOUhg0mU1A" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
880 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> 884 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
881 </ownedStyle> 885 </ownedStyle>
882 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> 886 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
887 <ownedElements xmi:type="diagram:DNodeListElement" uid="_sNcrQCr7EemQnOUhg0mU1A" name="name : EString" tooltipText="">
888 <target xmi:type="ecore:EAttribute" href="model/cft.ecore#//Component/name"/>
889 <semanticElements xmi:type="ecore:EAttribute" href="model/cft.ecore#//Component/name"/>
890 <ownedStyle xmi:type="diagram:BundledImage" uid="_s220oyr7EemQnOUhg0mU1A" labelAlignment="LEFT">
891 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']/@style"/>
892 </ownedStyle>
893 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
894 </ownedElements>
883 </ownedDiagramElements> 895 </ownedDiagramElements>
884 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_dgSJ2CorEemQnOUhg0mU1A" name="[0..*] components" sourceNode="_Wm0XkCorEemQnOUhg0mU1A" targetNode="_bLPlACorEemQnOUhg0mU1A"> 896 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_dgSJ2CorEemQnOUhg0mU1A" name="[0..*] components" sourceNode="_Wm0XkCorEemQnOUhg0mU1A" targetNode="_bLPlACorEemQnOUhg0mU1A">
885 <target xmi:type="ecore:EReference" href="model/cft.ecore#//ComponentFaultTree/components"/> 897 <target xmi:type="ecore:EReference" href="model/cft.ecore#//ComponentFaultTree/components"/>
@@ -949,9 +961,9 @@
949 </ownedStyle> 961 </ownedStyle>
950 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> 962 <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
951 </ownedDiagramElements> 963 </ownedDiagramElements>
952 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_UW5t9iosEemQnOUhg0mU1A" name="[1..1] intputEvent" sourceNode="_mUETkCorEemQnOUhg0mU1A" targetNode="_Iec3ECodEemQnOUhg0mU1A"> 964 <ownedDiagramElements xmi:type="diagram:DEdge" uid="_UW5t9iosEemQnOUhg0mU1A" name="[1..1] inputEvent" sourceNode="_mUETkCorEemQnOUhg0mU1A" targetNode="_Iec3ECodEemQnOUhg0mU1A">
953 <target xmi:type="ecore:EReference" href="model/cft.ecore#//Input/intputEvent"/> 965 <target xmi:type="ecore:EReference" href="model/cft.ecore#//Input/inputEvent"/>
954 <semanticElements xmi:type="ecore:EReference" href="model/cft.ecore#//Input/intputEvent"/> 966 <semanticElements xmi:type="ecore:EReference" href="model/cft.ecore#//Input/inputEvent"/>
955 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_Xs4LTCosEemQnOUhg0mU1A" description="_IXsxGCosEemQnOUhg0mU1A" routingStyle="manhattan" strokeColor="0,0,0"> 967 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_Xs4LTCosEemQnOUhg0mU1A" description="_IXsxGCosEemQnOUhg0mU1A" routingStyle="manhattan" strokeColor="0,0,0">
956 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_Xs4LTiosEemQnOUhg0mU1A" showIcon="false"> 968 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_Xs4LTiosEemQnOUhg0mU1A" showIcon="false">
957 <labelFormat>bold</labelFormat> 969 <labelFormat>bold</labelFormat>