Difference between revisions of "Auto-Completion Design"
From Event-B
Jump to navigationJump to searchimported>Nicolas |
imported>Nicolas m |
||
| Line 16: | Line 16: | ||
==== Guards and Actions ==== | ==== Guards and Actions ==== | ||
* Parameters (of local event) | * Parameters (of local event) | ||
| − | * Variables ( | + | * Variables (all) |
* Sets (all) | * Sets (all) | ||
* Constants (all) | * Constants (all) | ||
==== Witness Labels ==== | ==== Witness Labels ==== | ||
| + | * Parameters (of abstract event) | ||
* Variables (abstract) | * Variables (abstract) | ||
| − | |||
==== Witness Predicates ==== | ==== Witness Predicates ==== | ||
Revision as of 15:17, 4 March 2009
Contents
Proposed names depending on edit context
In Context Models
Axioms and Theorems
- Sets (all)
- Constants (all)
In Machine Models
Invariants, Theorems and Variants
- Variables (local)
- Sets (all)
- Constants (all)
Guards and Actions
- Parameters (of local event)
- Variables (all)
- Sets (all)
- Constants (all)
Witness Labels
- Parameters (of abstract event)
- Variables (abstract)
Witness Predicates
- Parameters (of abstract event and local event)
- Variables (all)
- Sets (all)
- Constants (all)
