Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNicolas FAUVERGUE2018-12-12 16:09:57 +0000
committerQuentin Le Menez2019-01-18 13:31:46 +0000
commit2b3bac8b189602012369bb0a3c323518e10a3e3f (patch)
treeba13e78be19f8122312b9e583fa38675db38abf8 /examples
parent64adb24e9b71901d0c1a6f19d8e5df21baad8bfc (diff)
downloadorg.eclipse.papyrus-2b3bac8b189602012369bb0a3c323518e10a3e3f.tar.gz
org.eclipse.papyrus-2b3bac8b189602012369bb0a3c323518e10a3e3f.tar.xz
org.eclipse.papyrus-2b3bac8b189602012369bb0a3c323518e10a3e3f.zip
Bug 542753 - [Examples] Create examples of UML diagrams
Share example models. Change-Id: Ieb195ee8aadb39cf8b8d098b39877f52a84378ed Signed-off-by: Nicolas FAUVERGUE <nicolas.fauvergue@cea.fr>
Diffstat (limited to 'examples')
-rw-r--r--examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.di2
-rw-r--r--examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.notation514
-rw-r--r--examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.uml53
-rw-r--r--examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.css4
-rw-r--r--examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.di2
-rw-r--r--examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.notation229
-rw-r--r--examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.uml31
7 files changed, 835 insertions, 0 deletions
diff --git a/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.di b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.di
new file mode 100644
index 00000000000..8c549eecdc6
--- /dev/null
+++ b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.di
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<architecture:ArchitectureDescription xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:architecture="http://www.eclipse.org/papyrus/infra/core/architecture" contextId="org.eclipse.papyrus.infra.services.edit.TypeContext"/>
diff --git a/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.notation b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.notation
new file mode 100644
index 00000000000..74189fe4cf2
--- /dev/null
+++ b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.notation
@@ -0,0 +1,514 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:css="http://www.eclipse.org/papyrus/infra/gmfdiag/css" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/papyrus/infra/gmfdiag/style" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML">
+ <notation:Diagram xmi:id="_QNQnIPS6EeijlfDPatOxpg" type="PapyrusUMLStateMachineDiagram" name="State Machine Diagram" measurementUnit="Pixel">
+ <children xmi:type="notation:Shape" xmi:id="_QNQnIfS6EeijlfDPatOxpg" type="StateMachine_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_QNQnIvS6EeijlfDPatOxpg" type="StateMachine_NameLabel">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QNQnI_S6EeijlfDPatOxpg" width="891" height="20"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_QNQnJPS6EeijlfDPatOxpg" type="StateMachine_RegionCompartment">
+ <children xmi:type="notation:Shape" xmi:id="_QNQnJfS6EeijlfDPatOxpg" type="Region_Shape">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_QNQnJvS6EeijlfDPatOxpg" source="RegionAnnotationKey">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_QNQnJ_S6EeijlfDPatOxpg" key="RegionZoneKey" value=""/>
+ </eAnnotations>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_QNQnKPS6EeijlfDPatOxpg" type="Region_SubvertexCompartment">
+ <children xmi:type="notation:Shape" xmi:id="_SzNVsPS6EeijlfDPatOxpg" type="Pseudostate_InitialShape">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ZZRqwPS6EeijlfDPatOxpg" source="QualifiedName">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_ZZSR0PS6EeijlfDPatOxpg" key="QualifiedNameDepth" value="3"/>
+ </eAnnotations>
+ <children xmi:type="notation:DecorationNode" xmi:id="_SzN8wPS6EeijlfDPatOxpg" visible="false" type="Pseudostate_InitialFloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_SzN8wfS6EeijlfDPatOxpg" x="25" y="3"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_SzN8wvS6EeijlfDPatOxpg" type="Pseudostate_InitialStereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_SzN8w_S6EeijlfDPatOxpg" x="25" y="-10"/>
+ </children>
+ <element xmi:type="uml:Pseudostate" href="StateMachineDiagram_BankATM.uml#_SzJrUPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SzNVsfS6EeijlfDPatOxpg" x="40" y="60"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_Tt5cUPS6EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_Tt5cUvS6EeijlfDPatOxpg" type="State_NameLabel">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_WoRiwPS6EeijlfDPatOxpg" width="61"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_Tt5cU_S6EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_Tt5cVPS6EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_Tt5cVfS6EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Tt5cVvS6EeijlfDPatOxpg" y="-1" width="61"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_Tt1K4PS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Tt5cUfS6EeijlfDPatOxpg" x="129" y="50" width="61" height="41"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_o5MVYPS6EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_o5M8cfS6EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_o5M8cvS6EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_o5M8c_S6EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_o5M8dPS6EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_o5M8dfS6EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_o5ID8PS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_o5M8cPS6EeijlfDPatOxpg" x="269" y="110" width="141" height="81"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_rGIHAPS6EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_rGIHAvS6EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_rGIHA_S6EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_rGIHBPS6EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_rGIHBfS6EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rGIHBvS6EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_rGCncPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_rGIHAfS6EeijlfDPatOxpg" x="129" y="250" width="161" height="81"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_tJhiIPS6EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_tJhiIvS6EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_tJhiI_S6EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_tJhiJPS6EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_tJhiJfS6EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_tJhiJvS6EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_tJbbgPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_tJhiIfS6EeijlfDPatOxpg" x="389" y="250" width="161" height="81"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_uuetwPS6EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_uuetwvS6EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_uuetw_S6EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_uuetxPS6EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_uuetxfS6EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_uuetxvS6EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_uuYAEPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_uuetwfS6EeijlfDPatOxpg" x="649" y="250" width="161" height="81"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_3Rl-UPS6EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_3Rl-UvS6EeijlfDPatOxpg" type="State_NameLabel">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5asY1fS6EeijlfDPatOxpg" width="681" height="52"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_3RmlYPS6EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_3RmlYfS6EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_3RmlYvS6EeijlfDPatOxpg" type="State_RegionCompartment">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5ap8kPS6EeijlfDPatOxpg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_5ap8kfS6EeijlfDPatOxpg" key="visible" value="true"/>
+ </eAnnotations>
+ <children xmi:type="notation:Shape" xmi:id="_5arxwPS6EeijlfDPatOxpg" type="Region_Shape">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5asY0_S6EeijlfDPatOxpg" source="RegionAnnotationKey">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_5asY1PS6EeijlfDPatOxpg" key="RegionZoneKey" value=""/>
+ </eAnnotations>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_5asY0fS6EeijlfDPatOxpg" type="Region_SubvertexCompartment">
+ <children xmi:type="notation:Shape" xmi:id="_5atm8PS6EeijlfDPatOxpg" type="Pseudostate_InitialShape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_5atm8vS6EeijlfDPatOxpg" visible="false" type="Pseudostate_InitialFloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_5auOAPS6EeijlfDPatOxpg" x="25" y="3"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_5auOAfS6EeijlfDPatOxpg" type="Pseudostate_InitialStereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_5auOAvS6EeijlfDPatOxpg" x="25" y="-10"/>
+ </children>
+ <element xmi:type="uml:Pseudostate" href="StateMachineDiagram_BankATM.uml#_5as_4PS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5atm8fS6EeijlfDPatOxpg" x="19" y="28"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_6mWToPS6EeijlfDPatOxpg" type="FinalState_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_6mWTovS6EeijlfDPatOxpg" visible="false" type="FinalState_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_6mWTo_S6EeijlfDPatOxpg" x="25" y="3"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_6mWTpPS6EeijlfDPatOxpg" type="FinalState_StereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_6mWTpfS6EeijlfDPatOxpg" x="25" y="-10"/>
+ </children>
+ <element xmi:type="uml:FinalState" href="StateMachineDiagram_BankATM.uml#_6mL7kPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_6mWTofS6EeijlfDPatOxpg" x="639" y="28"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_72RqcPS6EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_72RqcvS6EeijlfDPatOxpg" type="State_NameLabel">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="__ZGQ8PS6EeijlfDPatOxpg" width="161"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_72Rqc_S6EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_72RqdPS6EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_72RqdfS6EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_72RqdvS6EeijlfDPatOxpg" y="-1" width="161"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_72FdMPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_72RqcfS6EeijlfDPatOxpg" x="79" y="40" width="161" height="61"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_BEy9wPS7EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_BEy9wvS7EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_BEy9w_S7EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_BEy9xPS7EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_BEy9xfS7EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_BEy9xvS7EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_BEn-oPS7EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_BEy9wfS7EeijlfDPatOxpg" x="279" y="40" width="141" height="61"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_GGc5wPS7EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_GGdg0PS7EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_GGdg0fS7EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_GGdg0vS7EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_GGdg0_S7EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GGdg1PS7EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_GGShsPS7EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_GGc5wfS7EeijlfDPatOxpg" x="459" y="40" width="141" height="61"/>
+ </children>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5asY0vS6EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:Region" href="StateMachineDiagram_BankATM.uml#_5aqjoPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5asY0PS6EeijlfDPatOxpg" width="681" height="128"/>
+ </children>
+ <styles xmi:type="notation:TitleStyle" xmi:id="_m0UMMPS9EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3RmlY_S6EeijlfDPatOxpg" y="52" width="681" height="128"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_3RuhMPS6EeijlfDPatOxpg" type="compartment_shape_display">
+ <styles xmi:type="notation:TitleStyle" xmi:id="_3RuhMfS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3RuhMvS6EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_hTdywPS9EeijlfDPatOxpg" type="Behavior_EntryBehaviorLabel">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_tM3CoPS9EeijlfDPatOxpg" source="displayNameLabelIcon">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tM3CofS9EeijlfDPatOxpg" key="displayNameLabelIcon_value" value="true"/>
+ </eAnnotations>
+ <element xmi:type="uml:OpaqueBehavior" href="StateMachineDiagram_BankATM.uml#_hTaIYPS9EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_hTdywfS9EeijlfDPatOxpg" x="-10" y="-10"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_vv3x8PS9EeijlfDPatOxpg" type="Behavior_ExitBehaviorLabel">
+ <element xmi:type="uml:OpaqueBehavior" href="StateMachineDiagram_BankATM.uml#_vvy5cPS9EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_vv3x8fS9EeijlfDPatOxpg" x="-10" y="-10"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_BankATM.uml#_3RepkPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3Rl-UfS6EeijlfDPatOxpg" x="129" y="390" width="681" height="180"/>
+ </children>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QNQnKfS6EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:Region" href="StateMachineDiagram_BankATM.uml#_QNQAEPS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QNQnKvS6EeijlfDPatOxpg" width="891" height="591"/>
+ </children>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QNQnK_S6EeijlfDPatOxpg" y="20" width="891" height="591"/>
+ </children>
+ <element xmi:type="uml:StateMachine" href="StateMachineDiagram_BankATM.uml#_QNOx8PS6EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_QNQnLPS6EeijlfDPatOxpg" x="30" y="30" width="891" height="611"/>
+ </children>
+ <styles xmi:type="notation:StringValueStyle" xmi:id="_QNQnLfS6EeijlfDPatOxpg" name="diagram_compatibility_version" stringValue="1.4.0"/>
+ <styles xmi:type="notation:DiagramStyle" xmi:id="_QNQnLvS6EeijlfDPatOxpg"/>
+ <styles xmi:type="style:PapyrusDiagramStyle" xmi:id="_QNQnL_S6EeijlfDPatOxpg" diagramKindId="org.eclipse.papyrus.uml.diagram.stateMachine">
+ <owner xmi:type="uml:Model" href="StateMachineDiagram_BankATM.uml#_QNDy0PS6EeijlfDPatOxpg"/>
+ </styles>
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_HmrPAPS-EeijlfDPatOxpg" name="rulergrid.viewgrid" booleanValue="true"/>
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_HtlvUPS-EeijlfDPatOxpg" name="rulergrid.snaptogrid" booleanValue="true"/>
+ <styles xmi:type="notation:EObjectListValueStyle" xmi:id="_9SX4MPS-EeijlfDPatOxpg" name="css_stylesheets" eObjectListValue="_-8JSYPS-EeijlfDPatOxpg"/>
+ <element xmi:type="uml:StateMachine" href="StateMachineDiagram_BankATM.uml#_QNOx8PS6EeijlfDPatOxpg"/>
+ <edges xmi:type="notation:Connector" xmi:id="_9DQlgPS7EeijlfDPatOxpg" type="Transition_Edge" source="_5atm8PS6EeijlfDPatOxpg" target="_72RqcPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_9DQlg_S7EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_IAluYPS_EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_9DQlhPS7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_9DQlhfS7EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_IA2NEPS_EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_9DQlhvS7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_9DQlh_S7EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_IBHS0PS_EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_9DQliPS7EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_9DQlgfS7EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_9CvoIPS7EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_9DQlgvS7EeijlfDPatOxpg" points="[198, 520, -643984, -643984]$[220, 520, -643984, -643984]$[220, 560, -643984, -643984]$[240, 560, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_9DyxAPS7EeijlfDPatOxpg" id="(0.8714285714285722,0.6785714285714277)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_9DyxAfS7EeijlfDPatOxpg" id="(0.0,0.32786885245901637)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_9rGooPS7EeijlfDPatOxpg" type="Transition_Edge" source="_72RqcPS6EeijlfDPatOxpg" target="_BEy9wPS7EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_9rHPsPS7EeijlfDPatOxpg" type="Transition_NameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_9rHPsfS7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_9rHPsvS7EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_9rHPs_S7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_9rHPtPS7EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_9rHPtfS7EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_9rGoofS7EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_9qoHgPS7EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_9rGoovS7EeijlfDPatOxpg" points="[401, 520, -643984, -643984]$[440, 520, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_9rqpUPS7EeijlfDPatOxpg" id="(1.0,0.32786885245901637)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_9rrQYPS7EeijlfDPatOxpg" id="(0.0,0.32786885245901637)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_-JB6wPS7EeijlfDPatOxpg" type="Transition_Edge" source="_BEy9wPS7EeijlfDPatOxpg" target="_GGc5wPS7EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_-JCh0PS7EeijlfDPatOxpg" type="Transition_NameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_-JCh0fS7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_-JCh0vS7EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_-JCh0_S7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_-JCh1PS7EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_-JCh1fS7EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_-JB6wfS7EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_-InrEPS7EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-JB6wvS7EeijlfDPatOxpg" points="[581, 520, -643984, -643984]$[620, 520, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-JktUPS7EeijlfDPatOxpg" id="(1.0,0.32786885245901637)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-JktUfS7EeijlfDPatOxpg" id="(0.0,0.32786885245901637)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_-12kgPS7EeijlfDPatOxpg" type="Transition_Edge" source="_GGc5wPS7EeijlfDPatOxpg" target="_6mWToPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_-12kg_S7EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_I2-j0PS_EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_-12khPS7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_-13LkPS7EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_I3aosPS_EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_-13LkfS7EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_-13LkvS7EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_I3uKsPS_EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_-13Lk_S7EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_-12kgfS7EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_-1YDYPS7EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_-12kgvS7EeijlfDPatOxpg" points="[761, 560, -643984, -643984]$[804, 560, -643984, -643984]$[804, 537, -643984, -643984]$[793, 537, -643984, -643984]$[793, 538, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-2Z-IPS7EeijlfDPatOxpg" id="(1.0,0.32786885245901637)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_-2Z-IfS7EeijlfDPatOxpg" id="(0.20600000000000024,0.8560000000000002)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_BZ1kMPS8EeijlfDPatOxpg" type="Transition_Edge" source="_Tt5cUPS6EeijlfDPatOxpg" target="_o5MVYPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_BZ2LQPS8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_863CAPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_BZ2LQfS8EeijlfDPatOxpg" x="24" y="-33"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_BZ2LQvS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_87FEcPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_BZ2LQ_S8EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_BZ2LRPS8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_87UVAPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_BZ2LRfS8EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_BZ1kMfS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_BZWcAPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_BZ1kMvS8EeijlfDPatOxpg" points="[200, 141, -643984, -643984]$[200, 200, -643984, -643984]$[300, 200, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_BaaL8PS8EeijlfDPatOxpg" id="(0.6557377049180327,1.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_BaaL8fS8EeijlfDPatOxpg" id="(0.0,0.49382716049382713)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_FK4M4PS8EeijlfDPatOxpg" type="Transition_Edge" source="_rGIHAPS6EeijlfDPatOxpg" target="_Tt5cUPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_FK4M4_S8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_FK4M5PS8EeijlfDPatOxpg" x="-7" y="-66"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_FK4z8PS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_FK4z8fS8EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_FK4z8vS8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_FK4z8_S8EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_FK4M4fS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_FKcIAPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_FK4M4vS8EeijlfDPatOxpg" points="[180, 300, -643984, -643984]$[180, 141, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_FLZxUPS8EeijlfDPatOxpg" id="(0.12422360248447205,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_FLZxUfS8EeijlfDPatOxpg" id="(0.32786885245901637,1.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_J2OhsPS8EeijlfDPatOxpg" type="Transition_Edge" source="_o5MVYPS6EeijlfDPatOxpg" target="_rGIHAPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_J2Ohs_S8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_7X2XIPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_J2OhtPS8EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_J2OhtfS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_7YFnsPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_J2OhtvS8EeijlfDPatOxpg" x="29" y="20"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_J2Oht_S8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_7YVfUPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_J2OhuPS8EeijlfDPatOxpg" x="-1" y="58"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_J2OhsfS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_J1xOsPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_J2OhsvS8EeijlfDPatOxpg" points="[340, 241, -643984, -643984]$[340, 260, -643984, -643984]$[240, 260, -643984, -643984]$[240, 300, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J2xUQPS8EeijlfDPatOxpg" id="(0.28368794326241137,1.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_J2xUQfS8EeijlfDPatOxpg" id="(0.4968944099378882,0.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_K9OmAPS8EeijlfDPatOxpg" type="Transition_Edge" source="_tJhiIPS6EeijlfDPatOxpg" target="_o5MVYPS6EeijlfDPatOxpg" roundedBendpointsRadius="20" routing="Rectilinear">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_vc_cwPS-EeijlfDPatOxpg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_vc_cwfS-EeijlfDPatOxpg" key="routing" value="true"/>
+ </eAnnotations>
+ <children xmi:type="notation:DecorationNode" xmi:id="_K9OmA_S8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_7EOQgPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_K9OmBPS8EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_K9OmBfS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_7Ek10PS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_K9OmBvS8EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_K9OmB_S8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_7E0GYPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_K9OmCPS8EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_K9OmAfS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_K8tooPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_K9OmAvS8EeijlfDPatOxpg" points="[520, 300, -643984, -643984]$[520, 220, -643984, -643984]$[441, 220, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K9wxgPS8EeijlfDPatOxpg" id="(0.6211180124223602,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K9xYkPS8EeijlfDPatOxpg" id="(1.0,0.7407407407407407)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_U_6y8PS8EeijlfDPatOxpg" type="Transition_Edge" source="_o5MVYPS6EeijlfDPatOxpg" target="_uuetwPS6EeijlfDPatOxpg" roundedBendpointsRadius="20">
+ <children xmi:type="notation:DecorationNode" xmi:id="_U_6y8_S8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_6tcIMPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_U_6y9PS8EeijlfDPatOxpg" x="-14" y="-13"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_U_6y9fS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_6tqxsPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_U_6y9vS8EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_U_6y9_S8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_6t6pUPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_U_6y-PS8EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_U_6y8fS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_U_XZUPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_U_6y8vS8EeijlfDPatOxpg" points="[441, 200, -643984, -643984]$[720, 200, -643984, -643984]$[720, 300, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VAfasPS8EeijlfDPatOxpg" id="(1.0,0.49382716049382713)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_VAfasfS8EeijlfDPatOxpg" id="(0.2484472049689441,0.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_Wk8QAPS8EeijlfDPatOxpg" type="Transition_Edge" source="_uuetwPS6EeijlfDPatOxpg" target="_Tt5cUPS6EeijlfDPatOxpg" roundedBendpointsRadius="20">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_coNaAPS8EeijlfDPatOxpg" source="PapyrusCSSForceValue">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_eU0s0PS8EeijlfDPatOxpg" key="roundedBendpointsRadius" value="true"/>
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_4LJxoPS8EeijlfDPatOxpg" key="jumpLinkStatus" value="true"/>
+ </eAnnotations>
+ <children xmi:type="notation:DecorationNode" xmi:id="_Wk8QA_S8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Y3ikwPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_Wk8QBPS8EeijlfDPatOxpg" x="37" y="13"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_Wk8QBfS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Y3wnMPS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_Wk8QBvS8EeijlfDPatOxpg" x="8" y="13"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_Wk8QB_S8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Y4BF4PS8EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_Wk8QCPS8EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_Wk8QAfS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_WkgyMPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Wk8QAvS8EeijlfDPatOxpg" points="[780, 300, -643984, -643984]$[780, 120, -643984, -643984]$[221, 120, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WlgQsPS8EeijlfDPatOxpg" id="(0.6211180124223602,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_WlgQsfS8EeijlfDPatOxpg" id="(1.0,0.4878048780487805)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_--NZ0PS8EeijlfDPatOxpg" type="Transition_Edge" source="_tJhiIPS6EeijlfDPatOxpg" target="_uuetwPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_--OA4PS8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_--OA4fS8EeijlfDPatOxpg" x="-14" y="-13"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_--OA4vS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_--OA4_S8EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_--OA5PS8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_--OA5fS8EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_--NZ0fS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_-9uRoPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_--NZ0vS8EeijlfDPatOxpg" points="[581, 320, -643984, -643984]$[680, 320, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_--z2wPS8EeijlfDPatOxpg" id="(1.0,0.24691358024691357)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_--z2wfS8EeijlfDPatOxpg" id="(0.0,0.24691358024691357)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="__e_LoPS8EeijlfDPatOxpg" type="Transition_Edge" source="_uuetwPS6EeijlfDPatOxpg" target="_tJhiIPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="__e_Lo_S8EeijlfDPatOxpg" type="Transition_NameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="__e_LpPS8EeijlfDPatOxpg" x="-8" y="-7"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="__e_LpfS8EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="__e_LpvS8EeijlfDPatOxpg" x="8" y="-7"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="__e_Lp_S8EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="__e_LqPS8EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="__e_LofS8EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#__ep0cPS8EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="__e_LovS8EeijlfDPatOxpg" points="[680, 340, -643984, -643984]$[581, 340, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="__flokPS8EeijlfDPatOxpg" id="(0.0,0.49382716049382713)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="__flokfS8EeijlfDPatOxpg" id="(1.0,0.49382716049382713)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_EDt7EPS9EeijlfDPatOxpg" type="Transition_Edge" source="_rGIHAPS6EeijlfDPatOxpg" target="_tJhiIPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_EDuiIPS9EeijlfDPatOxpg" type="Transition_NameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_EDuiIfS9EeijlfDPatOxpg" x="-13" y="-13"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_EDuiIvS9EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_EDuiI_S9EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_EDuiJPS9EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_EDuiJfS9EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_EDt7EfS9EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_EDLvkPS9EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_EDt7EvS9EeijlfDPatOxpg" points="[321, 340, -643984, -643984]$[420, 340, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EETJ4PS9EeijlfDPatOxpg" id="(1.0,0.49382716049382713)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_EETJ4fS9EeijlfDPatOxpg" id="(0.0,0.49382716049382713)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_Gm1_IPS9EeijlfDPatOxpg" type="Transition_Edge" source="_3Rl-UPS6EeijlfDPatOxpg" target="_uuetwPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_Gm1_I_S9EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_QvvhwPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_Gm1_JPS9EeijlfDPatOxpg" x="-7" y="-23"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_Gm1_JfS9EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_QwAngPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_Gm1_JvS9EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_Gm1_J_S9EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_QwS7YPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_Gm1_KPS9EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_Gm1_IfS9EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_GmbvcPS9EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Gm1_IvS9EeijlfDPatOxpg" points="[760, 420, -643984, -643984]$[760, 381, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GnccEPS9EeijlfDPatOxpg" id="(0.8810572687224669,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_GnccEfS9EeijlfDPatOxpg" id="(0.4968944099378882,1.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_LPnhEPS9EeijlfDPatOxpg" type="Transition_Edge" source="_3Rl-UPS6EeijlfDPatOxpg" target="_rGIHAPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_LPoIIPS9EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_QwkoMPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_LPoIIfS9EeijlfDPatOxpg" x="-7" y="37"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_LPoIIvS9EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Qw28EPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_LPoII_S9EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_LPoIJPS9EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_QxJ3APS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_LPoIJfS9EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_LPnhEfS9EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_LPHKwPS9EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_LPnhEvS9EeijlfDPatOxpg" points="[280, 420, -643984, -643984]$[280, 381, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LQV50PS9EeijlfDPatOxpg" id="(0.1762114537444934,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_LQV50fS9EeijlfDPatOxpg" id="(0.7453416149068323,1.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_N2KskPS9EeijlfDPatOxpg" type="Transition_Edge" source="_rGIHAPS6EeijlfDPatOxpg" target="_3Rl-UPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_N2Ksk_S9EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Qxbj0PS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_N2KslPS9EeijlfDPatOxpg" x="6" y="48"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_N2KslfS9EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_QxtQoPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_N2KslvS9EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_N2Ksl_S9EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Qx_kgPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_N2KsmPS9EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_N2KskfS9EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_N1nS8PS9EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_N2KskvS9EeijlfDPatOxpg" points="[200, 381, -643984, -643984]$[200, 420, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_N20M0PS9EeijlfDPatOxpg" id="(0.2484472049689441,1.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_N20z4PS9EeijlfDPatOxpg" id="(0.05873715124816446,0.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_xlq18PS9EeijlfDPatOxpg" type="Transition_Edge" source="_SzNVsPS6EeijlfDPatOxpg" target="_Tt5cUPS6EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_xlq18_S9EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_zEY2sPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_xlq19PS9EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_xlq19fS9EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_zE07kPS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_xlq19vS9EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_xlq19_S9EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_zFLg4PS9EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_xlq1-PS9EeijlfDPatOxpg" x="-1" y="59"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_xlq18fS9EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_BankATM.uml#_xlTCgPS9EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_xlq18vS9EeijlfDPatOxpg" points="[78, 90, -643984, -643984]$[78, 120, -643984, -643984]$[160, 120, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xmShAPS9EeijlfDPatOxpg" id="(0.9,0.5)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xmShAfS9EeijlfDPatOxpg" id="(0.0,0.4878048780487805)"/>
+ </edges>
+ </notation:Diagram>
+ <css:StyleSheetReference xmi:id="_-8JSYPS-EeijlfDPatOxpg" path="/StateMachineDiagram_WaterPhases/StateMachineDiagram_WaterPhases.css"/>
+</xmi:XMI>
diff --git a/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.uml b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.uml
new file mode 100644
index 00000000000..388052af4dd
--- /dev/null
+++ b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_BankATM.uml
@@ -0,0 +1,53 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_QNDy0PS6EeijlfDPatOxpg" name="StateMachineDiagram_BankATM">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_7yzIAPbQEeidhqL1pIoUbw">
+ <body>Diagram representation for : https://www.uml-diagrams.org/bank-atm-uml-state-machine-diagram-example.html?context=stm-examples</body>
+ </ownedComment>
+ <packageImport xmi:type="uml:PackageImport" xmi:id="_QQeTMPS6EeijlfDPatOxpg">
+ <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
+ </packageImport>
+ <packagedElement xmi:type="uml:StateMachine" xmi:id="_QNOx8PS6EeijlfDPatOxpg" name="Bank ATM">
+ <region xmi:type="uml:Region" xmi:id="_QNQAEPS6EeijlfDPatOxpg" name="Region1">
+ <transition xmi:type="uml:Transition" xmi:id="_BZWcAPS8EeijlfDPatOxpg" name="Turn on / startup" source="_Tt1K4PS6EeijlfDPatOxpg" target="_o5ID8PS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_FKcIAPS8EeijlfDPatOxpg" name="Turn off / Shutdown" source="_rGCncPS6EeijlfDPatOxpg" target="_Tt1K4PS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_J1xOsPS8EeijlfDPatOxpg" source="_o5ID8PS6EeijlfDPatOxpg" target="_rGCncPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_K8tooPS8EeijlfDPatOxpg" source="_tJbbgPS6EeijlfDPatOxpg" target="_o5ID8PS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_U_XZUPS8EeijlfDPatOxpg" name="failure" source="_o5ID8PS6EeijlfDPatOxpg" target="_uuYAEPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_WkgyMPS8EeijlfDPatOxpg" name="Turn off / shutdown" source="_uuYAEPS6EeijlfDPatOxpg" target="_Tt1K4PS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_-9uRoPS8EeijlfDPatOxpg" name="failure" source="_tJbbgPS6EeijlfDPatOxpg" target="_uuYAEPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="__ep0cPS8EeijlfDPatOxpg" name="service" source="_uuYAEPS6EeijlfDPatOxpg" target="_tJbbgPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_EDLvkPS9EeijlfDPatOxpg" name="service" source="_rGCncPS6EeijlfDPatOxpg" target="_tJbbgPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_GmbvcPS9EeijlfDPatOxpg" name="failure" source="_3RepkPS6EeijlfDPatOxpg" target="_uuYAEPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_LPHKwPS9EeijlfDPatOxpg" name="cancel" source="_3RepkPS6EeijlfDPatOxpg" target="_rGCncPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_N1nS8PS9EeijlfDPatOxpg" name="card insered" source="_rGCncPS6EeijlfDPatOxpg" target="_3RepkPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_xlTCgPS9EeijlfDPatOxpg" source="_SzJrUPS6EeijlfDPatOxpg" target="_Tt1K4PS6EeijlfDPatOxpg"/>
+ <subvertex xmi:type="uml:Pseudostate" xmi:id="_SzJrUPS6EeijlfDPatOxpg" name="Initial1"/>
+ <subvertex xmi:type="uml:State" xmi:id="_Tt1K4PS6EeijlfDPatOxpg" name="Off"/>
+ <subvertex xmi:type="uml:State" xmi:id="_o5ID8PS6EeijlfDPatOxpg" name="Self test"/>
+ <subvertex xmi:type="uml:State" xmi:id="_rGCncPS6EeijlfDPatOxpg" name="Idle"/>
+ <subvertex xmi:type="uml:State" xmi:id="_tJbbgPS6EeijlfDPatOxpg" name="Maintenance"/>
+ <subvertex xmi:type="uml:State" xmi:id="_uuYAEPS6EeijlfDPatOxpg" name="Out of Service"/>
+ <subvertex xmi:type="uml:State" xmi:id="_3RepkPS6EeijlfDPatOxpg" name="Serving Customer">
+ <entry xmi:type="uml:OpaqueBehavior" xmi:id="_hTaIYPS9EeijlfDPatOxpg" name="readCard" visibility="package"/>
+ <exit xmi:type="uml:OpaqueBehavior" xmi:id="_vvy5cPS9EeijlfDPatOxpg" name="ejectCard"/>
+ <region xmi:type="uml:Region" xmi:id="_5aqjoPS6EeijlfDPatOxpg" name="Region1">
+ <transition xmi:type="uml:Transition" xmi:id="_9CvoIPS7EeijlfDPatOxpg" source="_5as_4PS6EeijlfDPatOxpg" target="_72FdMPS6EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_9qoHgPS7EeijlfDPatOxpg" source="_72FdMPS6EeijlfDPatOxpg" target="_BEn-oPS7EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_-InrEPS7EeijlfDPatOxpg" source="_BEn-oPS7EeijlfDPatOxpg" target="_GGShsPS7EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_-1YDYPS7EeijlfDPatOxpg" source="_GGShsPS7EeijlfDPatOxpg" target="_6mL7kPS6EeijlfDPatOxpg"/>
+ <subvertex xmi:type="uml:Pseudostate" xmi:id="_5as_4PS6EeijlfDPatOxpg" name="Initial1"/>
+ <subvertex xmi:type="uml:FinalState" xmi:id="_6mL7kPS6EeijlfDPatOxpg" name="FinalState2"/>
+ <subvertex xmi:type="uml:State" xmi:id="_72FdMPS6EeijlfDPatOxpg" name="Customer authentification"/>
+ <subvertex xmi:type="uml:State" xmi:id="_BEn-oPS7EeijlfDPatOxpg" name="Selecting Customer"/>
+ <subvertex xmi:type="uml:State" xmi:id="_GGShsPS7EeijlfDPatOxpg" name="Transaction"/>
+ </region>
+ </subvertex>
+ </region>
+ </packagedElement>
+ <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_lpOZcPS6EeijlfDPatOxpg">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_lpPAgPS6EeijlfDPatOxpg" source="http://www.eclipse.org/uml2/2.0.0/UML">
+ <references xmi:type="ecore:EPackage" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#_Kv8EIKFXEeS_KNX0nfvIVQ"/>
+ </eAnnotations>
+ <appliedProfile xmi:type="uml:Profile" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#ActionLanguage"/>
+ </profileApplication>
+</uml:Model>
diff --git a/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.css b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.css
new file mode 100644
index 00000000000..c8601549a14
--- /dev/null
+++ b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.css
@@ -0,0 +1,4 @@
+Transition {
+ routing: Rectilinear;
+ roundedBendpointsRadius: 20;
+} \ No newline at end of file
diff --git a/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.di b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.di
new file mode 100644
index 00000000000..8c549eecdc6
--- /dev/null
+++ b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.di
@@ -0,0 +1,2 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<architecture:ArchitectureDescription xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:architecture="http://www.eclipse.org/papyrus/infra/core/architecture" contextId="org.eclipse.papyrus.infra.services.edit.TypeContext"/>
diff --git a/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.notation b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.notation
new file mode 100644
index 00000000000..638bb78d411
--- /dev/null
+++ b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.notation
@@ -0,0 +1,229 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<notation:Diagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/papyrus/infra/gmfdiag/style" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="__u0JoPS3EeijlfDPatOxpg" type="PapyrusUMLStateMachineDiagram" name="State Machine Diagram" measurementUnit="Pixel">
+ <children xmi:type="notation:Shape" xmi:id="__u0JofS3EeijlfDPatOxpg" type="StateMachine_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="__u0JovS3EeijlfDPatOxpg" type="StateMachine_NameLabel">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="__u0Jo_S3EeijlfDPatOxpg" width="651" height="20"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="__u0JpPS3EeijlfDPatOxpg" type="StateMachine_RegionCompartment">
+ <children xmi:type="notation:Shape" xmi:id="__u0JpfS3EeijlfDPatOxpg" type="Region_Shape">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__u0JpvS3EeijlfDPatOxpg" source="RegionAnnotationKey">
+ <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__u0Jp_S3EeijlfDPatOxpg" key="RegionZoneKey" value=""/>
+ </eAnnotations>
+ <children xmi:type="notation:BasicCompartment" xmi:id="__u0JqPS3EeijlfDPatOxpg" type="Region_SubvertexCompartment">
+ <children xmi:type="notation:Shape" xmi:id="_CQGaoPS4EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_CQGaovS4EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_CQGao_S4EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_CQGapPS4EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_CQHBsPS4EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CQHBsfS4EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_WaterPhases.uml#_CQCwQPS4EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_CQGaofS4EeijlfDPatOxpg" x="209" y="30" width="201" height="101"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_OO8LMPS4EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_OO8yQPS4EeijlfDPatOxpg" type="State_NameLabel"/>
+ <children xmi:type="notation:DecorationNode" xmi:id="_OO8yQfS4EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_OO8yQvS4EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_OO8yQ_S4EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_OO8yRPS4EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_WaterPhases.uml#_OO3SsPS4EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_OO8LMfS4EeijlfDPatOxpg" x="209" y="190" width="201" height="101"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_U6qcUPS4EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_U6qcUvS4EeijlfDPatOxpg" type="State_NameLabel">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_XkdwIPS4EeijlfDPatOxpg" width="221"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_U6qcU_S4EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_U6qcVPS4EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_U6qcVfS4EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_U6qcVvS4EeijlfDPatOxpg" y="-1" width="221"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_WaterPhases.uml#_U6kVsPS4EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_U6qcUfS4EeijlfDPatOxpg" x="369" y="370" width="221" height="101"/>
+ </children>
+ <children xmi:type="notation:Shape" xmi:id="_YBDlgPS4EeijlfDPatOxpg" type="State_Shape">
+ <children xmi:type="notation:DecorationNode" xmi:id="_YBEzoPS4EeijlfDPatOxpg" type="State_NameLabel">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YBGBwPS4EeijlfDPatOxpg" width="221" height="20"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_YBEzofS4EeijlfDPatOxpg" type="State_FloatingNameLabel">
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_YBEzovS4EeijlfDPatOxpg" x="40"/>
+ </children>
+ <children xmi:type="notation:BasicCompartment" xmi:id="_YBFasPS4EeijlfDPatOxpg" type="State_RegionCompartment">
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YBFasfS4EeijlfDPatOxpg" y="20" width="221" height="81"/>
+ </children>
+ <element xmi:type="uml:State" href="StateMachineDiagram_WaterPhases.uml#_YA9e4PS4EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="_YBDlgfS4EeijlfDPatOxpg" x="49" y="370" width="221" height="101"/>
+ </children>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="__u0JqfS3EeijlfDPatOxpg"/>
+ </children>
+ <element xmi:type="uml:Region" href="StateMachineDiagram_WaterPhases.uml#__uy7gPS3EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="__u0JqvS3EeijlfDPatOxpg" width="651" height="511"/>
+ </children>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="__u0Jq_S3EeijlfDPatOxpg" y="20" width="651" height="511"/>
+ </children>
+ <element xmi:type="uml:StateMachine" href="StateMachineDiagram_WaterPhases.uml#__upxkPS3EeijlfDPatOxpg"/>
+ <layoutConstraint xmi:type="notation:Bounds" xmi:id="__u0JrPS3EeijlfDPatOxpg" x="30" y="30" width="651" height="531"/>
+ </children>
+ <styles xmi:type="notation:StringValueStyle" xmi:id="__u0JrfS3EeijlfDPatOxpg" name="diagram_compatibility_version" stringValue="1.4.0"/>
+ <styles xmi:type="notation:DiagramStyle" xmi:id="__u0JrvS3EeijlfDPatOxpg"/>
+ <styles xmi:type="style:PapyrusDiagramStyle" xmi:id="__u0Jr_S3EeijlfDPatOxpg" diagramKindId="org.eclipse.papyrus.uml.diagram.stateMachine">
+ <owner xmi:type="uml:Model" href="StateMachineDiagram_WaterPhases.uml#__ueLYPS3EeijlfDPatOxpg"/>
+ </styles>
+ <element xmi:type="uml:StateMachine" href="StateMachineDiagram_WaterPhases.uml#__upxkPS3EeijlfDPatOxpg"/>
+ <edges xmi:type="notation:Connector" xmi:id="_dBHmEPS4EeijlfDPatOxpg" type="Transition_Edge" source="_YBDlgPS4EeijlfDPatOxpg" target="_U6qcUPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_dBINIPS4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2ZKMYPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_dBINIfS4EeijlfDPatOxpg" x="-10" y="7"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_dBINIvS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2ZlqMPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_dBINI_S4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_dBINJPS4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2Z2v8PS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_dBINJfS4EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_dBHmEfS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_dAmBoPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_dBHmEvS4EeijlfDPatOxpg" points="[281, 480, -643984, -643984]$[420, 480, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dCI5wPS4EeijlfDPatOxpg" id="(1.0,0.594059405940594)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dCI5wfS4EeijlfDPatOxpg" id="(0.0,0.594059405940594)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_dhRs0PS4EeijlfDPatOxpg" type="Transition_Edge" source="_U6qcUPS4EeijlfDPatOxpg" target="_YBDlgPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_dhRs0_S4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2amW0PS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_dhRs1PS4EeijlfDPatOxpg" x="-11" y="13"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_dhST4PS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2awu4PS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_dhST4fS4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_dhST4vS4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2a8VEPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_dhST4_S4EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_dhRs0fS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_dg9jwPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_dhRs0vS4EeijlfDPatOxpg" points="[420, 460, -643984, -643984]$[281, 460, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dhvm4PS4EeijlfDPatOxpg" id="(0.0,0.39603960396039606)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_dhvm4fS4EeijlfDPatOxpg" id="(1.0,0.39603960396039606)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_eIdBkPS4EeijlfDPatOxpg" type="Transition_Edge" source="_OO8LMPS4EeijlfDPatOxpg" target="_U6qcUPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_eIdBk_S4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_5tOlMPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_eIdBlPS4EeijlfDPatOxpg" x="-34" y="26"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_eIdBlfS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_5tYWMPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_eIdBlvS4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_eIdBl_S4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_5tiHMPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_eIdBmPS4EeijlfDPatOxpg" x="1" y="59"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_eIdBkfS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_eIHDUPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_eIdBkvS4EeijlfDPatOxpg" points="[360, 341, -643984, -643984]$[480, 420, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_eI2qMPS4EeijlfDPatOxpg" id="(0.5970149253731343,1.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_eI3RQPS4EeijlfDPatOxpg" id="(0.45248868778280543,0.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_ex2j4PS4EeijlfDPatOxpg" type="Transition_Edge" source="_U6qcUPS4EeijlfDPatOxpg" target="_OO8LMPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_ex3K8PS4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_5sdJIPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_ex3K8fS4EeijlfDPatOxpg" x="-30" y="32"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_ex3K8vS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_5szucPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_ex3K8_S4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_ex3K9PS4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_5tC_APS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_ex3K9fS4EeijlfDPatOxpg" x="1" y="59"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_ex2j4fS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_exeJYPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_ex2j4vS4EeijlfDPatOxpg" points="[520, 420, -643984, -643984]$[400, 341, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_eyNwQPS4EeijlfDPatOxpg" id="(0.6334841628959276,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_eyNwQfS4EeijlfDPatOxpg" id="(0.7960199004975125,1.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_f4Vq0PS4EeijlfDPatOxpg" type="Transition_Edge" source="_OO8LMPS4EeijlfDPatOxpg" target="_YBDlgPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_f4WR4PS4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2bFfAPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_f4WR4fS4EeijlfDPatOxpg" x="29" y="34"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_f4WR4vS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2bOo8PS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_f4WR4_S4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_f4WR5PS4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2bYZ8PS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_f4WR5fS4EeijlfDPatOxpg" x="-2" y="57"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_f4Vq0fS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_f33JsPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_f4Vq0vS4EeijlfDPatOxpg" points="[280, 341, -643984, -643984]$[140, 420, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_f4whkPS4EeijlfDPatOxpg" id="(0.19900497512437812,1.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_f4whkfS4EeijlfDPatOxpg" id="(0.36199095022624433,0.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_gvEegPS4EeijlfDPatOxpg" type="Transition_Edge" source="_YBDlgPS4EeijlfDPatOxpg" target="_OO8LMPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_gvEeg_S4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2aIcwPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_gvEehPS4EeijlfDPatOxpg" x="39" y="33"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_gvFFkPS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2aSNwPS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_gvFFkfS4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_gvFFkvS4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_2acl0PS4EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_gvFFk_S4EeijlfDPatOxpg" x="1" y="58"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_gvEegfS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_gukIMPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_gvEegvS4EeijlfDPatOxpg" points="[180, 420, -643984, -643984]$[320, 341, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gvmC8PS4EeijlfDPatOxpg" id="(0.5429864253393665,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_gvmC8fS4EeijlfDPatOxpg" id="(0.39800995024875624,1.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_nNLxcPS4EeijlfDPatOxpg" type="Transition_Edge" source="_OO8LMPS4EeijlfDPatOxpg" target="_CQGaoPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_nNLxc_S4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_JiM50PS5EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_nNLxdPS4EeijlfDPatOxpg" x="3" y="-34"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_nNLxdfS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_JiVcsPS5EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_nNLxdvS4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_nNLxd_S4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Jif0wPS5EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_nNLxePS4EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_nNLxcfS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_nM1zMPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_nNLxcvS4EeijlfDPatOxpg" points="[300, 240, -643984, -643984]$[300, 181, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_nNlaEPS4EeijlfDPatOxpg" id="(0.39800995024875624,0.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_nNlaEfS4EeijlfDPatOxpg" id="(0.39800995024875624,1.0)"/>
+ </edges>
+ <edges xmi:type="notation:Connector" xmi:id="_nrv8wPS4EeijlfDPatOxpg" type="Transition_Edge" source="_CQGaoPS4EeijlfDPatOxpg" target="_OO8LMPS4EeijlfDPatOxpg">
+ <children xmi:type="notation:DecorationNode" xmi:id="_nrv8w_S4EeijlfDPatOxpg" type="Transition_NameLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Jio-sPS5EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_nrv8xPS4EeijlfDPatOxpg" x="-4" y="-52"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_nrv8xfS4EeijlfDPatOxpg" type="Transition_GuardLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_JiyvsPS5EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_nrv8xvS4EeijlfDPatOxpg"/>
+ </children>
+ <children xmi:type="notation:DecorationNode" xmi:id="_nrv8x_S4EeijlfDPatOxpg" type="Transition_StereotypeLabel">
+ <styles xmi:type="notation:BooleanValueStyle" xmi:id="_Ji8gsPS5EeijlfDPatOxpg" name="IS_UPDATED_POSITION" booleanValue="true"/>
+ <layoutConstraint xmi:type="notation:Location" xmi:id="_nrwj0PS4EeijlfDPatOxpg" y="60"/>
+ </children>
+ <styles xmi:type="notation:FontStyle" xmi:id="_nrv8wfS4EeijlfDPatOxpg"/>
+ <element xmi:type="uml:Transition" href="StateMachineDiagram_WaterPhases.uml#_nrVtEPS4EeijlfDPatOxpg"/>
+ <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_nrv8wvS4EeijlfDPatOxpg" points="[380, 181, -643984, -643984]$[380, 240, -643984, -643984]"/>
+ <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_nsMosPS4EeijlfDPatOxpg" id="(0.5970149253731343,1.0)"/>
+ <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_nsMosfS4EeijlfDPatOxpg" id="(0.5970149253731343,0.0)"/>
+ </edges>
+</notation:Diagram>
diff --git a/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.uml b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.uml
new file mode 100644
index 00000000000..da8770c12da
--- /dev/null
+++ b/examples/uml/org.eclipse.papyrus.examples.uml.diagrams/StateMachineDiagram_WaterPhases.uml
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="__ueLYPS3EeijlfDPatOxpg" name="StateMachineDiagram_WaterPhases">
+ <ownedComment xmi:type="uml:Comment" xmi:id="_CImzgPbREeidhqL1pIoUbw">
+ <body>Diagram representation for : https://www.uml-diagrams.org/examples/water-phase-uml-state-machine-diagram-example.html</body>
+ </ownedComment>
+ <packageImport xmi:type="uml:PackageImport" xmi:id="__xr3cPS3EeijlfDPatOxpg">
+ <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
+ </packageImport>
+ <packagedElement xmi:type="uml:StateMachine" xmi:id="__upxkPS3EeijlfDPatOxpg" name="Water Phases">
+ <region xmi:type="uml:Region" xmi:id="__uy7gPS3EeijlfDPatOxpg" name="Region1">
+ <transition xmi:type="uml:Transition" xmi:id="_dAmBoPS4EeijlfDPatOxpg" name="freezing" source="_YA9e4PS4EeijlfDPatOxpg" target="_U6kVsPS4EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_dg9jwPS4EeijlfDPatOxpg" name="melting" source="_U6kVsPS4EeijlfDPatOxpg" target="_YA9e4PS4EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_eIHDUPS4EeijlfDPatOxpg" name="deposition" source="_OO3SsPS4EeijlfDPatOxpg" target="_U6kVsPS4EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_exeJYPS4EeijlfDPatOxpg" name="sublimation" source="_U6kVsPS4EeijlfDPatOxpg" target="_OO3SsPS4EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_f33JsPS4EeijlfDPatOxpg" name="condensation" source="_OO3SsPS4EeijlfDPatOxpg" target="_YA9e4PS4EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_gukIMPS4EeijlfDPatOxpg" name="vaporization" source="_YA9e4PS4EeijlfDPatOxpg" target="_OO3SsPS4EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_nM1zMPS4EeijlfDPatOxpg" name="ionization" source="_OO3SsPS4EeijlfDPatOxpg" target="_CQCwQPS4EeijlfDPatOxpg"/>
+ <transition xmi:type="uml:Transition" xmi:id="_nrVtEPS4EeijlfDPatOxpg" name="deionization" source="_CQCwQPS4EeijlfDPatOxpg" target="_OO3SsPS4EeijlfDPatOxpg"/>
+ <subvertex xmi:type="uml:State" xmi:id="_CQCwQPS4EeijlfDPatOxpg" name="Plasma"/>
+ <subvertex xmi:type="uml:State" xmi:id="_OO3SsPS4EeijlfDPatOxpg" name="Water vapor"/>
+ <subvertex xmi:type="uml:State" xmi:id="_U6kVsPS4EeijlfDPatOxpg" name="Ice or Frost"/>
+ <subvertex xmi:type="uml:State" xmi:id="_YA9e4PS4EeijlfDPatOxpg" name="Liquid Water"/>
+ </region>
+ </packagedElement>
+ <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_KusXkPS4EeijlfDPatOxpg">
+ <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Kus-oPS4EeijlfDPatOxpg" source="http://www.eclipse.org/uml2/2.0.0/UML">
+ <references xmi:type="ecore:EPackage" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#_Kv8EIKFXEeS_KNX0nfvIVQ"/>
+ </eAnnotations>
+ <appliedProfile xmi:type="uml:Profile" href="pathmap://PAPYRUS_ACTIONLANGUAGE_PROFILE/ActionLanguage-Profile.profile.uml#ActionLanguage"/>
+ </profileApplication>
+</uml:Model>

Back to the top