Lanzhou University of Technology Institutional Repository (LUT_IR)
题名 | UML顺序图的形式化 |
作者 | 童格明 |
学位类型 | 硕士 |
导师 | 李明 |
答辩日期 | 2008 |
学位授予单位 | 兰州理工大学 |
学位名称 | 工学硕士 |
学位专业 | 计算机科学与技术 |
关键词 | UML顺序图 形式化方法 描述逻辑 动态描述逻辑 时序描述逻辑 |
摘要 | 本论文拟用描述来形式化UML2.0顺序图,描述逻辑是一个逻辑序列,其最基本的描述逻辑是ALC,通过向其添加构造子,可以得到不同表达能力的描述逻辑;根据表示目的的不同可以选择具有相应表达能力的描述逻辑。 |
其他摘要 | The paper use the description logic to formal UML behavior figure,description logic is a logical sequence,ALC is the most basic one of description logic,through add the operator into the ALC,can get various description logic with different expression ability.According to the different purpose to chossing the corresponding expression logic description logic. |
页数 | 45 |
语种 | 中文 |
学号 | 082081203001 |
文献类型 | 学位论文 |
条目标识符 | https://ir.lut.edu.cn/handle/2XXMBERH/98278 |
专题 | 兰州理工大学 |
作者单位 | 兰州理工大学 |
第一作者单位 | 兰州理工大学 |
推荐引用方式 GB/T 7714 | 童格明. UML顺序图的形式化[D]. 兰州理工大学,2008. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
查看访问统计 |
谷歌学术 |
谷歌学术中相似的文章 |
[童格明]的文章 |
百度学术 |
百度学术中相似的文章 |
[童格明]的文章 |
必应学术 |
必应学术中相似的文章 |
[童格明]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论