Problem Statement
An object-specification pair defines a set of behaviors
can be offered by a component/object.
Object/component descriptions must be at least multi-input multi-output (MIMO).
Otherwise they aren't useful.
Interface Specification
Together, the pre- and post-conditions, and satisfaction of the
input requirements constitute a contract.
Role of Pre- and Post-Conditions in Contract for Object Usage
(Source: A.R. Newton, "Notes on Interface-Based Design," EECS, UC Berkeley).
Networks of communicating objects are created by
stitching together objects that have compatible I/O characteristics
and pre- and post-conditions.
|