| 形式化表示UML顺序图的结构操作语义 |
| |
| 引用本文： | 陈寿文. 形式化表示UML顺序图的结构操作语义[J]. 云南民族大学学报(自然科学版), 2013, 22(4): 299-301 |
| |
| 作者姓名： | 陈寿文 |
| |
| 作者单位： | 滁州学院数学科学学院,安徽滁州,239000 |
| |
| 基金项目： | 安徽省高校优秀青年人才基金 |
| |
| 摘 要： | 采用三元组形式化定义了UML顺序图及其对应的结构操作语义规则,并采用该方法描述了身份验证过程对应的操作顺序.这为基于UML顺序图的测试用例的自动生成奠定了基础,也为UML顺序图的模型转换和模型验证提供了必要的前提条件.
|
| 关 键 词： | 形式化表示 UML顺序图 结构操作语义 |
Formal representation of the structural operational semantics of UML sequence diagram |
| |
| CHEN Shou-wen. Formal representation of the structural operational semantics of UML sequence diagram[J]. Journal of Yunnan Nationalities University:Natural Sciences Edition, 2013, 22(4): 299-301 |
| |
| Authors: | CHEN Shou-wen |
| |
| Affiliation: | CHEN Shou-wen(School of Mathematics and Science,Chuzhou University,Chuzhou 239000,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
