a program that observes and regulates and controls or verifies the operations of a data-processing system