Ένα έγγραφο που καθορίζει εισροές, προβλεπόμενη αποτελέσματα και ένα σύνολο συνθηκών εκτέλεσης για ένα στοιχείο ελέγχου.