学位论文 > 优秀研究生学位论文题录展示
基于rCOS的SysML形式化研究
作 者: 张冠女
导 师: 马浩海
学 校: 内蒙古大学
专 业: 管理科学与工程
关键词: SysML 形式化 语义 rCOS
分类号: TP311.52
类 型: 硕士论文
年 份: 2008年
下 载: 83次
引 用: 0次
阅 读: 论文下载
内容摘要
SysML(系统建模语言Systems Modeling Language)是一种通用的图形化的建模语言,是UML2.O的一个外廓。目前,SysML已经成为系统工程建模领域的标准,但是SysML的语义仍是半形式化的。这种半形式化的语义降低了SysML模型的精确性,给模型的自动分析和验证带来了困难,一种解决方法就是使用某种形式化方法来精确的描述SysML元模型的语义信息。目前,形式化地支持基于UML开发的大多数工作已经存在,但据我们所知,几乎没有关于SysML的形式化语义研究及其协调性精化方面的工作,因此这个工作在计算机科学和软件工程领域都有理论意义和实用价值。本文主要研究如何使用面向对象的形式语言rCOS描述SysML元模型并在确保其一致性的基础上提出了一个论断性的集成的SysML语义模型。为了使形式化工作尽可能系统化,我们首先给出SysML元模型(主要为模块定义图和顺序图)的形式化语义,在此基础上将SysML元模型转化到rCOS的规范形式。本文给出了SysML部分元模型的精确描述,解决了协调性问题,即各种观点下的模型在语法和语义上的相容性问题,为模型的转换和精化奠定了坚实的基础。
|
全文目录
摘要 4-5 ABSTRACT 5-6 目录 6-8 图表目录 8-9 第一章 绪论 9-12 1.1 背景介绍 9-10 1.2 研究目标 10 1.3 研究意义 10 1.4 论文框架 10-12 第二章 形式化方法 12-21 2.1 形式化方法介绍 12-13 2.2 rCOS语言 13-21 2.2.1 rCOS概述 13 2.2.2 rCOS的语法规则的形式 13-15 2.2.3 rCOS的语义 15-21 第三章 系统建模语言SysML 21-26 3.1 SysML的发展历史 21 3.2 SysML的概念模型 21-25 3.2.1 SysML的元模型理论 22 3.2.2 SysML的模型元素 22-24 3.2.3 支配SysML的规则 24 3.2.4 SysML的公共机制 24-25 3.3 SysML形式语义的研究 25-26 第四章 SysML中三种图形的形式化 26-53 4.1 SysML中模块定义图、内部模块图和顺序图简介 26-31 4.1.1 模块定义图简介 26-28 4.1.2 内部模块图简介 28-29 4.1.3 顺序图简介 29-31 4.2 SysML中模块定义图、内部模块图和顺序图的形式化语义 31-38 4.2.1 SysML中模块定义图的形式化语义 31-34 4.2.2 SysML中内部模块图的形式化语义 34-35 4.2.3 SysML中顺序图的形式化语义 35-38 4.3 模块定义图和顺序图的一致性描述 38-40 4.3.1 SysML中模块定义图与顺序图的良构规则 38-40 4.3.2 SysML中模块定义图和顺序图的一致性 40 4.4 集成概念模型和用例模型 40 4.5 模块定义图和顺序图在rCOS中的语法 40-47 4.5.1 模块定义图在rCOS中的语法 41 4.5.2 顺序图在rCOS中的语法 41-42 4.5.3 顺序图在rCOS上的良构规则 42-44 4.5.4 需求模型 44-45 4.5.5 设计模型 45 4.5.6 SysML模型的rCOS语义 45-47 4.6 模型精化 47-48 4.7 案例:自动柜员机系统 48-53 第五章 总结与展望 53-54 参考文献 54-57 致谢 57
|
相似论文
- 《左传》名词陈述化研究,H146
- 基于多示例学习的用户关注概念区域发现,TP391.41
- 面向业务过程的服务动态组合方法研究,TP393.09
- 基于本体的语义检索研究,TP391.3
- 乔治·米勒的认知意义论,B842.1
- 一种基于领域本体的语义Web服务匹配和组合方法,TP393.09
- 心智游移频率特征研究:问卷开发,B841
- 《摩诃僧祗律》范围副词研究,H141
- 范畴化理论在大学英语词汇教学中的应用研究,H319
- 《水浒传》、《西游记》、《金瓶梅》、《红楼梦》语气词比较研究,H146
- 论普通语义学对其后语义研究的影响,H030
- 现代汉语触觉感官词的认知语义研究,H136
- 保留语义约束的XML与关系数据库双向转换技术研究,TP311.13
- SoS中框架方法的形式化研究,TP393.09
- 主观题自动评分技术研究,TP391.1
- 基于MMTD的模糊语义量化研究,TP18
- 情景应对模式下数字化应急预案的语义模型研究,TP391.1
- 彼特纽马克翻译观对《围城》中文化负载词的解释,H315.9
- 心灵之眼视野下的心理内容,B849
- 基于插件的语义数据可视化系统及其应用,TP391.41
- 基于结构化稀疏谱哈希的图像索引算法,TP391.41
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com
|