With the development of distributed component technology

people set more and more focus on the diagnosis problem in such systems.Whereas

the current research on the diagnosis problem about distributed component systems often omits an important factor the system semantics.The system semantics are composed of the structure and behavior information under the normal and abnormal conditions.The paperproposes a novel ideal of diagnosis

which is a semantic centric method.After introducing principle of model based diagnosis

the paper puts forward a novel model compiling approach by providing the time series information in the Horn clauses

which can express complicated temporal semantics and compute the minimal diagnosis by the theorem provers of first order logic.Further more

the paper sets forth the model compiling method by a philosopher dinner problem.In the end

the diagnosis subsystem implemented in StarCCM is introduced

which consists of the diagnosis engines

diagnosis agents and diagnosis callback interfaces.The novel diagnosis model compiling approach is proved to be applied in the distributed component system effectively.