关键词: UML用, 顺序图用, 结构化操作语义

Abstract: UML Sequence Diagram emphasizes particularly the process of message interaction of objects. But it lacks formal description of dynamic semantics, therefore goes against comprehension of the diagram and test case generation based on the diagram. Based on UML specification (version 1.5), this paper defined formal syntax of the diagram firstly and brought forward concept of Action-Point afterwards; thus discuss and put forward the structured operational semantics of message action of single object and the whole sequence diagram, provided the precondition of model checking and the test cases generation which based on sequence diagram.

Key words: UML用, sequence diagram用, structured operational semantics