| UML状态图在并行环境的应用研究 |
| |
| 引用本文： | 邓建波,张立臣,徐碧红.UML状态图在并行环境的应用研究[J].计算机工程与设计,2011,32(3):945-947,1022. |
| |
| 作者姓名： | 邓建波 张立臣 徐碧红 |
| |
| 作者单位： | 1. 广东工业大学计算机学院,广东,广州,510090
2. 吉首大学数学与计算机科学学院,湖南,吉首,416000 |
| |
| 基金项目： | 国家自然科学基金项目，国家自然科学基金重大发展计划项目，广东省自然科学基金项目 |
| |
| 摘 要： | 标准UML(unified model language)状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而CSP(通信序列进程)语言具有严格的数学定义和分析方法,可用于验证模型的正确性.针对此特点,提出了结合CSP的UML状态图的形式语义,同时给出在并行环境下UML状态图的...
|
| 关 键 词： | 统一建模语言 状态图 通信序列进程语言 并行环境 形式语义 模型检验 |
Application research of UML state diagram in parallel environment |
| |
| DENG Jian-bo,ZHANG Li-chen,XU Bi-hong.Application research of UML state diagram in parallel environment[J].Computer Engineering and Design,2011,32(3):945-947,1022. |
| |
| Authors: | DENG Jian-bo ZHANG Li-chen XU Bi-hong |
| |
| Affiliation: | 1.College of Computer,Guangdong University of Technology,Guangzhou 510090,China;2.College of Mathematics and Computer Science,Jishou University,Jishou 416000,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
