Research on structured operational semantics of UML sequence diagram

• UML顺序图的结构化操作语义研究