commit bed7239be34f56ad3ed02172a77f8e9284648c3a Author: Martin Kloeckner <mjkloeckner@gmail.com> Date: Sat, 13 Sep 2025 15:42:08 -0300 first commit Diffstat:
| A | actuator_statechart.ysc | | | 177 | +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ |
1 file changed, 177 insertions(+), 0 deletions(-) diff --git a/actuator_statechart.ysc b/actuator_statechart.ysc @@ -0,0 +1,177 @@ +<?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:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:sgraph="http://www.yakindu.org/sct/sgraph/2.0.0"> + <sgraph:Statechart xmi:id="_gVj3cJC_EfCqcrGUAo_1TA" specification="// Use the event driven execution model.
// Switch to cycle based behavior
// by specifying '@CycleBased(200)'.
@EventDriven

// Use @SuperSteps(yes) to enable
// super step semantics.
@SuperSteps(no)


interface:
	// Define events and variables here. 
	// Use CTRL + Space for content assist.
	in event EV_ACT_RAISE
	in event EV_ACT_LOWER
	in event EV_ACT_OPENING_END
	in event EV_ACT_CLOSING_END
	
	operation raise_barrier():void
	operation lower_barrier():void
	operation stop_barrier():void" name="actuator_statechart"> + <regions xmi:id="_gVlFe5C_EfCqcrGUAo_1TA" name="main region"> + <vertices xsi:type="sgraph:Entry" xmi:id="_gVlFfJC_EfCqcrGUAo_1TA"> + <outgoingTransitions xmi:id="_gVlFfZC_EfCqcrGUAo_1TA" target="_gVlFfpC_EfCqcrGUAo_1TA"/> + </vertices> + <vertices xsi:type="sgraph:State" xmi:id="_gVlFfpC_EfCqcrGUAo_1TA" name="ST_ACT_CLOSED" incomingTransitions="_gVlFfZC_EfCqcrGUAo_1TA _Fh2u0JDAEfCqcrGUAo_1TA"> + <outgoingTransitions xmi:id="_gVlFgZC_EfCqcrGUAo_1TA" specification="EV_ACT_RAISE / raise_barrier()" target="_gVlFiJC_EfCqcrGUAo_1TA"/> + </vertices> + <vertices xsi:type="sgraph:State" xmi:id="_gVlFiJC_EfCqcrGUAo_1TA" name="ST_ACT_OPENING" incomingTransitions="_gVlFgZC_EfCqcrGUAo_1TA"> + <outgoingTransitions xmi:id="_BQdLEJDAEfCqcrGUAo_1TA" specification="EV_ACT_OPENING_END /
