论文部分内容阅读
面向对象建模中,模型之间的一致性是设计者所不能忽视的.本文通过学习当前研究一致性的方法,提出了一种结合形式化方法和规则法的检查UML类图和状态图之间一致性的方法.首先将类图和状态图形式化为本体,然后将规则法中定义的一致性规则转换为本体操作,通过在转换得到的本体上实施这些操作实现一致性检查.
一种UML类图和状态图之间一致性检查方法
【摘 要】
：
面向对象建模中,模型之间的一致性是设计者所不能忽视的.本文通过学习当前研究一致性的方法,提出了一种结合形式化方法和规则法的检查UML类图和状态图之间一致性的方法.首先
【机 构】
：
解放军理工大学指挥自动化学院
【出 处】
：
中国电子学会电子系统工程分会第十五届信息化理论学术研讨会
【发表日期】
：
2008年期
其他文献
卫星云图中云团的外形轮廓复杂多变,利用常规的几何面积公式难以准确地求得其面积.把计算机图形学中的种子填充算法运用到复杂图形面积的求解中来,较好地解决了这一问题,为在
UML是军事电子信息系统开发中应用最多的工具之一,支持从需求提取到代码实现的整个开发过程.但UML没有定义严格的语义,这不仅使得其缺少内在的无二义性,而且建立的模型难以进
会议
论文分析了协同式攻击的特征,给出了一种基于多Agent的协同式攻击建模方法,并建立了基于Agent的协同攻击模型,在HLA框架下设计了攻击仿真原型系统,解决了仿真系统中Agent的通
BOM是表示独立仿真互作用模式的可重用信息包,其目的是成为可重用仿真组件.为保证其可重用性的实现,BOM开发小组从BOM模板设计开始就注意构建可重用性机制.本文首先详细分析
本文提出了基于HLA的复杂电磁环境仿真系统体系结构,设计了电磁环境仿真系统的软件结构,把电磁环境可视化过程分为数学模型计算、几何模型构建和表现模型获取三个部分,完成了
兵棋推演是作战计划制定过程中评估作战行动方案(COA)的重要手段.兵棋推演中敌方建模的质量以及动态反应生成技术一直是难于突破的关键点,直接影响COA的评估质量.本文通过对
软件可靠性是软件质量的一个重要因素.如何提高软件可靠性已成为一个迫切的问题。本文综述了通过可靠性建模的途径来计算及评估软件可靠性的方法和理念,并在项目中使用所提出
计划过程建模是军事计划研究领域的一个研究热点,协同作战计划过程模型的建立需要考虑诸多因素,建模方法必须能够表达协同计划过程中涉及到的可用信息,能够动态地描述计划过
会议
本文首先对现有模型和所涉及的几个方面的进行简单的叙述,分析了现有模型的优点和不足.之后对建立模型的方法和原则做出分析,阐述了在软件质量评价领域的研究意义和方向.