The Formal Semantics of UML Sequence Diagram Based on Process Algebra

• 基于进程代数的UML序列图的形式语义