Analyzing UML Sequence Diagrams with UTP

被引：0

作者：

Yang, Jing ^{[1
]}

机构：

[1] Guizhou Univ, Coll Comp Sci & Informat, Guiyang, Peoples R China

来源：

FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY | 2009年

关键词：

UML; Sequence Diagram Semantics; Consistency; UTP;

D O I：

10.1109/FCST.2009.73

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper; we present the formal semantics of sequence diagrams. The semantics of a sequence diagram is interpreted as a consecutive execution of steps in UTP. The semantics clearly captures the consistency between the design class diagram and sequence diagrams. This may underpin development of model consistency checking functions in UML CASE tools. It may also be used to reason about the correctness of design model with respect to the requirement model.

引用

页码：417 / 423

页数：7