UML可视化建模工具中模型一致性检查机制的研究与实现

来源 :计算机应用与软件 | 被引量 : 27次 | 上传用户:chunxi1208
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
采用统一建模语言UML进行系统建模的过程中 ,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性 ,不仅给开发人员造成很大负担 ,而且容易出现差错或遗漏。因此 ,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析 ,识别出这些图之间的一些基本的一致性规则 ;在此基础上 ,提出了UML可视化建模工具中模型一致性检查机制的实施框架 ,并对实现该框架的主要思路进行了详细介绍。
其他文献
目的:探讨甲基化转移酶抑制剂5-氮杂-2’-脱氧胞苷(5-aza-2’deoxycytidine,5-aza-dC)对腺样囊性癌细胞中RECK基因表达及肿瘤侵袭力的影响。方法:采用甲基化特异性PCR、实时定量PC
次贷危机的危险与防范一直为人们普遍关注,此次次贷危机从美国开始波及全球,具有深层原因。本文主要从法律角度分析了次贷危机的法律缺失问题,并从中得出了对我国金融业的启
在制造业的流水线生产过程中,装配生产线是产品生产的重要环节,装配生产线是否平衡对整个生产线运行效率和产能的高低有着直接影响。因此,装配生产线的平衡的平衡问题对所有的制造企业来说至关重要,解决装配线平衡问题是装配生产线效率提升的重要手段。本文主要运用装配生产线平衡理论和0-1规划建模理论并且结合H公司输液器生产现场的实际,为H公司输液器生产线存在的问题提出切实可行的解决方案,提高了生产线平衡率。本文
教育数据挖掘(Educational Data Mining)是研究教育教学中产生的数据,挖掘数据潜在的价值反作用于教学实践中。教学改革伴随时间的推移不断深化,许多高校将学生评教活动作为
基于人才培养目标和职业岗位群能力要求,高职商务英语专业要大力调整教学内容和课程体系,把职业资格证书或行业技能培训证书课程纳入教学计划中,将职业技能认证要求与教学内容深
随着我国人口老龄化的加剧,渐进镜片逐渐占有较大的市场份额。然而,渐进片中的功能镜片(如中近、近近系列)却没有得到足够的重视。据笔者个人观察,目前的老视群体中,从来没有佩
代数图论是一个蓬勃发展的数学方向,它主要是利用代数方法解决图论的问题.矩阵几何是华罗庚院士于二十世纪四十年代开创的一个数学领域.近些年来,代数图论与矩阵几何的研究正
对建立的齐型空间上的加权Block空间中的广义Calderon-Zygmund算子,证明了其加权Block有界性。
某妨织厂发生这么一件事:一客户到该厂销售科联系业务,声称只要两年前生产的产品,而不要现在生产的产品。理由是现在生产的优等品质量还不如两年前次品的质量好呢!这件事听起来不
提出以信号功率谱熵和频带能量作为组合脑电特征向量,运用时变线性分类算法对左右手运动意识任务分类的方法。C3、C4电极脑电信号8~24Hz功率谱熵和频带能量随时间变化的规律很好地反映了ERD/ERS现象,将两种特征组合用于分类,得到了满意的结果。由于功率谱峰熵和频带能量计算比较简单,稳定性好,识别率高,可在线识别左右手想象运动。