13
introduCtion to Coda
common interface specification. Hence, any mismatch between the providing and
requiring sides can result in catastrophic consequences during runtime.
In addition to the above, an interface specification can include global constraints
and invariants maintained across operation invocations. is can be useful in under-
standing the semantics of the component in conjunction with the preconditions and
postconditions associated with each operation. An interface specification serves as a
contract between the component providing the interface and the component consum-
ing the interface.
Apart from the functional specifications of an interface, it is important to consider
the quality attributes (extra-functional or nonfunctional attr ...