<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<xmi:XMI xmlns:uml="http://www.omg.org/spec/UML/20110701"
         xmlns:StandardProfile="http://www.omg.org/spec/UML/20131001/StandardProfile"
         xmlns:xmi="http://www.omg.org/spec/XMI/20110701"
         xmlns:SysML="http://www.omg.org/spec/SysML/20131001/SysML.xmi"
         xmlns:mofext="http://www.omg.org/spec/MOF/20131001"
         xmlns:LocalProfile="http://localhost/crystal-facet-uml/298b72db-cc85-4ed0-bd7b-01dc4efd52b4">
         <!-- XMI 2.4.1, UML 2.4.1, SysML 1.4, MOF 2.5.1 -->
    <xmi:Documentation exporter="crystal-facet-uml" exporterVersion="1.63.0"/>
    <uml:Model xmi:type="uml:Model" xmi:id="00000" name="export_test_10_constraint" >
        <packagedElement xmi:type="uml:Class" xmi:id="60001" name="Emergency Cutoff" ><!--C0001-->
            <ownedComment xmi:type="uml:Comment" xmi:id="60001#specification" >
                <body>
                    out_emergency_off 
                        = square(in_acceleration)/2
                        + in_actual_value &lt; config_min 
                        OR square(in_acceleration)/2
                        + in_actual_value &gt; config_max 
                </body>
                <annotatedElement xmi:idref="60001" />
            </ownedComment>
            <ownedPort xmi:type="uml:Port" xmi:id="40001" name="in_acceleration" aggregation="composite" >
                <type xmi:type="uml:DataType" xmi:id="40001#type" name="int32_t" />
            </ownedPort>
            <ownedPort xmi:type="uml:Port" xmi:id="40002" name="config_min" aggregation="composite" >
                <type xmi:type="uml:DataType" xmi:id="40002#type" name="uint16_t" />
            </ownedPort>
            <ownedPort xmi:type="uml:Port" xmi:id="40003" name="config_max" aggregation="composite" >
                <type xmi:type="uml:DataType" xmi:id="40003#type" name="uint16_t" />
            </ownedPort>
            <ownedPort xmi:type="uml:Port" xmi:id="40004" name="in_actual_value" aggregation="composite" >
                <type xmi:type="uml:DataType" xmi:id="40004#type" name="uint16_t" />
            </ownedPort>
            <ownedPort xmi:type="uml:Port" xmi:id="40005" name="out_emergency_off" aggregation="composite" >
            </ownedPort>
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="60002" name="config:min" ><!--C0002-->
        </packagedElement>
        <packagedElement xmi:type="uml:Association" xmi:id="80002" name="" >
            <memberEnd xmi:idref="80002#sourceend" />
            <ownedEnd xmi:type="uml:Property" xmi:id="80002#sourceend" association="80002" >
                <class xmi:idref="60002" />
            </ownedEnd>
            <memberEnd xmi:idref="40002" />
        </packagedElement>
        <packagedElement xmi:type="uml:Class" xmi:id="60003" name="config:max" ><!--C0003-->
        </packagedElement>
        <packagedElement xmi:type="uml:Association" xmi:id="80001" name="" >
            <memberEnd xmi:idref="80001#sourceend" />
            <ownedEnd xmi:type="uml:Property" xmi:id="80001#sourceend" association="80001" >
                <class xmi:idref="60003" />
            </ownedEnd>
            <memberEnd xmi:idref="40003" />
        </packagedElement>
    </uml:Model>
    <SysML:ConstraintBlock xmi:id="60001#ConstraintBlock" base_Class="60001" >
    </SysML:ConstraintBlock>
</xmi:XMI>
