Return to Article Details Domain class diagram validation procedure based on mereological analysis for part-whole relations Download Download PDF