<?xml version="1.0" encoding="UTF-8"?>
<machine:Machine xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:machine="http://emf.eventb.org/models/core/machine/2014" name="mProperty">
  <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
    <details key="configuration" value="org.eventb.core.fwd;de.prob.units.mchBase"/>
    <details key="name" value="mProperty"/>
  </annotations>
  <annotations source="http:///org/eventb/core/RodinReferenceNamesAnnotations">
    <details key="refines mComponent" value="_0kfYMPqeEeectLZKwQfI0A"/>
    <details key="sees cComponent" value="_Rf6I4ADlEei-meqqkXX9bA"/>
  </annotations>
  <attributes key="org.eventb.texttools.text_lastmodified">
    <value type="Long" value="ACED00057372000E6A6176612E6C616E672E4C6F6E673B8BE490CC8F23DF0200014A000576616C7565787200106A6176612E6C616E672E4E756D62657286AC951D0B94E08B02000078700000016272303A26"/>
  </attributes>
  <attributes key="org.eventb.texttools.text_representation">
    <value type="String" value="ACED00057403806D616368696E65206D50726F706572747920726566696E6573206D436F6D706F6E656E742020736565732063436F6D706F6E656E740A0A7661726961626C657320636F6D706F6E656E747320636F6E7461696E657220635F6D756C7469706C696369747920746F5F636C6F6E655F6320635F696E64657820746F5F756E666F6C645F6320746F5F756E666F6C645F635F696E206350726F7065727469657320696E7374327061745F630A0A696E76617269616E74730A20204070726F70206350726F7065727469657320E2888820436F6D706F6E656E7420E286942050726F70657274790A0A6576656E74730A20206576656E7420696E7374616E63696174655F7061747465726E20657874656E647320696E7374616E63696174655F7061747465726E0A2020656E640A0A20206576656E7420756E666F6C645F726F6F745F6320657874656E647320756E666F6C645F726F6F745F630A202020207468656E0A2020202020204070726F70206350726F7065727469657320E28994206350726F7065727469657320E288AA202872616E286E65775F6329C3976350726F706572746965735B7B637D5D290A2020656E640A0A20206576656E7420636C6F6E655F6320657874656E647320636C6F6E655F630A2020656E640A0A20206576656E7420756E666F6C645F6E6F64655F6320657874656E647320756E666F6C645F6E6F64655F630A202020207468656E0A2020202020204070726F70206350726F7065727469657320E28994206350726F7065727469657320E288AA202872616E286E65775F6329C3976350726F706572746965735B7B637D5D290A2020656E640A0A20206576656E74206170706C795F7061747465726E20657874656E6473206170706C795F7061747465726E0A20202020616E7920696E73745F70726F70730A2020202077686572650A20202020202040696E73745F70726F7020696E73745F70726F707320E288882050726F706572747920E287B82050726F7065727479202F2F207061747465726E2070726F7065727469657320746F206D6F64656C2070726F706572746965730A202020207468656E0A2020202020204070726F70206350726F7065727469657320E28994206350726F7065727469657320E288AA20202828696E73745F636F6D706F6E656E747320E288AA206E65775F636F6D706F6E656E747329E288BC3B6350726F70657274696573290A2020656E640A656E640A"/>
  </attributes>
  <refines href="../mComponent.bum#http://emf.eventb.org/models/core/machine/2014::Machine::mComponent"/>
  <sees href="../cComponent.buc#http://emf.eventb.org/models/core/context/2014::Context::cComponent"/>
  <variables name="components">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_0kf_QPqeEeectLZKwQfI0A"/>
      <details key="identifier" value="components"/>
    </annotations>
  </variables>
  <variables name="container">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_0kf_QfqeEeectLZKwQfI0A"/>
      <details key="identifier" value="container"/>
    </annotations>
  </variables>
  <variables name="c_multiplicity">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_0kf_QvqeEeectLZKwQfI0A"/>
      <details key="identifier" value="c_multiplicity"/>
    </annotations>
  </variables>
  <variables name="to_clone_c">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_0kf_Q_qeEeectLZKwQfI0A"/>
      <details key="identifier" value="to_clone_c"/>
    </annotations>
  </variables>
  <variables name="c_index">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_btIX4fqwEeectLZKwQfI0A"/>
      <details key="identifier" value="c_index"/>
    </annotations>
  </variables>
  <variables name="to_unfold_c">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_zYW3EPqwEeectLZKwQfI0A"/>
      <details key="identifier" value="to_unfold_c"/>
    </annotations>
  </variables>
  <variables name="to_unfold_c_in">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_ANiZwPqxEeectLZKwQfI0A"/>
      <details key="identifier" value="to_unfold_c_in"/>
    </annotations>
  </variables>
  <variables name="cProperties">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_JtPOYPqxEeectLZKwQfI0A"/>
      <details key="identifier" value="cProperties"/>
    </annotations>
  </variables>
  <variables name="inst2pat_c">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_gk8cUAK8EeiAPf1wPUl3Gw"/>
      <details key="identifier" value="inst2pat_c"/>
    </annotations>
  </variables>
  <invariants name="prop" predicate="cProperties ∈ Component ↔ Property">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_0kf_RPqeEeectLZKwQfI0A"/>
      <details key="label" value="prop"/>
    </annotations>
  </invariants>
  <events name="instanciate_pattern" extended="true">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="'"/>
      <details key="label" value="instanciate_pattern"/>
    </annotations>
    <annotations source="http:///org/eventb/core/RodinReferenceNamesAnnotations">
      <details key="refines instanciate_pattern" value="_btHw0PqwEeectLZKwQfI0A"/>
    </annotations>
    <refines href="../mComponent.bum#http://emf.eventb.org/models/core/machine/2014::Event::mComponent.instanciate_pattern"/>
  </events>
  <events name="unfold_root_c" extended="true">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_btIX4_qwEeectLZKwQfI0A"/>
      <details key="label" value="unfold_root_c"/>
    </annotations>
    <annotations source="http:///org/eventb/core/RodinReferenceNamesAnnotations">
      <details key="refines unfold_root_c" value="_bAhygAKxEeiAPf1wPUl3Gw"/>
    </annotations>
    <refines href="../mComponent.bum#http://emf.eventb.org/models/core/machine/2014::Event::mComponent.unfold_root_c"/>
    <actions name="prop" action="cProperties ≔ cProperties ∪ (ran(new_c)×cProperties[{c}])">
      <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
        <details key="name" value="_btIX4PqwEeectLZKwQfI0A"/>
        <details key="label" value="prop"/>
      </annotations>
    </actions>
  </events>
  <events name="clone_c" extended="true">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_btJmBfqwEeectLZKwQfI0A"/>
      <details key="label" value="clone_c"/>
    </annotations>
    <annotations source="http:///org/eventb/core/RodinReferenceNamesAnnotations">
      <details key="refines clone_c" value="_SDieEP06Eees7pYemx4WBQ"/>
    </annotations>
    <refines href="../mComponent.bum#http://emf.eventb.org/models/core/machine/2014::Event::mComponent.clone_c"/>
  </events>
  <events name="unfold_node_c" extended="true">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_btKNEfqwEeectLZKwQfI0A"/>
      <details key="label" value="unfold_node_c"/>
    </annotations>
    <annotations source="http:///org/eventb/core/RodinReferenceNamesAnnotations">
      <details key="refines unfold_node_c" value="_bAhygQKxEeiAPf1wPUl3Gw"/>
    </annotations>
    <refines href="../mComponent.bum#http://emf.eventb.org/models/core/machine/2014::Event::mComponent.unfold_node_c"/>
    <actions name="prop" action="cProperties ≔ cProperties ∪ (ran(new_c)×cProperties[{c}])">
      <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
        <details key="name" value="_btJmA_qwEeectLZKwQfI0A"/>
        <details key="label" value="prop"/>
      </annotations>
    </actions>
  </events>
  <events name="apply_pattern" extended="true">
    <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
      <details key="name" value="_btKNGPqwEeectLZKwQfI0A"/>
      <details key="label" value="apply_pattern"/>
    </annotations>
    <annotations source="http:///org/eventb/core/RodinReferenceNamesAnnotations">
      <details key="refines apply_pattern" value="_Rf7XAQDlEei-meqqkXX9bA"/>
    </annotations>
    <refines href="../mComponent.bum#http://emf.eventb.org/models/core/machine/2014::Event::mComponent.apply_pattern"/>
    <parameters name="inst_props">
      <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
        <details key="name" value="_btHw0fqwEeectLZKwQfI0A"/>
        <details key="identifier" value="inst_props"/>
      </annotations>
    </parameters>
    <guards comment="pattern properties to model properties" name="inst_prop" predicate="inst_props ∈ Property ⇸ Property">
      <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
        <details key="name" value="_btHw0_qwEeectLZKwQfI0A"/>
        <details key="label" value="inst_prop"/>
        <details key="comment" value="pattern properties to model properties"/>
      </annotations>
    </guards>
    <actions name="prop" action="cProperties ≔ cProperties ∪  ((inst_components ∪ new_components)∼;cProperties)">
      <annotations source="http:///org/eventb/core/RodinInternalAnnotations">
        <details key="name" value="_bAhyggKxEeiAPf1wPUl3Gw"/>
        <details key="label" value="prop"/>
      </annotations>
    </actions>
  </events>
</machine:Machine>
