Changes between Version 69 and Version 70 of ExDescLang


Ignore:
Timestamp:
Oct 22, 2010 11:59:48 AM (13 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ExDescLang

    v69 v70  
    3030   * Loops with and without conditions
    3131   * Actions follow one another (optionally: after some time has elapsed), occur in parallel
     32   * "Unwinding" actions that invalidate some state and return one to a prior state (see Vigna et al. "STATL")
    3233
    3334  3. '''Invariants''' - we need to express what MUST happen in the experiment for it to be valid. This is not a complete set, just the necessary one. If any of the invariants were violated the experiment would become invalid. Valid here means "for it to belong to a class of experiments whose metadescription we used" plus any other conditions that user wants to impose. There are two types of invariants: