Unified Modified Language (UML) is a modeling language standard for identifying, recording and designing a software. Reusing UML diagrams can help to accelerate the software development process.

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 ...