12345678910111213141516171819202122232425262728 |
- <?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=""example"">
- <contracts xsi:type="contractLang:Contract" name="controller" description=""Software Controller"">
- <statements xsi:type="contractLang:Property" name=""ctrl"">
- <var xsi:type="contractLang:FMUProperty">
- <fmu name=""DLoopController_FixedEuler_1Em6""/>
- </var>
- <oper xsi:type="contractLang:Equality"/>
- <expr xsi:type="contractLang:IntValue" v="100000"/>
- </statements>
- <scope xsi:type="contractLang:GloballyScope"/>
- <pattern xsi:type="contractLang:UniversalityPattern" statement="//@contractSet/@contracts.0/@statements.0"/>
- </contracts>
- <contracts xsi:type="contractLang:Contract" name="plant" description=""Physical plant"">
- <statements xsi:type="contractLang:Property" name=""plant"">
- <var xsi:type="contractLang:FMUSignal" name=""EMAPlantNoLoad_FixedEuler_1Em6.F_OUT@expseu_""/>
- <oper xsi:type="contractLang:Equality"/>
- <expr xsi:type="contractLang:PowerBondSuggestion">
- <otherSignal name=""LoadNSensor_FixedEuler_1Em6.V_OUTPUT@expseu_""/>
- </expr>
- </statements>
- <scope xsi:type="contractLang:GloballyScope"/>
- <pattern xsi:type="contractLang:UniversalityPattern" statement="//@contractSet/@contracts.1/@statements.0"/>
- </contracts>
- </contractSet>
- </contractLang:Root>
|