[TiMing]：JiYuTCOZDeUMLShiTuDeXingShiHuaMoXingJiYanZheng
[作者]：许维新[ZuoZhe]：XuWeiXin[专业]：计算机软件与理论[ZhuanYe]：JiSuanJiRuanJianYuLiLun
[导师]：虞慧群[DaoShi]：YuHuiQun[学位]：硕士[XueWei]：ShuoShi
[单位]：华东理工大学[DanWei]：HuaDongLiGongDaXue
[关键词]：UML;TCOZ;转换;验证;UT环境
[时间]：20040204[页数]：58页[点击]：20042[分类号]：TP311.5[语种]：中文文摘[来源]： 毕业论文
[文摘]：UML是一种在工业界得到广泛应用的系统建模语言.然而由于缺乏形式化的语义而限制了它向更广泛的应用领域发展.形式化语言虽以其精确语义著称,却无法从现实世界中直接获取模型,因而在目前的软件开发实践中并未得到普遍应用.对UML语言进行形式化建模正好对两者起了互补作用.该文提出了一种UML视图的形式化建模和分析方法.基于形式化语言TCOZ,该文首先建立了UML的用例图、类图、协作图和状态图的公共语义模型.在此基础上,给出UML视图中各模型元素到TCOZ的转换规则.接着,将由UML各视图转换所得的TCOZ模型合成,得到系统的一个统一的形式化TCOZ模型,最后利用TCOZ的推理规则对系统模型的活性、安全性等性质进行分析验证.以一个任务分配系统为例,展示了所提出的UML视图的TCOZ建模及其验证方法的可行性.另外,我们开发了UT环境,初步实现了从UML视图到TCOZ模型的自动转换.
[上一条]：OLAP系统中立方体计算的优化技术研究
[下一条]：搜索引擎中网页爬行和更新策略的设计与实现