Difference between revisions of "Auto-Completion Design"
From Event-B
Jump to navigationJump to searchimported>Mathieu |
imported>Nicolas |
||
Line 4: | Line 4: | ||
==== Axioms and Theorems ==== | ==== Axioms and Theorems ==== | ||
− | * | + | * Sets (all) |
− | * | + | * Constants (all) |
=== In Machine Models === | === In Machine Models === | ||
==== Invariants, Theorems and Variants ==== | ==== Invariants, Theorems and Variants ==== | ||
− | * | + | * Variables (local) |
− | * | + | * Sets (all) |
− | * | + | * Constants (all) |
− | ==== Guards | + | ==== Guards and Actions ==== |
− | * | + | * Parameters (of local event) |
− | * | + | * Variables (local) |
− | * | + | * Sets (all) |
− | * | + | * Constants (all) |
+ | |||
+ | ==== Witness Labels ==== | ||
+ | * Variables (abstract) | ||
+ | * Parameters (of abstract event) | ||
+ | |||
+ | ==== Witness Predicates ==== | ||
+ | * Parameters (of abstract event and local event) | ||
+ | * Variables (all) | ||
+ | * Sets (all) | ||
+ | * Constants (all) | ||
− | |||
− | |||
− | |||
[[Category:Design]] | [[Category:Design]] | ||
[[Category:Work in progress]] | [[Category:Work in progress]] |
Revision as of 14:49, 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 (local)
- Sets (all)
- Constants (all)
Witness Labels
- Variables (abstract)
- Parameters (of abstract event)
Witness Predicates
- Parameters (of abstract event and local event)
- Variables (all)
- Sets (all)
- Constants (all)