4
- abstract data types -- representation function
- correspondence -- abstraction, renaming, extension
- behavioral subtypes -- correspondence
slide: Section 10.4: Objects as behavioral types
In section 4,
it was shown how actual objects may be related to abstract types
by means of a representation abstraction function.
Further, we discussed explicit guidelines
for defining a subtype
correspondence relation between behavioral types.
5
- global invariants -- dynamic aliasing
- model-based specification -- state and operations
- compositions -- contracts, scripts, interaction, joint actions
slide: Section 10.5: Specifying behavioral compositions
Finally, in section 5, we looked at the problems involved
in determining global invariants and
we discussed what formal means we have available
to specify behavioral properties of
a collection of objects.
[]
readme
course
preface
1
2
3
4
5
6
7
8
9
10
11
12
appendix
lectures
resources
eliens@cs.vu.nl

draft version 0.1 (15/7/2001)