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

Formal representation of the structural operational semantics of UML sequence diagram

作　　者：陈寿文[1] 

机构地区：[1]滁州学院数学科学学院,安徽滁州239000

出　　处：《云南民族大学学报（自然科学版）》2013年第4期299-301,共3页Journal of Yunnan Minzu University:Natural Sciences Edition

基　　金：安徽省高校优秀青年人才基金(2012SQRL154)

摘　　要：采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.This paper presents the definition of the UML sequence diagram by triples, and depicts the rules of struc-tural operational semantics about the diagram accordingly. Then, it applies the former definition to describe the oper-ation＇s sequence during the process of identity authentication. All of these provide the foundation for the automated software test case on UML sequence diagram and a prior condition for model transforming and model validation.

关 键 词：形式化表示 UML顺序图 结构操作语义 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]