SpecificationProbability Model