J4

• 计算机科学 • Previous Articles     Next Articles

Control Flow Analysis of UML2.0 Sequence DiagramBased on Message Semantic

WANG Hongyuan1, WANG Lin2, ZHANG Jiachen1, JIN Chunzhao1   

  1. 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;2. College of Software, Jilin University, Changchun 130012, China
  • Received:2006-09-17 Revised:1900-01-01 Online:2007-07-26 Published:2007-07-26
  • Contact: ZHANG Jiachen

Abstract: An approach was presented to derive the concurrency control flow of UML 2.0 sequence diagram (SD). Based on the message semantic, the relationship between sent and received actions of SD messages was defined. It was mapped into the corresponding messages to get the successive messages sequence relationship. The consistent mapping rules between SD and activity diagram (AD) were presented based on the successive messages sequence relationship. The AD was referred to as Message Semantic Concurrent Control Flow Graph (MSCCFG), from which the control flow information of SD was got.

Key words: UML2.0 sequence diagram, activity diagram, control flow analysis, concurrent control flow, message, action

CLC Number: 

  • TP311