Finally, the interface clause requires that the end user specify the
source and destination for input data, output data, and side interactions with
the system (such as error messages).
In this respect, our contract paradigm is similar to that of UNIX.6ex
.
This clause interacts with the time clause.
If human interaction is selected,
then no guarantees can be made regarding time.
Figure 3 illustrates the process that an end user experiences in submitting a job. In practice, the user will rarely have to go through such an elaborate process since defaults are associated with all contract terms. Nevertheless, contract terms are always available for perusal.
Figure 3: Life cycle of a First Stage Contract Submission