a model representating the execution paths that can be taken through a program
an abstract representation of all possible sequences of events (paths) in the execution through a  component  or system.
a solution that satisfies all the constraints simultaneously.