stop_barrier()" target="_m_7dkJC_EfCqcrGUAo_1TA"/> + </vertices> + <vertices xsi:type="sgraph:State" xmi:id="_m_7dkJC_EfCqcrGUAo_1TA" name="ST_ACT_OPEN" incomingTransitions="_BQdLEJDAEfCqcrGUAo_1TA"> + <outgoingTransitions xmi:id="_86ZJwJC_EfCqcrGUAo_1TA" specification="EV_ACT_LOWER / lower_barrier()" target="_qL7fgJC_EfCqcrGUAo_1TA"/> + </vertices> + <vertices xsi:type="sgraph:State" xmi:id="_qL7fgJC_EfCqcrGUAo_1TA" name="ST_ACT_CLOSING" incomingTransitions="_86ZJwJC_EfCqcrGUAo_1TA"> + <outgoingTransitions xmi:id="_Fh2u0JDAEfCqcrGUAo_1TA" specification="EV_ACT_CLOSING_END /
stop_barrier()" target="_gVlFfpC_EfCqcrGUAo_1TA"/> + </vertices> + </regions> + </sgraph:Statechart> + <notation:Diagram xmi:id="_gVlFl5C_EfCqcrGUAo_1TA" type="org.yakindu.sct.ui.editor.editor.StatechartDiagramEditor" element="_gVj3cJC_EfCqcrGUAo_1TA" measurementUnit="Pixel"> + <children xmi:id="_gVlFmJC_EfCqcrGUAo_1TA" type="Region" element="_gVlFe5C_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_gVlFmZC_EfCqcrGUAo_1TA" type="RegionName"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFmpC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_gVlFm5C_EfCqcrGUAo_1TA"/> + </children> + <children xsi:type="notation:Shape" xmi:id="_gVlFnJC_EfCqcrGUAo_1TA" type="RegionCompartment" fontName="Verdana" lineColor="4210752"> + <children xmi:id="_gVlFnZC_EfCqcrGUAo_1TA" type="Entry" element="_gVlFfJC_EfCqcrGUAo_1TA"> + <children xmi:id="_gVlFnpC_EfCqcrGUAo_1TA" type="BorderItemLabelContainer"> + <children xsi:type="notation:DecorationNode" xmi:id="_gVlFn5C_EfCqcrGUAo_1TA" type="BorderItemLabel"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFoJC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_gVlFoZC_EfCqcrGUAo_1TA"/> + </children> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFopC_EfCqcrGUAo_1TA" fontName="Verdana" lineColor="4210752"/> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFo5C_EfCqcrGUAo_1TA"/> + </children> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFpJC_EfCqcrGUAo_1TA" fontName="Verdana" fillColor="0" lineColor="16777215"/> + <styles xsi:type="notation:NamedStyle" xmi:id="_gVlFpZC_EfCqcrGUAo_1TA" name="allowColors"/> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFppC_EfCqcrGUAo_1TA" x="49" y="22" width="15" height="15"/> + </children> + <children xmi:id="_gVlFp5C_EfCqcrGUAo_1TA" type="State" element="_gVlFfpC_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_gVlFqJC_EfCqcrGUAo_1TA" type="StateName"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFqZC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_gVlFqpC_EfCqcrGUAo_1TA"/> + </children> + <children xsi:type="notation:Compartment" xmi:id="_gVlFq5C_EfCqcrGUAo_1TA" type="StateTextCompartment"> + <children xsi:type="notation:Shape" xmi:id="_gVlFrJC_EfCqcrGUAo_1TA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752"> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFrZC_EfCqcrGUAo_1TA"/> + </children> + </children> + <children xsi:type="notation:Compartment" xmi:id="_gVlFrpC_EfCqcrGUAo_1TA" type="StateFigureCompartment"/> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFr5C_EfCqcrGUAo_1TA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/> + <styles xsi:type="notation:FontStyle" xmi:id="_gVlFsJC_EfCqcrGUAo_1TA"/> + <styles xsi:type="notation:BooleanValueStyle" xmi:id="_gVlFsZC_EfCqcrGUAo_1TA" name="isHorizontal" booleanValue="true"/> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFspC_EfCqcrGUAo_1TA" x="40" y="80"/> + </children> + <children xmi:id="_gVlFs5C_EfCqcrGUAo_1TA" type="State" element="_gVlFiJC_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_gVlFtJC_EfCqcrGUAo_1TA" type="StateName"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFtZC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_gVlFtpC_EfCqcrGUAo_1TA"/> + </children> + <children xsi:type="notation:Compartment" xmi:id="_gVlFt5C_EfCqcrGUAo_1TA" type="StateTextCompartment"> + <children xsi:type="notation:Shape" xmi:id="_gVlFuJC_EfCqcrGUAo_1TA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752"> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFuZC_EfCqcrGUAo_1TA"/> + </children> + </children> + <children xsi:type="notation:Compartment" xmi:id="_gVlFupC_EfCqcrGUAo_1TA" type="StateFigureCompartment"/> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFu5C_EfCqcrGUAo_1TA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/> + <styles xsi:type="notation:FontStyle" xmi:id="_gVlFvJC_EfCqcrGUAo_1TA"/> + <styles xsi:type="notation:BooleanValueStyle" xmi:id="_gVlFvZC_EfCqcrGUAo_1TA" name="isHorizontal" booleanValue="true"/> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFvpC_EfCqcrGUAo_1TA" x="471" y="80" width="141" height="53"/> + </children> + <children xmi:id="_m_-g4JC_EfCqcrGUAo_1TA" type="State" element="_m_7dkJC_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_m__H8JC_EfCqcrGUAo_1TA" type="StateName"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_m__H8ZC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_m__H8pC_EfCqcrGUAo_1TA"/> + </children> + <children xsi:type="notation:Compartment" xmi:id="_m__vAJC_EfCqcrGUAo_1TA" type="StateTextCompartment"> + <children xsi:type="notation:Shape" xmi:id="_m__vAZC_EfCqcrGUAo_1TA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752"> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_m__vApC_EfCqcrGUAo_1TA"/> + </children> + </children> + <children xsi:type="notation:Compartment" xmi:id="_m__vA5C_EfCqcrGUAo_1TA" type="StateFigureCompartment"/> + <styles xsi:type="notation:ShapeStyle" xmi:id="_m_-g4ZC_EfCqcrGUAo_1TA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/> + <styles xsi:type="notation:FontStyle" xmi:id="_m_-g4pC_EfCqcrGUAo_1TA"/> + <styles xsi:type="notation:BooleanValueStyle" xmi:id="_m__vBJC_EfCqcrGUAo_1TA" name="isHorizontal" booleanValue="true"/> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_m_-g45C_EfCqcrGUAo_1TA" x="478" y="268" width="128" height="53"/> + </children> + <children xmi:id="_qL7fg5C_EfCqcrGUAo_1TA" type="State" element="_qL7fgJC_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_qL7fh5C_EfCqcrGUAo_1TA" type="StateName"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_qL7fiJC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_qL7fiZC_EfCqcrGUAo_1TA"/> + </children> + <children xsi:type="notation:Compartment" xmi:id="_qL7fipC_EfCqcrGUAo_1TA" type="StateTextCompartment"> + <children xsi:type="notation:Shape" xmi:id="_qL7fi5C_EfCqcrGUAo_1TA" type="StateTextCompartmentExpression" fontName="Verdana" lineColor="4210752"> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qL7fjJC_EfCqcrGUAo_1TA"/> + </children> + </children> + <children xsi:type="notation:Compartment" xmi:id="_qL7fjZC_EfCqcrGUAo_1TA" type="StateFigureCompartment"/> + <styles xsi:type="notation:ShapeStyle" xmi:id="_qL7fhJC_EfCqcrGUAo_1TA" fontName="Verdana" fillColor="15720400" lineColor="12632256"/> + <styles xsi:type="notation:FontStyle" xmi:id="_qL7fhZC_EfCqcrGUAo_1TA"/> + <styles xsi:type="notation:BooleanValueStyle" xmi:id="_qL7fjpC_EfCqcrGUAo_1TA" name="isHorizontal" booleanValue="true"/> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_qL7fhpC_EfCqcrGUAo_1TA" x="36" y="268" width="138" height="53"/> + </children> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFv5C_EfCqcrGUAo_1TA"/> + </children> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFwJC_EfCqcrGUAo_1TA" fontName="Verdana" fillColor="16448250" lineColor="12632256"/> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFwZC_EfCqcrGUAo_1TA" x="205" y="10" width="675" height="462"/> + </children> + <children xsi:type="notation:Shape" xmi:id="_gVlFwpC_EfCqcrGUAo_1TA" type="StatechartText" fontName="Verdana" lineColor="4210752"> + <children xsi:type="notation:DecorationNode" xmi:id="_gVlFw5C_EfCqcrGUAo_1TA" type="StatechartName"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFxJC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_gVlFxZC_EfCqcrGUAo_1TA"/> + </children> + <children xsi:type="notation:Shape" xmi:id="_gVlFxpC_EfCqcrGUAo_1TA" type="StatechartTextExpression" fontName="Verdana" lineColor="4210752"> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFx5C_EfCqcrGUAo_1TA"/> + </children> + <layoutConstraint xsi:type="notation:Bounds" xmi:id="_gVlFyJC_EfCqcrGUAo_1TA" x="10" y="10" width="200" height="400"/> + </children> + <styles xsi:type="notation:BooleanValueStyle" xmi:id="_gVlFyZC_EfCqcrGUAo_1TA" name="inlineDefinitionSection"/> + <styles xsi:type="notation:DiagramStyle" xmi:id="_gVlFypC_EfCqcrGUAo_1TA"/> + <edges xmi:id="_gVlFy5C_EfCqcrGUAo_1TA" type="Transition" element="_gVlFfZC_EfCqcrGUAo_1TA" source="_gVlFnZC_EfCqcrGUAo_1TA" target="_gVlFp5C_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_gVlFzJC_EfCqcrGUAo_1TA" type="TransitionExpression"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlFzZC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_gVlFzpC_EfCqcrGUAo_1TA" x="-1" y="10"/> + </children> + <styles xsi:type="notation:ConnectorStyle" xmi:id="_gVlFz5C_EfCqcrGUAo_1TA" routing="Rectilinear" lineColor="4210752"/> + <styles xsi:type="notation:FontStyle" xmi:id="_gVlF0JC_EfCqcrGUAo_1TA" fontName="Verdana"/> + <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gVlF0ZC_EfCqcrGUAo_1TA" points="[3, 6, -10, -71]$[3, 51, -10, -26]"/> + </edges> + <edges xmi:id="_gVlF0pC_EfCqcrGUAo_1TA" type="Transition" element="_gVlFgZC_EfCqcrGUAo_1TA" source="_gVlFp5C_EfCqcrGUAo_1TA" target="_gVlFs5C_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_gVlF05C_EfCqcrGUAo_1TA" type="TransitionExpression"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_gVlF1JC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_gVlF1ZC_EfCqcrGUAo_1TA" x="-47" y="-18"/> + </children> + <styles xsi:type="notation:ConnectorStyle" xmi:id="_gVlF1pC_EfCqcrGUAo_1TA" routing="Rectilinear" lineColor="4210752"/> + <styles xsi:type="notation:FontStyle" xmi:id="_gVlF15C_EfCqcrGUAo_1TA" fontName="Verdana"/> + <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_gVlF2JC_EfCqcrGUAo_1TA" points="[36, -1, -326, 1]$[338, -1, -24, 1]"/> + <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gVlF2ZC_EfCqcrGUAo_1TA" id="(0.7241379310344828,0.22641509433962265)"/> + <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_gVlF2pC_EfCqcrGUAo_1TA" id="(0.1724137931034483,0.18867924528301888)"/> + </edges> + <edges xmi:id="_86Zw0JC_EfCqcrGUAo_1TA" type="Transition" element="_86ZJwJC_EfCqcrGUAo_1TA" source="_m_-g4JC_EfCqcrGUAo_1TA" target="_qL7fg5C_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_86aX4ZC_EfCqcrGUAo_1TA" type="TransitionExpression"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_86aX4pC_EfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_86aX45C_EfCqcrGUAo_1TA" x="-10" y="13"/> + </children> + <styles xsi:type="notation:ConnectorStyle" xmi:id="_86Zw0ZC_EfCqcrGUAo_1TA" routing="Rectilinear" lineColor="4210752"/> + <styles xsi:type="notation:FontStyle" xmi:id="_86aX4JC_EfCqcrGUAo_1TA" fontName="Verdana"/> + <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_86Zw0pC_EfCqcrGUAo_1TA" points="[0, -13, 433, 5]$[-304, -13, 129, 5]"/> + <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_86cNEJC_EfCqcrGUAo_1TA" id="(0.0,0.6415094339622641)"/> + <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_86cNEZC_EfCqcrGUAo_1TA" id="(0.06521739130434782,0.3018867924528302)"/> + </edges> + <edges xmi:id="_BQdLEZDAEfCqcrGUAo_1TA" type="Transition" element="_BQdLEJDAEfCqcrGUAo_1TA" source="_gVlFs5C_EfCqcrGUAo_1TA" target="_m_-g4JC_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_BQdLFZDAEfCqcrGUAo_1TA" type="TransitionExpression"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_BQdLFpDAEfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_BQdLF5DAEfCqcrGUAo_1TA" x="-5" y="94"/> + </children> + <styles xsi:type="notation:ConnectorStyle" xmi:id="_BQdLEpDAEfCqcrGUAo_1TA" routing="Rectilinear" lineColor="4210752"/> + <styles xsi:type="notation:FontStyle" xmi:id="_BQdLFJDAEfCqcrGUAo_1TA" fontName="Verdana"/> + <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_BQdLE5DAEfCqcrGUAo_1TA" points="[0, 0, 0, -142]$[5, 135, 5, -7]"/> + <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_BQoxQJDAEfCqcrGUAo_1TA" id="(0.6170212765957447,1.0)"/> + <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_BQoxQZDAEfCqcrGUAo_1TA" id="(0.625,0.1320754716981132)"/> + </edges> + <edges xmi:id="_Fh388JDAEfCqcrGUAo_1TA" type="Transition" element="_Fh2u0JDAEfCqcrGUAo_1TA" source="_qL7fg5C_EfCqcrGUAo_1TA" target="_gVlFp5C_EfCqcrGUAo_1TA"> + <children xsi:type="notation:DecorationNode" xmi:id="_Fh389JDAEfCqcrGUAo_1TA" type="TransitionExpression"> + <styles xsi:type="notation:ShapeStyle" xmi:id="_Fh389ZDAEfCqcrGUAo_1TA"/> + <layoutConstraint xsi:type="notation:Location" xmi:id="_Fh389pDAEfCqcrGUAo_1TA" x="-4" y="81"/> + </children> + <styles xsi:type="notation:ConnectorStyle" xmi:id="_Fh388ZDAEfCqcrGUAo_1TA" routing="Rectilinear" lineColor="4210752"/> + <styles xsi:type="notation:FontStyle" xmi:id="_Fh3885DAEfCqcrGUAo_1TA" fontName="Verdana"/> + <bendpoints xsi:type="notation:RelativeBendpoints" xmi:id="_Fh388pDAEfCqcrGUAo_1TA" points="[2, 0, 0, 137]$[-1, -135, -3, 2]"/> + <sourceAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Fh5LEJDAEfCqcrGUAo_1TA" id="(0.2971014492753623,0.0)"/> + <targetAnchor xsi:type="notation:IdentityAnchor" xmi:id="_Fh5LEZDAEfCqcrGUAo_1TA" id="(0.3023255813953488,0.9622641509433962)"/> + </edges> + </notation:Diagram> +</xmi:XMI>