Abstract: UML sequence diagrams have been widely applied in modeling the interactive behavior among objects. However, the lack of formal semantics makes it difficult to analyze and validate the ...