plugins/contracts/org.polarsys.chess.contracts.verificationService.test.runtime/resources/tools/xSAP/data/fm_library/ldl.xml

<?xml version="1.0" encoding="UTF-8"?>

<!-- Author: Roberto Cavada and Cristian Mattarei -->
<!-- Version: 0.1 -->
<!-- Date: 2011/09/11 -->

<local_dynamics_library>

  <local_dynamics_model name="Permanent">
    <description>
      It gets the failure to be permanent
    </description>
    <definition loc="ldl_behavior/permanent/definition.xml"/>
  </local_dynamics_model>

  <local_dynamics_model name="Transient">
    <description>
      It provides the possibility to have a self fixing in a non-deterministic way
    </description>
    <definition loc="ldl_behavior/transient/definition.xml"/>
  </local_dynamics_model>

  <local_dynamics_model name="SelfFixWithCounter">
    <description>
      It garantees the self fixing in a fixed amount of steps
    </description>
    <definition loc="ldl_behavior/selffixwithcounter/definition.xml"/>
  </local_dynamics_model>

</local_dynamics_library>