IBM Pattern Modelling Analysis Tool