| 用例模型的Z语言形式化描述方法 |
| |
| 引用本文： | 景燕敏,吴晟,宫传琪,刘妮娜. 用例模型的Z语言形式化描述方法[J]. 信息技术, 2013, 0(3): 158-161 |
| |
| 作者姓名： | 景燕敏 吴晟 宫传琪 刘妮娜 |
| |
| 作者单位： | 昆明理工大学信息工程及自动化学院,昆明,650500 |
| |
| 摘 要： | 以UML用例模型为主要研究对象,通过对UML用例模型概念和Z抽象符号的分析,采用Z形式化语言对用例模型建模元素的抽象语法和语义进行形式化的描述,提出了用例模型到Z形式语言的映射规约,并建立了UML用例模型图到Z形式规约的映射与转换机制。
|
| 关 键 词： | 用例模型 Z语言 形式化方法 描述 UML |
Z language formal description of use case models |
| |
| JING Yan-min , WU Sheng , GONG Chuan-qi , LIU Ni-na. Z language formal description of use case models[J]. Information Technology, 2013, 0(3): 158-161 |
| |
| Authors: | JING Yan-min WU Sheng GONG Chuan-qi LIU Ni-na |
| |
| Affiliation: | (Department of Information Engineering and Automation,Kunming University of Science and Technology,Kunming 650500,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
