Abstract: Requirement model and design model are obtained though integrating use-case diagram, class diagram, sequence diagram and state machine in UML. Consistency checking for these models are proposed, and the refinement rules about these models are achieved. Th

Key words: UML, Use-case diagram, Class diagram, Sequence diagram, State machine, Requirement model, Design model, Consistency, Refinement