收藏本站
《贵州大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

UML模型的语义模型

杨静  
【摘要】:UML是一种图形化的语言,用于明确规定和构建软件系统开发过程中形成的产品,使这些产品可视化并形成文档资料。UML代表了在模拟大型和复杂的系统中被证明是最成功的工程实践的一个集成。自从1997年11月UML1.1的提案被OMG组织采纳之后UML已经变成软件开发过程中实际存在的标准模型语言。全世界有许多机构都已经接受了UML,这些机构将通过各种方式继续鼓励UML的使用,比如说采用已经成型的定义,激励其他的方法学家、工具经销商、培训机构和作者们使用UML。 不同的模型图被使用在软件开发的各个阶段中,并且它们抽象的程度也不同。比如,Use Case图和类图用于静态分析,序列图和活动图用于动态分析,组件图和调度图用于代码实现。 正是在如此多重的观点下,软件开发人员可以将一个软件设计分解为易于控制的较小规模的组件。但也正是在如此多重的观点下,各种有争议的问题也不可避免地产生了: 1.协调性问题:各种观点下的模型在语法和语义上应该是相容的。 2.转换和进化问题:一个模型必须与它的精化在语义上是协调的。 3.可跟踪问题:在某个观点下的模型中的一个变化应该可以导致其余观点下的模型的协调性变化。 4.融合性问题:不同观点下的模型应该在软件成品之前被无痕的融合在一起。 为了精确和精巧地处理以上问题,一个形式化的语义模型无疑是最好的选择。UML的非形式的语义被精巧地设计得具有灵活性和可延展性以便UML可被使用在不同的目的,比如需求分析、系统设计、代码实现和测试。通常UML模型的形式化方法归于两大类。一类是转化方法:在这类方法中,某种UML模型被转化成已经存在的形式化语言,比如Z、B、VDM等等。另一类方法是直接给出UML模型的形式化的语义模型,然后提供一个连接机制将这些模型组合在一起做协调性检查。 现在已经存在的形式化地支持基于UML开发的大多数工作,主要致力于单个图的形式化并且仅仅处理一种观点或两种观点下的模型的协调性。在UML的形式化使用的研究中另一种现象是,不同的组织意欲强调不同的符号系统并且使用全部的甚至是扩展的UML序列图或状态机的表达力。这无疑失去了UML在多重观点下建模的优势,同时也导致了某类UML模型复杂性的增加和削弱了其它的UML模型应起的作用。据我们所知,几乎没有关于UML完整模型的协调性精化方面的工作。这里一个系统的完整模型是指这个系统在不同观点下的一簇模型。 这篇论文正是朝着UML的语义模型这个方向进行的。在第一章中,我们复述了这个工作的基础-指称语义。在第二章中,我们直接给出UML模型的语义模型,然后将这些模型连结起来此做协调性检查。但我们没有提供生成类Java代码的方法,因此这种技术不适应当前面向对象的方法这个主流。为了避免这个缺陷,在第三章和第四章中,我们把UML模型转化到面向对象的描述性语言rCOS的规范形式。rCOS这种语言被设计来广泛地用于面向对象的系统的开发。在第三章中,在类图和序列图的形式化的基础上,我们构建了需求模型和设计模型。在四章中,我们将状态机添加到我们的模型中并且指出一个系统的模型由一个类图、一簇序列图和一簇状态机构成。这个模型主要用于模型融合、精化和代码实理。因此这个工作在计算机科学和软件工程领域都有理论意义和实用价值。更重要的是,rCOS的精化计算将被用来定义UML模型的协调性精化,而精化过程则保留系统的协调性和正确性。这
【学位授予单位】:

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王林,高国安;面向对象的IDSS模型库系统的构造[J];电脑与信息技术;2000年01期
2 许浒;张伟;周青;;基于Petri网嵌入式系统模型的组合与修改[J];微计算机信息;2010年23期
3 刘慧;基于知识的定量分析决策模型的构造[J];情报杂志;2005年08期
4 于宏;李战怀;;基于Petri网的模型组合方法研究[J];微处理机;2008年04期
5 冯军;王丽丽;罗波;朱亚红;;仿真模型库动态管理框架及关键技术研究[J];指挥控制与仿真;2010年04期
6 杨永生;;基于交互路径的构件组装测试方法研究[J];计算机时代;2011年02期
7 许英,蔡永红,李文斌;Swift3D与Flash联用制作与修饰化学微粒空间模型[J];化学教育;2005年11期
8 赵禹鹏;;城市产业规划的经济分析模型库设计[J];广西师范学院学报(自然科学版);2007年02期
9 杜兴勇;;基于网络的模型库结构表示方法研究[J];吉林大学学报(信息科学版);2007年06期
10 戴超凡;陈俊;;模型组合技术研究与实现[J];计算机应用研究;2009年04期
11 韩祥兰,吴慧中,陈圣磊;基于多Agent的分布式模型管理与组合方法[J];计算机集成制造系统-CIMS;2004年S1期
12 任宁;;基于MDA方法的软件系统开发研究[J];沿海企业与科技;2006年03期
13 张鹏;黄健;赵鑫业;刘洋;;基于BOM组件模型的可组合性研究[J];系统仿真学报;2011年08期
14 王东,张永禄,牟东,向军;生物实验数据回归建模系统(MSED)的研究[J];计算机应用研究;1992年05期
15 王晓慧;林明森;;L波段海水辐射率模型综述[J];遥感技术与应用;2007年02期
16 吴超;辛明军;李伟华;;基于多Agent的组合模型链分布式求解算法及实现[J];计算机工程与应用;2005年36期
17 周东祥;李群;王维平;;可组合仿真模型的语义形式描述及组合判定方法[J];国防科技大学学报;2008年01期
18 吴娅辉;刘刚;郭军;;基于模型混淆度的模型组合算法研究[J];自动化学报;2009年05期
19 ;Ixia展示面向LTE三重播放测试的端到端用户建模技术[J];电信技术;2010年03期
20 李翔;李林;;基于web服务的模型管理平台设计与开发[J];农业网络信息;2007年05期
中国重要会议论文全文数据库 前10条
1 董秀珍;秦明新;汤孟兴;尤富生;付峰;史学涛;刘锐岗;;生物电阻抗断层成像技术的研究[A];面向21世纪的科技进步与社会经济发展(下册)[C];1999年
2 李静蔚;宋爱莉;张敬涛;刘晓菲;殷玉琨;王春海;;DMBA诱导大鼠乳腺癌癌前病变的组织病理学研究[A];2008年中医外科学术年会论文集[C];2008年
3 朱远峰;崔光中;覃小群;;北山岩溶水系统模式及其GSTM模型[A];中国地质科学院文集(20)[C];1990年
4 巨兴顺;刘波;;马斯分段演算与水箱模型组合在区间洪水过程预报中的应用分析[A];中国水利学会2005学术年会论文集——水旱灾害风险管理[C];2005年
5 郭宏蕾;郭志立;;基于模型组合训练机制的特定领域名词性实体识别[A];全国第八届计算语言学联合学术会议(JSCL-2005)论文集[C];2005年
6 徐峥;张伟;侯筱婷;;基于岗位模型的CGF建模仿真研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
7 李伟明;袁洁欣;郑础坤;黄河潮;;人工神经网络在确定空间内火灾热介面中的应用(英文)[A];中国灾害防御协会——风险分析专业委员会第一届年会论文集[C];2004年
8 金光;;MISER:一个多模型集成的性能可靠性分析环境[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
9 李士进;俞峰;;基于多分类器组合的人脸检测[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
10 鲁传敬;陈瑛;;空泡流数值模拟方法研究[A];第九届全国水动力学学术会议暨第二十二届全国水动力学研讨会论文集[C];2009年
中国重要报纸全文数据库 前9条
1 本报记者  单羽青;摩根士丹利对亚洲股市看高一线[N];中国经济时报;2006年
2 记者 邓媛雯;小模型折射大前景[N];深圳特区报;2006年
3 蔡臻欣;标普预计美国衰退可能性很大[N];第一财经日报;2008年
4 周维 李彬;跟墨菲说再见[N];第一财经日报;2009年
5 吴慧;专户理财不会分流公募基金资金[N];第一财经日报;2008年
6 本田;本田汽车出现利润下滑[N];中国工业报;2008年
7 ;旅行社业务流程重组管理解决方案[N];中国计算机报;2009年
8 ;高盛下调国寿及平保目标价[N];中国证券报;2008年
9 ;本田汽车财年第二季度业绩下降[N];国际商报;2008年
中国博士学位论文全文数据库 前10条
1 兰勇;面向多任务的智能群体决策支持技术研究[D];西北工业大学;2003年
2 韩祥兰;SBA系统的综合集成研讨厅研究与应用[D];南京理工大学;2005年
3 于海鸿;多维数据环境中决策支持相关技术研究及应用[D];吉林大学;2007年
4 亓常松;决策支持系统中模型管理相关问题研究[D];吉林大学;2008年
5 周东祥;多层次仿真模型组合理论与集成方法研究[D];国防科学技术大学;2007年
6 邵荃;突发事件应急平台模型库中模型链构建方法的研究[D];清华大学;2009年
7 贾磊;核方法模型选择与模型组合的谱方法[D];天津大学;2010年
8 邹鸿雁;多维校正用于复杂体系定量分析和小分子与DNA相互作用机理研究[D];湖南大学;2009年
9 彭勇;作战仿真模型体系分析及其模型设计与实现关键技术研究[D];国防科学技术大学;2011年
10 李俊林;可适应不良数据的数据分类若干方法研究[D];电子科技大学;2012年
中国硕士学位论文全文数据库 前10条
1 穆海洋;多源光谱融合水质分析的多模型组合建模方法[D];浙江大学;2011年
2 杨德宽;基于知识元的模型表示与组合调用研究[D];大连理工大学;2013年
3 徐文元;电信领域资源的通用呈现的研究和实现[D];吉林大学;2006年
4 杨迪帆;IDSS中基于多Agent的分布式模型组合求解[D];西北工业大学;2006年
5 彭栋栋;基于短—长期模型组合的交通流预测方法[D];山东理工大学;2012年
6 郑纯军;基于Agent的多目标决策的研究[D];沈阳工业大学;2007年
7 陈俊;通用模型管理与服务系统研究与实现[D];国防科学技术大学;2008年
8 王恒;应急管理领域DSS模型管理平台的研究[D];大连理工大学;2009年
9 冯西友;基于海量数据的卷曲模型组合曲面建模与光顺[D];大连理工大学;2008年
10 刘兰晶;基于改进投影寻踪模型的施工项目管理的研究[D];河北工程大学;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978