<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:MOCASProfile="http:///schemas/MOCASProfile/_wQnkAID0Ed6eXLp8yVslaw/11" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xsi:schemaLocation="http:///schemas/MOCASProfile/_wQnkAID0Ed6eXLp8yVslaw/11 ../MOCASProfiles/MOCASProfile.uml#_wQnkAYD0Ed6eXLp8yVslaw">
  <uml:Model xmi:id="idModel" name="CarModel">
    <packagedElement xmi:type="uml:Package" xmi:id="idPackage" name="car">
      <packagedElement xmi:type="uml:Component" xmi:id="_L53s4IW0Ed6xjtC9Xsi5LQ" name="Car" clientDependency="_uB2M4IW2Ed6xjtC9Xsi5LQ">
        <ownedAttribute xmi:type="uml:Port" xmi:id="_ji7o4IW0Ed6xjtC9Xsi5LQ" name="CarInput" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_lVE78IW0Ed6xjtC9Xsi5LQ" name="MonitorOutput"/>
        <ownedAttribute xmi:id="_p8H_kIW0Ed6xjtC9Xsi5LQ" name="speedValue" type="_AMKh8K5sEd6XPcXABU8HDw"/>
        <ownedAttribute xmi:id="_qrNTIIW0Ed6xjtC9Xsi5LQ" name="level" type="_AMKh8K5sEd6XPcXABU8HDw"/>
        <realization xmi:id="_uB2M4IW2Ed6xjtC9Xsi5LQ" supplier="_ORj9AIW0Ed6xjtC9Xsi5LQ" client="_L53s4IW0Ed6xjtC9Xsi5LQ" realizingClassifier="_ORj9AIW0Ed6xjtC9Xsi5LQ"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_QoEhYIW0Ed6xjtC9Xsi5LQ" name="CarActions">
        <ownedOperation xmi:id="_OTJxEIW3Ed6xjtC9Xsi5LQ" name="initMOCASProperties"/>
        <ownedOperation xmi:id="_R5Xp0IW3Ed6xjtC9Xsi5LQ" name="forward">
          <ownedParameter xmi:id="_5x0K8NBoEd6z9qSeU-L4rQ" name="speedValue" type="_AMKh8K5sEd6XPcXABU8HDw"/>
        </ownedOperation>
        <ownedOperation xmi:id="_T_CV0IW3Ed6xjtC9Xsi5LQ" name="backward"/>
        <ownedOperation xmi:id="_VbRqUIW3Ed6xjtC9Xsi5LQ" name="stop"/>
        <ownedOperation xmi:id="_XhPRQIW3Ed6xjtC9Xsi5LQ" name="charge"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_ORj9AIW0Ed6xjtC9Xsi5LQ" name="CarContext" clientDependency="_ATvP4IW3Ed6xjtC9Xsi5LQ" classifierBehavior="idStateMachine">
        <ownedAttribute xmi:id="_CEGccK9HEd6628UETHt_JQ" name="speedValue">
          <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#LiteralInteger"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="_DJFukK9HEd6628UETHt_JQ" name="level">
          <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#LiteralInteger"/>
        </ownedAttribute>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_YFTYINgrEd67VvwuB1jwUQ" name="CarInput" isBehavior="true"/>
        <ownedAttribute xmi:type="uml:Port" xmi:id="_Z_o94NgrEd67VvwuB1jwUQ" name="MonitorOutput"/>
        <ownedBehavior xmi:type="uml:StateMachine" xmi:id="idStateMachine" name="Car Behavior">
          <region xmi:id="idRegion" name="MainRegion">
            <subvertex xmi:type="uml:State" xmi:id="_HrQ-dIW0Ed6xjtC9Xsi5LQ" name="Car">
              <region xmi:id="_HrQ-dYW0Ed6xjtC9Xsi5LQ" name="Region1">
                <subvertex xmi:type="uml:Pseudostate" xmi:id="_w9CWMIW3Ed6xjtC9Xsi5LQ" name=""/>
                <subvertex xmi:type="uml:State" xmi:id="_xYT88oW3Ed6xjtC9Xsi5LQ" name="Stopped"/>
                <subvertex xmi:type="uml:State" xmi:id="_1zuYVIW3Ed6xjtC9Xsi5LQ" name="Moving">
                  <stateInvariant xmi:id="_JwEgEIW6Ed6xjtC9Xsi5LQ" name="">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_LphVAIW6Ed6xjtC9Xsi5LQ" type="_alTW4K6CEd6XPcXABU8HDw">
                      <language>ocl</language>
                      <body>speedValue&lt;=130</body>
                    </specification>
                  </stateInvariant>
                  <exit xmi:type="uml:Activity" xmi:id="_q-S08IW5Ed6xjtC9Xsi5LQ" name="^monitor.Charged(level)">
                    <node xmi:type="uml:SendSignalAction" xmi:id="_EO-d8K9aEd6jwKKj0VybJg" signal="_1JLUkIW5Ed6xjtC9Xsi5LQ">
                      <target xmi:type="uml:ValuePin" xmi:id="_FcdkwK9aEd6jwKKj0VybJg" name="monitor">
                        <value xmi:type="uml:InstanceValue" xmi:id="_dKxXsK9bEd6jwKKj0VybJg" instance="_h1FxwK9bEd6jwKKj0VybJg"/>
                      </target>
                    </node>
                  </exit>
                  <region xmi:id="_1zuYVYW3Ed6xjtC9Xsi5LQ" name="Region1">
                    <subvertex xmi:type="uml:Pseudostate" xmi:id="_3txDIYW3Ed6xjtC9Xsi5LQ" name=""/>
                    <subvertex xmi:type="uml:State" xmi:id="_5Cs1woW3Ed6xjtC9Xsi5LQ" name="Forward"/>
                    <subvertex xmi:type="uml:State" xmi:id="_5sk5MIW3Ed6xjtC9Xsi5LQ" name="Backward"/>
                    <transition xmi:id="_JXbBdIW4Ed6xjtC9Xsi5LQ" name="" source="_3txDIYW3Ed6xjtC9Xsi5LQ" target="_5Cs1woW3Ed6xjtC9Xsi5LQ"/>
                  </region>
                  <region xmi:id="_3Rc6koW3Ed6xjtC9Xsi5LQ" name="Region2">
                    <subvertex xmi:type="uml:Pseudostate" xmi:id="_4JVk0IW3Ed6xjtC9Xsi5LQ" name=""/>
                    <subvertex xmi:type="uml:State" xmi:id="_7pJ6oIW3Ed6xjtC9Xsi5LQ" name="BatteryCharging">
                      <doActivity xmi:type="uml:Activity" xmi:id="_MW5qUIW4Ed6xjtC9Xsi5LQ" name="charge()">
                        <node xmi:type="uml:CallOperationAction" xmi:id="_P7CfcIW4Ed6xjtC9Xsi5LQ" operation="_XhPRQIW3Ed6xjtC9Xsi5LQ">
                          <target xmi:type="uml:ValuePin" xmi:id="_qUIOENjxEd67VvwuB1jwUQ" name="" type="_ORj9AIW0Ed6xjtC9Xsi5LQ"/>
                        </node>
                      </doActivity>
                    </subvertex>
                    <subvertex xmi:type="uml:State" xmi:id="_-f1z4oW3Ed6xjtC9Xsi5LQ" name="Full"/>
                    <transition xmi:id="_HBqrAIW4Ed6xjtC9Xsi5LQ" name="" source="_4JVk0IW3Ed6xjtC9Xsi5LQ" target="_7pJ6oIW3Ed6xjtC9Xsi5LQ"/>
                    <transition xmi:id="_Hnq7EIW4Ed6xjtC9Xsi5LQ" name="" source="_7pJ6oIW3Ed6xjtC9Xsi5LQ" target="_-f1z4oW3Ed6xjtC9Xsi5LQ"/>
                  </region>
                </subvertex>
                <transition xmi:id="_DfdvlIW4Ed6xjtC9Xsi5LQ" name="" source="_w9CWMIW3Ed6xjtC9Xsi5LQ" target="_xYT88oW3Ed6xjtC9Xsi5LQ"/>
                <transition xmi:id="_EdA89YW4Ed6xjtC9Xsi5LQ" name="" source="_xYT88oW3Ed6xjtC9Xsi5LQ" target="_5Cs1woW3Ed6xjtC9Xsi5LQ" guard="_diArcIW4Ed6xjtC9Xsi5LQ">
                  <ownedRule xmi:id="_diArcIW4Ed6xjtC9Xsi5LQ">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_hE9NwIW4Ed6xjtC9Xsi5LQ" name="speedValue>0" type="_ALJQcK57Ed6XPcXABU8HDw">
                      <language>ocl</language>
                      <body>speedValue>0</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:Activity" xmi:id="_wUcnEK6GEd6XPcXABU8HDw">
                    <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_yFZnUK6GEd6XPcXABU8HDw" name="" structuralFeature="_p8H_kIW0Ed6xjtC9Xsi5LQ">
                      <object xmi:type="uml:ValuePin" xmi:id="_YpOZcNBoEd6z9qSeU-L4rQ" type="_ORj9AIW0Ed6xjtC9Xsi5LQ"/>
                      <value xmi:type="uml:ValuePin" xmi:id="_J5iR4NBoEd6z9qSeU-L4rQ" name="speedValue"/>
                    </node>
                    <node xmi:type="uml:CallOperationAction" xmi:id="_V6-VYNBmEd6z9qSeU-L4rQ" operation="_R5Xp0IW3Ed6xjtC9Xsi5LQ">
                      <target xmi:type="uml:ValuePin" xmi:id="_MwDBcNBnEd6z9qSeU-L4rQ" name="" type="_ORj9AIW0Ed6xjtC9Xsi5LQ"/>
                    </node>
                  </effect>
                  <trigger xmi:id="_W4bvYIW4Ed6xjtC9Xsi5LQ" event="_kYFA0IW3Ed6xjtC9Xsi5LQ"/>
                </transition>
                <transition xmi:id="_FGIydYW4Ed6xjtC9Xsi5LQ" name="" source="_xYT88oW3Ed6xjtC9Xsi5LQ" target="_5sk5MIW3Ed6xjtC9Xsi5LQ" guard="_is-UcIW4Ed6xjtC9Xsi5LQ">
                  <ownedRule xmi:id="_is-UcIW4Ed6xjtC9Xsi5LQ">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_kT7rMIW4Ed6xjtC9Xsi5LQ" name="speedValue&lt;0" type="_UsOu4K57Ed6XPcXABU8HDw">
                      <language>ocl</language>
                      <body>speedValue&lt;0</body>
                    </specification>
                  </ownedRule>
                  <trigger xmi:id="_YDiQkIW4Ed6xjtC9Xsi5LQ" event="_kYFA0IW3Ed6xjtC9Xsi5LQ"/>
                </transition>
                <transition xmi:id="_GFxDdYW4Ed6xjtC9Xsi5LQ" name="" source="_1zuYVIW3Ed6xjtC9Xsi5LQ" target="_xYT88oW3Ed6xjtC9Xsi5LQ" guard="_lODKEIW4Ed6xjtC9Xsi5LQ">
                  <ownedRule xmi:id="_lODKEIW4Ed6xjtC9Xsi5LQ">
                    <specification xmi:type="uml:OpaqueExpression" xmi:id="_mozQ0IW4Ed6xjtC9Xsi5LQ" name="speedValue==0" type="_U-3XAK57Ed6XPcXABU8HDw">
                      <language>ocl</language>
                      <body>speedValue==0</body>
                    </specification>
                  </ownedRule>
                  <effect xmi:type="uml:Activity" xmi:id="_fVFWIIW5Ed6xjtC9Xsi5LQ" name="stop()"/>
                  <trigger xmi:id="_ZLXbUIW4Ed6xjtC9Xsi5LQ" event="_kYFA0IW3Ed6xjtC9Xsi5LQ"/>
                </transition>
              </region>
            </subvertex>
            <subvertex xmi:type="uml:Pseudostate" xmi:id="_Ivgps4W0Ed6xjtC9Xsi5LQ" name=""/>
            <transition xmi:id="_JXTCdoW0Ed6xjtC9Xsi5LQ" name="" source="_Ivgps4W0Ed6xjtC9Xsi5LQ" target="_HrQ-dIW0Ed6xjtC9Xsi5LQ">
              <effect xmi:type="uml:Activity" xmi:id="_nk0poIW3Ed6xjtC9Xsi5LQ" name="initMOCASProperties()">
                <node xmi:type="uml:CallOperationAction" xmi:id="_qdSrkIW3Ed6xjtC9Xsi5LQ" operation="_OTJxEIW3Ed6xjtC9Xsi5LQ">
                  <target xmi:type="uml:ValuePin" xmi:id="_uY_5wK5UEd6XPcXABU8HDw" name="car.CarContext" type="_ORj9AIW0Ed6xjtC9Xsi5LQ"/>
                </node>
              </effect>
            </transition>
            <transition xmi:id="_GQ2uwK9dEd6jwKKj0VybJg" name="" kind="internal" source="_HrQ-dIW0Ed6xjtC9Xsi5LQ">
              <effect xmi:type="uml:Activity" xmi:id="_V4ubgK9dEd6jwKKj0VybJg">
                <node xmi:type="uml:ReadStructuralFeatureAction" xmi:id="_tlo_8K9hEd6jwKKj0VybJg" structuralFeature="_1lVMoK9cEd6jwKKj0VybJg">
                  <object xmi:type="uml:ValuePin" xmi:id="_z8JPAK9hEd6jwKKj0VybJg" type="_nvT4AK9cEd6jwKKj0VybJg"/>
                  <result xmi:id="_OwT1EK9iEd6jwKKj0VybJg" name="result"/>
                </node>
                <node xmi:type="uml:AddStructuralFeatureValueAction" xmi:id="_XkA4oK9dEd6jwKKj0VybJg" name="result">
                  <object xmi:type="uml:ValuePin" xmi:id="_ltnlsK9fEd6jwKKj0VybJg" type="_ORj9AIW0Ed6xjtC9Xsi5LQ"/>
                  <value xmi:type="uml:ValuePin" xmi:id="_g0zoQNgSEd67VvwuB1jwUQ" name="value"/>
                </node>
              </effect>
              <trigger xmi:id="_JHZeEK9dEd6jwKKj0VybJg" event="_KuqW0K9dEd6jwKKj0VybJg"/>
            </transition>
          </region>
        </ownedBehavior>
        <interfaceRealization xmi:id="_ATvP4IW3Ed6xjtC9Xsi5LQ" supplier="_QoEhYIW0Ed6xjtC9Xsi5LQ" client="_ORj9AIW0Ed6xjtC9Xsi5LQ" contract="_QoEhYIW0Ed6xjtC9Xsi5LQ"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_cUQbsIW0Ed6xjtC9Xsi5LQ" name="CarInputSignals">
        <ownedReception xmi:id="_aOPDAIW3Ed6xjtC9Xsi5LQ"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Interface" xmi:id="_eh9pYIW0Ed6xjtC9Xsi5LQ" name="CarOutputSignals">
        <ownedReception xmi:id="_zmO7IIW5Ed6xjtC9Xsi5LQ"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_ckJKcIW3Ed6xjtC9Xsi5LQ" name="Speed">
        <ownedAttribute xmi:id="_ewz2UIW3Ed6xjtC9Xsi5LQ" name="speedValue" type="_AMKh8K5sEd6XPcXABU8HDw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_kYFA0IW3Ed6xjtC9Xsi5LQ" name="Speed(speedValue)" signal="_ckJKcIW3Ed6xjtC9Xsi5LQ"/>
      <packagedElement xmi:type="uml:Signal" xmi:id="_1JLUkIW5Ed6xjtC9Xsi5LQ" name="Charged">
        <ownedAttribute xmi:id="_OLjb0K9aEd6jwKKj0VybJg" name="level" type="_AMKh8K5sEd6XPcXABU8HDw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_ALJQcK57Ed6XPcXABU8HDw" name="SpeedPositiveConstraint">
        <ownedAttribute xmi:id="_D2SFcK57Ed6XPcXABU8HDw" name="speedValue" type="_AMKh8K5sEd6XPcXABU8HDw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_UsOu4K57Ed6XPcXABU8HDw" name="SpeedNegativeConstraint">
        <ownedAttribute xmi:id="_UsOu4a57Ed6XPcXABU8HDw" name="speedValue" type="_AMKh8K5sEd6XPcXABU8HDw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_U-3XAK57Ed6XPcXABU8HDw" name="SpeedEqualConstraint">
        <ownedAttribute xmi:id="_U-3XAa57Ed6XPcXABU8HDw" name="speedValue" type="_AMKh8K5sEd6XPcXABU8HDw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Class" xmi:id="_alTW4K6CEd6XPcXABU8HDw" name="SpeedInvariant">
        <ownedAttribute xmi:id="_sdlxoK6DEd6XPcXABU8HDw" name="speedValue" type="_AMKh8K5sEd6XPcXABU8HDw"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_lY9rsK9cEd6jwKKj0VybJg" name="PropertyValue">
        <ownedAttribute xmi:id="_1lVMoK9cEd6jwKKj0VybJg" name="attribute">
          <type xmi:type="uml:Class" href="pathmap://UML_METAMODELS/UML.metamodel.uml#Property"/>
        </ownedAttribute>
        <ownedAttribute xmi:id="__yKNAK9cEd6jwKKj0VybJg" name="value" type="_CgWRkK9dEd6jwKKj0VybJg"/>
      </packagedElement>
      <packagedElement xmi:type="uml:Signal" xmi:id="_nvT4AK9cEd6jwKKj0VybJg" name="SetPropertyValue">
        <generalization xmi:id="_rXBlkK9cEd6jwKKj0VybJg" general="_lY9rsK9cEd6jwKKj0VybJg"/>
      </packagedElement>
      <packagedElement xmi:type="uml:SignalEvent" xmi:id="_KuqW0K9dEd6jwKKj0VybJg" name="SetPropertyValue" signal="_nvT4AK9cEd6jwKKj0VybJg"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="_AMKh8K5sEd6XPcXABU8HDw" name="java.lang.Integer"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_CCLoYK5sEd6XPcXABU8HDw" name="java.lang.String"/>
    <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_h1FxwK9bEd6jwKKj0VybJg">
      <slot xmi:id="_jLqjIK9bEd6jwKKj0VybJg" definingFeature="_lVE78IW0Ed6xjtC9Xsi5LQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Class" xmi:id="_CgWRkK9dEd6jwKKj0VybJg" name="java.lang.Object"/>
    <profileApplication xmi:id="_HYJGwIW3Ed6xjtC9Xsi5LQ">
      <eAnnotations xmi:id="_HYSQsIW3Ed6xjtC9Xsi5LQ" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="../MOCASProfiles/MOCASProfile.uml#_wQnkAYD0Ed6eXLp8yVslaw"/>
      </eAnnotations>
      <appliedProfile href="../MOCASProfiles/MOCASProfile.uml#_8g3tMDuyEd61avCFGmd6eg"/>
    </profileApplication>
  </uml:Model>
  <MOCASProfile:MOCASComponent xmi:id="_I-9TkIW3Ed6xjtC9Xsi5LQ" base_Component="_L53s4IW0Ed6xjtC9Xsi5LQ"/>
  <MOCASProfile:MOCASActions xmi:id="_JX1toIW3Ed6xjtC9Xsi5LQ" base_Interface="_QoEhYIW0Ed6xjtC9Xsi5LQ"/>
  <MOCASProfile:MOCASFunctionalContext xmi:id="_JrqBgIW3Ed6xjtC9Xsi5LQ" base_Class="_ORj9AIW0Ed6xjtC9Xsi5LQ"/>
  <MOCASProfile:MOCASInputSignals xmi:id="_KFbzcIW3Ed6xjtC9Xsi5LQ" base_Interface="_cUQbsIW0Ed6xjtC9Xsi5LQ"/>
  <MOCASProfile:MOCASOutputSignals xmi:id="_KhAVIIW3Ed6xjtC9Xsi5LQ" base_Interface="_eh9pYIW0Ed6xjtC9Xsi5LQ"/>
  <MOCASProfile:MOCASProperty xmi:id="_LQGPwIW3Ed6xjtC9Xsi5LQ" base_Property="_p8H_kIW0Ed6xjtC9Xsi5LQ"/>
  <MOCASProfile:MOCASProperty xmi:id="_Li3awIW3Ed6xjtC9Xsi5LQ" base_Property="_qrNTIIW0Ed6xjtC9Xsi5LQ"/>
</xmi:XMI>
