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

摘要： UML顺序图侧重于展示对象之间的消息交互过程,但其动态语义缺乏形式化的描述,不利于对顺序图模型的准确理解和基于该模型的测试用例生成。为此,依据UML1. 5规范,采用BN定义顺序图的形式化语法,提出了活动点的概念;在此基础上,讨论并给出了单个对象执行消息动作的结构化操作语义以及顺序图模型的整体结构化操作语义,为模型检验和基于顺序图的测试用例生成提供了前提。

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