diff --git a/case studies/HiFAn/Tokeneer/.project b/case studies/HiFAn/Tokeneer/.project new file mode 100644 index 0000000000000000000000000000000000000000..341e09492fa5e29b9e549628ed343d695e56e69f --- /dev/null +++ b/case studies/HiFAn/Tokeneer/.project @@ -0,0 +1,12 @@ +<?xml version="1.0" encoding="UTF-8"?> +<projectDescription> + <name>Tokeneer</name> + <comment></comment> + <projects> + </projects> + <buildSpec> + </buildSpec> + <natures> + <nature>org.eclipse.sirius.nature.modelingproject</nature> + </natures> +</projectDescription> diff --git a/case studies/HiFAn/Tokeneer/Tokeneer.hifan b/case studies/HiFAn/Tokeneer/Tokeneer.hifan new file mode 100644 index 0000000000000000000000000000000000000000..d5b1ea6b32d61e4d499d7e405e93aca7a92e8fbe --- /dev/null +++ b/case studies/HiFAn/Tokeneer/Tokeneer.hifan @@ -0,0 +1,36 @@ +<?xml version="1.0" encoding="UTF-8"?> +<hifan:DomainComponent xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hifan="http://soton.ac.uk/models/hifan/2021" name="system" purpose="Allow (only) authorised users access to the enclave"> + <actions label="ACT1" description="User enters enclave" condition="//@entities.3/@condition.0" target="//@entities.2"> + <error label="A11" description="Authorised user prevented from entering enclave" failure="//@failure.0"> + <mitigation label="M11" description="A secure door will open for authorised users"/> + </error> + <error label="A12" description="Unauthorised user enters enclave" type="OCCURRING" failure="//@failure.1"> + <mitigation label="M12" description="A secure door will not open for unauthorised users"/> + </error> + </actions> + <actions label="ACT2" description="User leaves enclave" target="//@entities.2"/> + <failure label="F2" description="Authorised user prevented from entering enclave"/> + <failure label="F1" description="Unauthorised user inside enclave"/> + <entities xsi:type="hifan:DomainComponent" name="SecureDoor"> + <actions label="ACTD1" description="User tries to open door" target="//@entities.0"/> + <actions label="ACTD2" description="User tries to close door" target="//@entities.0"/> + <actions label="ACTD3" description="User approaches door" target="//@entities.0"/> + <actions label="ACTD4" description="User leaves door" target="//@entities.0"/> + <entities xsi:type="hifan:DomainComponent" name="SecureLock"> + <entities xsi:type="hifan:PhysicalComponent" name="Lock"/> + <entities xsi:type="hifan:DomainComponent" name="SecureCard"> + <entities xsi:type="hifan:PhysicalComponent" name="Card"/> + <entities xsi:type="hifan:DomainComponent" name="FingerprintReader"/> + </entities> + </entities> + <entities xsi:type="hifan:PhysicalComponent" name="Door"/> + <entities xsi:type="hifan:DomainComponent" name="AlarmSystem"/> + </entities> + <entities xsi:type="hifan:Agent" name="User"/> + <entities xsi:type="hifan:PhysicalComponent" name="Enclave"/> + <entities xsi:type="hifan:DomainComponent" name="Authorisation"> + <condition label="CND1" description="authorised" action="//@actions.0"/> + </entities> + <entities xsi:type="hifan:Assumption" name="Authorised users will not leave the door area while the door is open"/> + <entities xsi:type="hifan:Assumption" name="unauthorised users will not enter in the presence of authorised users"/> +</hifan:DomainComponent> diff --git a/case studies/HiFAn/Tokeneer/representations.aird b/case studies/HiFAn/Tokeneer/representations.aird new file mode 100644 index 0000000000000000000000000000000000000000..cac1d2ff9cffa0eeb8d4bc8692779511c5e99c2e --- /dev/null +++ b/case studies/HiFAn/Tokeneer/representations.aird @@ -0,0 +1,412 @@ +<?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:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/tree/description/1.0.0" xmlns:description_2="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:hifan="http://soton.ac.uk/models/hifan/2021" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.3/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:tree="http://www.eclipse.org/sirius/tree/1.0.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/tree/description/1.0.0 http://www.eclipse.org/sirius/tree/1.0.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style"> + <viewpoint:DAnalysis uid="_SIOaIDPuEey-HtUibmWMVQ" selectedViews="_aADSADPuEey-HtUibmWMVQ" version="14.3.1.202003261200"> + <semanticResources>Tokeneer.hifan</semanticResources> + <ownedViews xmi:type="viewpoint:DView" uid="_aADSADPuEey-HtUibmWMVQ"> + <viewpoint xmi:type="description:Viewpoint" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']"/> + <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_HbV-cDSjEeytKZcSDbeXaw" name="system hierarchy" repPath="#_HauTYDSjEeytKZcSDbeXaw" changeId="36206005-e8be-41d2-a8f2-bce1f342cac3"> + <description xmi:type="description_1:TreeDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']"/> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#/"/> + </ownedRepresentationDescriptors> + <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_P6A-cDSkEeytKZcSDbeXaw" name="SecureCard" repPath="#_P5_wUDSkEeytKZcSDbeXaw"> + <description xmi:type="description_1:TreeDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']"/> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + </ownedRepresentationDescriptors> + <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_MEog8TSnEeytKZcSDbeXaw" name="SecureDoor component hierarchy" repPath="#_MEnS0DSnEeytKZcSDbeXaw" changeId="7873c8a6-d12d-4e1c-8d10-0b60e9ecb051"> + <description xmi:type="description_1:TreeDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']"/> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0"/> + </ownedRepresentationDescriptors> + <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_1lLooDS3EeytKZcSDbeXaw" name="system abstract control diagram" repPath="#_1lKagDS3EeytKZcSDbeXaw" changeId="b84bdc28-4e9a-42b3-b1be-1d5dae8fe104"> + <description xmi:type="description_2:DiagramDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']"/> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#/"/> + </ownedRepresentationDescriptors> + </ownedViews> + <ownedViews xmi:type="viewpoint:DView" uid="_RD8yUDPxEeyP9btTLycYsw"> + <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/ac.soton.hifan.sirius/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']"/> + </ownedViews> + </viewpoint:DAnalysis> + <tree:DTree uid="_HauTYDSjEeytKZcSDbeXaw"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#/"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_HbMNcDSjEeytKZcSDbeXaw" name="SecureDoor" expanded="true"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_HbRtADSjEeytKZcSDbeXaw" name="SecureLock" expanded="true"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_JG9LsTSjEeytKZcSDbeXaw" name="SecureCard"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_Jc0uADSjEeytKZcSDbeXaw"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_Jc0uATSjEeytKZcSDbeXaw" labelColor="209,209,209" backgroundColor="209,209,209"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_JG9LsjSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_Jc0G8DSjEeytKZcSDbeXaw" name="Lock"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.0"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.0"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_Jc0G8TSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.physical']"/> + </ownedTreeItems> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_HbRtATSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_JG8koDSjEeytKZcSDbeXaw" name="AlarmSystem"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.2"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.2"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_JG8koTSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_JG8kozSjEeytKZcSDbeXaw" name="Door"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.1"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.1"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_JG8kpDSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.physical']"/> + </ownedTreeItems> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_HbOCoDSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_HbP30DSjEeytKZcSDbeXaw" name="Authorisation"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.3"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.3"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_HbQe4DSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_HbQe4jSjEeytKZcSDbeXaw" name="Enclave"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.2"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.2"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_HbQe4zSjEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.physical']"/> + </ownedTreeItems> + <description xmi:type="description_1:TreeDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']"/> + </tree:DTree> + <tree:DTree uid="_P5_wUDSkEeytKZcSDbeXaw"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_P6AXYDSkEeytKZcSDbeXaw" name="FingerprintReader"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_P6AXYTSkEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_P6AXYzSkEeytKZcSDbeXaw" name="Card"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.0"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.0"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_P6AXZDSkEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.physical']"/> + </ownedTreeItems> + <description xmi:type="description_1:TreeDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']"/> + </tree:DTree> + <tree:DTree uid="_MEnS0DSnEeytKZcSDbeXaw"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_MEn54DSnEeytKZcSDbeXaw" name="SecureLock" expanded="true"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_MEn56TSnEeytKZcSDbeXaw" name="SecureCard"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_3L2IozSwEeytKZcSDbeXaw"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_3L2IpDSwEeytKZcSDbeXaw" labelColor="209,209,209" backgroundColor="209,209,209"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_MEn56jSnEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_3L2IoDSwEeytKZcSDbeXaw" name="Lock"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.0"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.0"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_3L2IoTSwEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.physical']"/> + </ownedTreeItems> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_MEn54TSnEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_MEn54zSnEeytKZcSDbeXaw" name="AlarmSystem"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.2"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.2"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_MEn55DSnEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.domain']"/> + </ownedTreeItems> + <ownedTreeItems xmi:type="tree:DTreeItem" uid="_MEn55jSnEeytKZcSDbeXaw" name="Door"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.1"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.1"/> + <ownedStyle xmi:type="tree:TreeItemStyle" uid="_MEn55zSnEeytKZcSDbeXaw"/> + <actualMapping xmi:type="description_1:TreeItemMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']/@subItemMappings[name='hifan.hier.physical']"/> + </ownedTreeItems> + <description xmi:type="description_1:TreeDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.hier']"/> + </tree:DTree> + <diagram:DSemanticDiagram uid="_1lKagDS3EeytKZcSDbeXaw"> + <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_1lLooTS3EeytKZcSDbeXaw" source="GMF_DIAGRAMS"> + <data xmi:type="notation:Diagram" xmi:id="_1lLoojS3EeytKZcSDbeXaw" type="Sirius" element="_1lKagDS3EeytKZcSDbeXaw" measurementUnit="Pixel"> + <children xmi:type="notation:Node" xmi:id="_1lbgQDS3EeytKZcSDbeXaw" type="2001" element="_1lM2wDS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lcHUDS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lcHUTS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lg_0DS3EeytKZcSDbeXaw" type="3003" element="_1lNd0DS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lg_0TS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lg_0jS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lbgQTS3EeytKZcSDbeXaw" fontColor="8947848" fontName="Ubuntu" fontHeight="12"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lbgQjS3EeytKZcSDbeXaw" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lcHUjS3EeytKZcSDbeXaw" type="2001" element="_1lNd0jS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lcuYDS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lcuYTS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lg_0zS3EeytKZcSDbeXaw" type="3003" element="_1lOE4DS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lg_1DS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lg_1TS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lcHUzS3EeytKZcSDbeXaw" fontColor="8947848" fontName="Ubuntu" fontHeight="12"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lcHVDS3EeytKZcSDbeXaw" x="240" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lcuYjS3EeytKZcSDbeXaw" type="2001" element="_1lOE4jS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lcuZTS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lcuZjS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lg_1jS3EeytKZcSDbeXaw" type="3003" element="_1lOE4zS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lg_1zS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lg_2DS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lcuYzS3EeytKZcSDbeXaw" fontColor="8947848" fontName="Ubuntu" fontHeight="12"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lcuZDS3EeytKZcSDbeXaw" x="480" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1ldVcDS3EeytKZcSDbeXaw" type="2001" element="_1lOr8TS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1ldVczS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1ldVdDS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lhm4DS3EeytKZcSDbeXaw" type="3003" element="_1lOr8jS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lhm4TS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lhm4jS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1ldVcTS3EeytKZcSDbeXaw" fontColor="8947848" fontName="Ubuntu" fontHeight="12"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1ldVcjS3EeytKZcSDbeXaw" x="720" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1ldVdTS3EeytKZcSDbeXaw" type="2001" element="_1lPTADS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1ld8gDS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1ld8gTS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1liN8DS3EeytKZcSDbeXaw" type="3016" element="_1lYc8DS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1liN8TS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1liN8jS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1ldVdjS3EeytKZcSDbeXaw" fontColor="11042733" fontName="Ubuntu" fontHeight="12"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1ldVdzS3EeytKZcSDbeXaw" x="960" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1ld8gjS3EeytKZcSDbeXaw" type="2001" element="_1lZEADS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1ld8hTS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1ld8hjS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1li1ADS3EeytKZcSDbeXaw" type="3013" element="_1lZEATS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1li1ATS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1li1AjS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1ld8gzS3EeytKZcSDbeXaw" fontName="Ubuntu" fontHeight="12"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1ld8hDS3EeytKZcSDbeXaw" x="1230" y="250" width="221" height="91"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lejkDS3EeytKZcSDbeXaw" type="2001" element="_1lZrEDS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lejkzS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lejlDS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1li1AzS3EeytKZcSDbeXaw" type="3003" element="_1lZrETS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1li1BDS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1li1BTS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lejkTS3EeytKZcSDbeXaw" fontColor="13606770" fontName="Ubuntu" fontHeight="12" bold="true"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lejkjS3EeytKZcSDbeXaw" x="1300" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lejlTS3EeytKZcSDbeXaw" type="2001" element="_1lZrEzS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lfKoDS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lfKoTS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1ljcEDS3EeytKZcSDbeXaw" type="3003" element="_1lZrFDS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1ljcETS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1ljcEjS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lejljS3EeytKZcSDbeXaw" fontColor="13606770" fontName="Ubuntu" fontHeight="12" bold="true"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lejlzS3EeytKZcSDbeXaw" x="1540" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lfKojS3EeytKZcSDbeXaw" type="2001" element="_1laSITS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lfKpTS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lfKpjS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1ljcEzS3EeytKZcSDbeXaw" type="3003" element="_1laSIjS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1ljcFDS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1ljcFTS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lfKozS3EeytKZcSDbeXaw" fontColor="13606770" fontName="Ubuntu" fontHeight="12" bold="true"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lfKpDS3EeytKZcSDbeXaw" x="1780" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lfxsDS3EeytKZcSDbeXaw" type="2001" element="_1laSJDS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lfxszS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lfxtDS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1ljcFjS3EeytKZcSDbeXaw" type="3003" element="_1laSJTS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1ljcFzS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1ljcGDS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lfxsTS3EeytKZcSDbeXaw" fontColor="13606770" fontName="Ubuntu" fontHeight="12" bold="true"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lfxsjS3EeytKZcSDbeXaw" x="2020" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lfxtTS3EeytKZcSDbeXaw" type="2001" element="_1laSJzS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lgYwDS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lgYwTS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lkDIDS3EeytKZcSDbeXaw" type="3003" element="_1la5MDS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lkDITS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lkDIjS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lfxtjS3EeytKZcSDbeXaw" fontColor="13606770" fontName="Ubuntu" fontHeight="12" bold="true"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lfxtzS3EeytKZcSDbeXaw" x="2260" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lgYwjS3EeytKZcSDbeXaw" type="2001" element="_1la5MjS3EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_1lgYxTS3EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_1lgYxjS3EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_1lkDIzS3EeytKZcSDbeXaw" type="3003" element="_1la5MzS3EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lkDJDS3EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lkDJTS3EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_1lgYwzS3EeytKZcSDbeXaw" fontColor="13606770" fontName="Ubuntu" fontHeight="12" bold="true"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_1lgYxDS3EeytKZcSDbeXaw" x="2500" width="180" height="120"/> + </children> + <children xmi:type="notation:Node" xmi:id="_Whc_9jS5EeytKZcSDbeXaw" type="2001" element="_WhZVkDS5EeytKZcSDbeXaw"> + <children xmi:type="notation:Node" xmi:id="_Whc_-TS5EeytKZcSDbeXaw" type="5002"> + <layoutConstraint xmi:type="notation:Location" xmi:id="_Whc_-jS5EeytKZcSDbeXaw" y="5"/> + </children> + <children xmi:type="notation:Node" xmi:id="_WhdnADS5EeytKZcSDbeXaw" type="3013" element="_WhZVkTS5EeytKZcSDbeXaw"> + <styles xmi:type="notation:ShapeStyle" xmi:id="_WhdnATS5EeytKZcSDbeXaw" fontName="Ubuntu"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_WhdnAjS5EeytKZcSDbeXaw"/> + </children> + <styles xmi:type="notation:ShapeStyle" xmi:id="_Whc_9zS5EeytKZcSDbeXaw" fontName="Ubuntu" fontHeight="12"/> + <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Whc_-DS5EeytKZcSDbeXaw" x="1520" y="225" width="226" height="81"/> + </children> + <styles xmi:type="notation:DiagramStyle" xmi:id="_1lLoozS3EeytKZcSDbeXaw"/> + </data> + </ownedAnnotationEntries> + <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_1la5NTS3EeytKZcSDbeXaw" source="DANNOTATION_CUSTOMIZATION_KEY"> + <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_1la5NjS3EeytKZcSDbeXaw"/> + </ownedAnnotationEntries> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lM2wDS3EeytKZcSDbeXaw" name="Lock" tooltipText="Create a physical component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.0"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.0"/> + <ownedStyle xmi:type="diagram:Square" uid="_1lNd0DS3EeytKZcSDbeXaw" labelSize="12" labelColor="136,136,136" borderSize="2" borderSizeComputationExpression="2" borderColor="136,136,136" labelPosition="node" width="18" height="12" color="209,209,209"> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lNd0jS3EeytKZcSDbeXaw" name="Card" tooltipText="Create a physical component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.0"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.0"/> + <ownedStyle xmi:type="diagram:Square" uid="_1lOE4DS3EeytKZcSDbeXaw" labelSize="12" labelColor="136,136,136" borderSize="2" borderSizeComputationExpression="2" borderColor="136,136,136" labelPosition="node" width="18" height="12" color="209,209,209"> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lOE4jS3EeytKZcSDbeXaw" name="Door" tooltipText="Create a physical component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.1"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.0/@entities.1"/> + <ownedStyle xmi:type="diagram:Square" uid="_1lOE4zS3EeytKZcSDbeXaw" labelSize="12" labelColor="136,136,136" borderSize="2" borderSizeComputationExpression="2" borderColor="136,136,136" labelPosition="node" width="18" height="12" color="209,209,209"> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lOr8TS3EeytKZcSDbeXaw" name="Enclave" tooltipText="Create a physical component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.2"/> + <semanticElements xmi:type="hifan:PhysicalComponent" href="Tokeneer.hifan#//@entities.2"/> + <ownedStyle xmi:type="diagram:Square" uid="_1lOr8jS3EeytKZcSDbeXaw" labelSize="12" labelColor="136,136,136" borderSize="2" borderSizeComputationExpression="2" borderColor="136,136,136" labelPosition="node" width="18" height="12" color="209,209,209"> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.PhysicalComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lPTADS3EeytKZcSDbeXaw" name="User" tooltipText="Create an agent" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:Agent" href="Tokeneer.hifan#//@entities.1"/> + <semanticElements xmi:type="hifan:Agent" href="Tokeneer.hifan#//@entities.1"/> + <ownedStyle xmi:type="diagram:Ellipse" uid="_1lYc8DS3EeytKZcSDbeXaw" labelSize="12" labelColor="173,127,168" borderSize="2" borderSizeComputationExpression="2" borderColor="173,127,168" labelPosition="node" horizontalDiameter="18" verticalDiameter="12" color="217,196,215"> + <description xmi:type="style:EllipseNodeDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.Agent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.Agent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lZEADS3EeytKZcSDbeXaw" name="Authorised users will not leave the door area while the door is open" tooltipText="'Create a new assumption'" width="15" height="15" resizeKind="NSEW"> + <target xmi:type="hifan:Assumption" href="Tokeneer.hifan#//@entities.4"/> + <semanticElements xmi:type="hifan:Assumption" href="Tokeneer.hifan#//@entities.4"/> + <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> + <arrangeConstraints>KEEP_SIZE</arrangeConstraints> + <arrangeConstraints>KEEP_RATIO</arrangeConstraints> + <ownedStyle xmi:type="diagram:Note" uid="_1lZEATS3EeytKZcSDbeXaw" labelSize="12" borderSize="2" borderSizeComputationExpression="2" labelPosition="node"> + <description xmi:type="style:NoteDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.Assumption.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.Assumption.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_WhZVkDS5EeytKZcSDbeXaw" name="unauthorised users will not enter in the presence of authorised users" tooltipText="'Create a new assumption'" width="15" height="15" resizeKind="NSEW"> + <target xmi:type="hifan:Assumption" href="Tokeneer.hifan#//@entities.5"/> + <semanticElements xmi:type="hifan:Assumption" href="Tokeneer.hifan#//@entities.5"/> + <ownedStyle xmi:type="diagram:Note" uid="_WhZVkTS5EeytKZcSDbeXaw" labelSize="12" borderSize="2" borderSizeComputationExpression="2" labelPosition="node"> + <description xmi:type="style:NoteDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.Assumption.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.Assumption.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lZrEDS3EeytKZcSDbeXaw" name="SecureDoor" tooltipText="Create a domain component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0"/> + <ownedStyle xmi:type="diagram:Square" uid="_1lZrETS3EeytKZcSDbeXaw" labelSize="12" labelColor="114,159,207" borderSize="2" borderSizeComputationExpression="2" borderColor="233,185,110" labelPosition="node" width="18" height="12" color="194,239,255"> + <labelFormat>bold</labelFormat> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1lZrEzS3EeytKZcSDbeXaw" name="SecureLock" tooltipText="Create a domain component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0"/> + <ownedStyle xmi:type="diagram:Square" uid="_1lZrFDS3EeytKZcSDbeXaw" labelSize="12" labelColor="114,159,207" borderSize="2" borderSizeComputationExpression="2" borderColor="233,185,110" labelPosition="node" width="18" height="12" color="194,239,255"> + <labelFormat>bold</labelFormat> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1laSITS3EeytKZcSDbeXaw" name="SecureCard" tooltipText="Create a domain component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1"/> + <ownedStyle xmi:type="diagram:Square" uid="_1laSIjS3EeytKZcSDbeXaw" labelSize="12" labelColor="114,159,207" borderSize="2" borderSizeComputationExpression="2" borderColor="233,185,110" labelPosition="node" width="18" height="12" color="194,239,255"> + <labelFormat>bold</labelFormat> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1laSJDS3EeytKZcSDbeXaw" name="FingerprintReader" tooltipText="Create a domain component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.0/@entities.1/@entities.1"/> + <ownedStyle xmi:type="diagram:Square" uid="_1laSJTS3EeytKZcSDbeXaw" labelSize="12" labelColor="114,159,207" borderSize="2" borderSizeComputationExpression="2" borderColor="233,185,110" labelPosition="node" width="18" height="12" color="194,239,255"> + <labelFormat>bold</labelFormat> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1laSJzS3EeytKZcSDbeXaw" name="AlarmSystem" tooltipText="Create a domain component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.2"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.0/@entities.2"/> + <ownedStyle xmi:type="diagram:Square" uid="_1la5MDS3EeytKZcSDbeXaw" labelSize="12" labelColor="114,159,207" borderSize="2" borderSizeComputationExpression="2" borderColor="233,185,110" labelPosition="node" width="18" height="12" color="194,239,255"> + <labelFormat>bold</labelFormat> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']"/> + </ownedDiagramElements> + <ownedDiagramElements xmi:type="diagram:DNode" uid="_1la5MjS3EeytKZcSDbeXaw" name="Authorisation" tooltipText="Create a domain component" width="18" height="12" resizeKind="NSEW"> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.3"/> + <semanticElements xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#//@entities.3"/> + <ownedStyle xmi:type="diagram:Square" uid="_1la5MzS3EeytKZcSDbeXaw" labelSize="12" labelColor="114,159,207" borderSize="2" borderSizeComputationExpression="2" borderColor="233,185,110" labelPosition="node" width="18" height="12" color="194,239,255"> + <labelFormat>bold</labelFormat> + <description xmi:type="style:SquareDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']/@style"/> + </ownedStyle> + <actualMapping xmi:type="description_2:NodeMapping" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer/@nodeMappings[name='hifan.DomainComponent.node']"/> + </ownedDiagramElements> + <description xmi:type="description_2:DiagramDescription" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']"/> + <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_1lKagTS3EeytKZcSDbeXaw"/> + <activatedLayers xmi:type="description_2:Layer" href="platform:/resource/my.project.design/description/sirius.odesign#//@ownedViewpoints[name='hifan.anl']/@ownedRepresentations[name='hifan.acd']/@defaultLayer"/> + <target xmi:type="hifan:DomainComponent" href="Tokeneer.hifan#/"/> + </diagram:DSemanticDiagram> +</xmi:XMI>