Tr711.dvi MIT LCS TR 711
MIT-LCS-TR-711 MIT-LCS-TR-711
User Manual: MIT-LCS-TR-711
Open the PDF directly: View PDF 
.
Page Count: 108 [warning: Documents this large are best viewed by clicking the View PDF Link!]
C
S
S’
T’
T
D
Impl(D,T’)
Includes(S’,S)
Impl(C,S)
Simple(T’,S’,L)
Subclass(D,C,L) Includes(T,T’)
Local components
of D are verified
against T’
Rep Spec
Concrete Abstract
Concrete Abstract
Abstraction
function
Identity
(a) Traditional simulation
(b) Adapted simulation
External
spec
Internal
rep Internal
abstraction
function
External
spec
Internal
spec
Concrete Abstract
Identity
(c) Fully adapted simulation
External
spec
Internal
rep Internal
abstraction
function
External
spec
Internal
spec
Local,
final rep L.,final
spec
Local, final
abstraction
function
Concrete Abstract
Internal
abstraction
function
Identity
Super
state Super
state
External
state
New
internal
rep
External
state
Identity
Internal
state
extension
External
state
Internal
state
Not extensible Extensible
Deferred Overridable
Default
No default
Final
EvtHandler
DocManager VObject
BorderItem
RarelyObservedMixin
FilterMixin
DE
F
C
F
IntSet
elements: unsorted array
cache: singleton
IntSet2
elements: unsorted array (inherited)
cache: bit-vector
IntSet4
elements: sorted array
cache: singleton (inherited)
EvtHandler
VObject
ImageItem
BorderItem
Box
Form
Expander
HExpander
VExpander
ScrollBar
TextItem
CompositeVObject
EvtHandler (an interface)
VObject (interface)
ImageItem
BorderItem
Box (interface)
Form
Expander (interface)
HExpander
VExpander
ScrollBar
TextItem
(a) Old type hierarchy (b) Alternative hierarchy
