Theoretical Foundation for Managers' Behavior Analysis by Graph-Based Pattern Matching