| 
|
Quote: an undesired event may be propagating downward (i.e., violating virtual machine restrictions) or upward (i.e., reported by lower level)
topics >
all references >
references p-r >
Topic:
decomposition of a system into levels
Topic:
exceptions and undesired events
Group:
exception handling
Quotation Skeleton
An UE [undesired event] detected at any given level … or upward. … When detected, a downward propagation UE should be … An upward propagating UE is reported by "trapping" … When a level is informed of a failure … report the UE still higher. … At each level, the UE handling routines have … one which is consistent with the specifications. … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an undesired event (UE) handler attempts recovery or adjusts its external state and reports the UE a level higher Quote: a reported undesired event indicates a failure of the previous level's abstract machine
Topic: decomposition of a system into levels (49 items)
Topic: exceptions and undesired events (29 items)
Group: exception handling (12 topics, 305 quotes)