Object Module ~ Generalized ADT
D is a data description
- intent (set of possible elements)
- extent (set of current instances)
- constraints
B is a behavior description
- events and conditions to which the behavior responds
- states or circumstances under which the response happens
- a description of the responses
- services = the responses associated with events and conditions
- uniform service availability
- nonuniform service availability
An object module is a named pair N = (D, B).