Type of static analysis based on the representation of sequences of events (paths) in the process of realization of the component or system.