Formal Analysis of Sequence Diagram with Combined Fragments

Abstract

The Combined Fragments of UML Sequence Diagram permit various types of control flow among messages (e.g., interleaving and branching) to express an aggregation of multiple traces encompassing complex and concurrent behaviors. However, Combined Fragments increase the difficulty of Sequence Diagram comprehension and analysis. To alleviate this problem, we… (More)
DOI: 10.5220/0004076800440054

Topics

5 Figures and Tables

Slides referencing similar topics