Functional Description Attributes
- These attributes describe the interface.
- input describes the input(s) the service can
receive.
- output
- precondition describes what must be true in order to
use the service.
- effect what will happen when the service runs.
José M. Vidal
.
6 of 19