HintCO/HintCOEngine/examples/case_study_contract_proactive.xmi

<?xml version="1.0" encoding="UTF-8"?>
<contractLang:Root xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:contractLang="http://www.uantwerpen.be/cosys/ContractLang">
  <contractSet name="&quot;example&quot;">
    <contracts xsi:type="contractLang:Contract" name="controller" description="&quot;Software Controller&quot;">
      <statements xsi:type="contractLang:Property" name="&quot;ctrl&quot;">
        <var xsi:type="contractLang:FMUProperty">
          <fmu signal="&quot;CtrlProactive&quot;"/>
        </var>
        <oper xsi:type="contractLang:Equality"/>
        <expr xsi:type="contractLang:IntValue" val="100000"/>
      </statements>
      <scope xsi:type="contractLang:GloballyScope"/>
      <pattern xsi:type="contractLang:UniversalityPattern" statement="//@contractSet/@contracts.0/@statements.0"/>
    </contracts>
  </contractSet>
</contractLang:Root>