形式化表示UML顺序图的结构操作语义 (2013年)

采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序。这为基于UML顺序图的测试用例的自动生成莫定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件。