Difference between revisions of "Auto-Completion Design"
From Event-B
Jump to navigationJump to searchimported>Nicolas (New page: == Proposed names depending on edit context == === In Context Models === ==== Axioms and Theorems ==== * Visible Sets * Visible Constants === In Machine Models === ==== Invariants, The...) |
imported>Nicolas m (→In Machine Models: took extended events into account) |
||
| (11 intermediate revisions by 3 users not shown) | |||
| 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 ==== | ||
| − | * | + | * Sets (all) |
| − | * | + | * Constants (all) |
| − | * | + | * Variables (all) |
| − | ==== Guards | + | ==== Guards and Actions ==== |
| − | * | + | * Sets (all) |
| − | * | + | * Constants (all) |
| − | * | + | * Variables (all) |
| − | * | + | * Parameters (of concrete event) |
| + | ** in case the event is extended, Parameters of extended event(s) (through extension) | ||
| − | ==== Witness | + | ==== Event Labels ==== |
| − | * | + | |
| − | * | + | * Seen events labels (of abstract machine) |
| + | |||
| + | ==== Witness Labels ==== | ||
| + | * Disappearing parameters (of abstract event) | ||
| + | * Primed Disappearing Variables (of abstract machine) that are non-deterministically assigned in abstract event | ||
| + | |||
| + | ==== Witness Predicates ==== | ||
| + | * Sets (all) | ||
| + | * Constants (all) | ||
| + | * Variables (all) | ||
| + | * Primed Variables (concrete) | ||
| + | * Parameters (of concrete event) | ||
| + | ** in case the event is extended, Parameters of extended event(s) (through extension) | ||
| + | * Witness Label | ||
| + | |||
| + | [[Category:Design]] | ||
| + | [[Category:Work in progress]] | ||
Latest revision as of 14:53, 21 January 2010
Contents
Proposed names depending on edit context
In Context Models
Axioms and Theorems
- Sets (all)
- Constants (all)
In Machine Models
Invariants, Theorems and Variants
- Sets (all)
- Constants (all)
- Variables (all)
Guards and Actions
- Sets (all)
- Constants (all)
- Variables (all)
- Parameters (of concrete event)
- in case the event is extended, Parameters of extended event(s) (through extension)
Event Labels
- Seen events labels (of abstract machine)
Witness Labels
- Disappearing parameters (of abstract event)
- Primed Disappearing Variables (of abstract machine) that are non-deterministically assigned in abstract event
Witness Predicates
- Sets (all)
- Constants (all)
- Variables (all)
- Primed Variables (concrete)
- Parameters (of concrete event)
- in case the event is extended, Parameters of extended event(s) (through extension)
- Witness Label
