Changes between Version 69 and Version 70 of ExDescLang
- Timestamp:
- Oct 22, 2010 11:59:48 AM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
ExDescLang
v69 v70 30 30 * Loops with and without conditions 31 31 * 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") 32 33 33 34 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:
