IBM Pattern Modeling Analysis Tool