The invention discloses a service compilation model formalized verification method based on description logic. The method comprises the steps of defining a WS- CDL based service compilation element concept models and domain rules, wherein the service compilation element concept models comprise service compilation elements and element relation sets, and the domain rules comprise consistency rules,integrity rules and deductive reasoning rules; Establishing an application concept model by combining the service compilation element concept model according to the service cooperation requirements ofthe users; According to the verification method based on the SHOIND, a service compilation element concept model, an application concept model and a field rule are converted, and data consistency andintegrity verification and rule-based reasoning verification are achieved. The method has the description capability, the automation degree and the verification efficiency of a traditional system verification method, does not have the problem of state explosion, and also has obvious advantages in the aspects of reasoning decidability, knowledge reuse and the like.