is an abstract representation of a process.