Created by matching and input/output messages to achieve desired state.