Changes between Version 68 and Version 69 of ExDescLang


Ignore:
Timestamp:
Oct 21, 2010 6:28:11 PM (14 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExDescLang

    v68 v69  
    2929   * One (or none or N) of a number of actions must happen
    3030   * Loops with and without conditions
     31   * Actions follow one another (optionally: after some time has elapsed), occur in parallel
    3132
    3233  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: