Diagnosis, synthesis and analysis of probabilistic models door