Abstract: The problem of how to detect the correctness and validity of a UML （Unified Modeling Language） statechart, an important view for object behaviour description, still remains unsolved up to now. In the paper, we suggest a solution by first translating the U

Key words: UML, Statechart, Property test, Dynamic description logic