| 题名 | UML顺序图的形式化 |
| 作者 | 童格明 |
| 答辩日期 | 2008 |
| 文献子类 | 硕士 |
| 授予单位 | 兰州理工大学 |
| 导师 | 李明 |
| 关键词 | UML顺序图 形式化方法 描述逻辑 动态描述逻辑 时序描述逻辑 |
| 学位名称 | 工学硕士 |
| 学位专业 | 计算机科学与技术 |
| 英文摘要 | 本论文拟用描述来形式化UML2.0顺序图，描述逻辑是一个逻辑序列，其最基本的描述逻辑是ALC，通过向其添加构造子，可以得到不同表达能力的描述逻辑；根据表示目的的不同可以选择具有相应表达能力的描述逻辑。 |
| 语种 | 中文 |
| 页码 | 45 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.lut.edu.cn/handle/2XXMBERH/98278]  |
| 专题 | 兰州理工大学 |
| 作者单位 | 兰州理工大学 |
| 推荐引用方式 GB/T 7714 | 童格明. UML顺序图的形式化[D]. 兰州理工大学. 2008. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论