A study of the notation of the InfoMap representation methodology, and its applications. Presents the InfoRun system, which simulates the execution of Control Flow Graphs presented in the InfoMap notation. Contains a case study on software design patterns.