case_study_contract.xmi 1.6 KB

12345678910111213141516171819202122232425262728
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <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">
  3. <contractSet name="&quot;example&quot;">
  4. <contracts xsi:type="contractLang:Contract" name="controller" description="&quot;Software Controller&quot;">
  5. <statements xsi:type="contractLang:Property" name="&quot;ctrl&quot;">
  6. <var xsi:type="contractLang:FMUProperty">
  7. <fmu name="&quot;DLoopController_FixedEuler_1Em6&quot;"/>
  8. </var>
  9. <oper xsi:type="contractLang:Equality"/>
  10. <expr xsi:type="contractLang:IntValue" v="100000"/>
  11. </statements>
  12. <scope xsi:type="contractLang:GloballyScope"/>
  13. <pattern xsi:type="contractLang:UniversalityPattern" statement="//@contractSet/@contracts.0/@statements.0"/>
  14. </contracts>
  15. <contracts xsi:type="contractLang:Contract" name="plant" description="&quot;Physical plant&quot;">
  16. <statements xsi:type="contractLang:Property" name="&quot;plant&quot;">
  17. <var xsi:type="contractLang:FMUSignal" name="&quot;EMAPlantNoLoad_FixedEuler_1Em6.F_OUT@expseu_&quot;"/>
  18. <oper xsi:type="contractLang:Equality"/>
  19. <expr xsi:type="contractLang:PowerBondSuggestion">
  20. <otherSignal name="&quot;LoadNSensor_FixedEuler_1Em6.V_OUTPUT@expseu_&quot;"/>
  21. </expr>
  22. </statements>
  23. <scope xsi:type="contractLang:GloballyScope"/>
  24. <pattern xsi:type="contractLang:UniversalityPattern" statement="//@contractSet/@contracts.1/@statements.0"/>
  25. </contracts>
  26. </contractSet>
  27. </contractLang:Root>