Formal Analysis of Sequence Diagram with Combined Fragments


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


5 Figures and Tables

Slides referencing similar topics