排序方式: 共有38条查询结果,搜索用时 15 毫秒
1.
基于UML类图模型的一致性检查方法 总被引:1,自引:0,他引:1
UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具.但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能.SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力.鉴于上述特点,通过从UML类图图元中抽取语义.用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现.根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题. 相似文献
2.
3.
为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷. 相似文献
4.
5.
6.
王智学 《机械制造文摘:焊接分册》2018,(5)
阐述城镇燃气钢质管道带压焊接的意义,分析带压焊接工艺中避免产生氢致裂纹的条件。按照相关标准的要求,确定带压焊接适用范围。采用管材为Q235B,规格为D426 mm×7 mm的管件制成试验装置,以水代替天然气,模拟燃气管道实际运行条件,进行带压焊接试验,对试样进行检验。结果表明,在运行压力不大于0. 4 MPa,规格为D426 mm×7 mm的燃气钢质管道上实施焊接,可以避免产生氢致裂纹,同时对实施带压焊接工艺提出了合理化建议。 相似文献
7.
高技术条件下的信息化战场,对指挥信息系统信息能力的要求越来越高.如何通过评估信息系统信息能力的高低来判断战场信息优势和制信息权的取得,以及发现系统信息能力存在的缺陷将是非常重要的问题.文中通过调研分析建立了指挥信息系统信息能力的多级评估指标,采用层次分析法确定了各同级指标间的相对权重,应用多元联系数集对分析方法完成了对指挥信息系统信息能力的综合评估.基于多元联系数集对分析模型客观严谨、评估结果合理,具有较高的可信度和可行性,适合于指挥信息系统信息能力的评估. 相似文献
8.
UML活动图的操作语义 总被引:1,自引:0,他引:1
越来越多的系统采用UML(unified model language, 统一建模语言)作为建模语言来进行系统分析和设计. UML活动图是UML语言中描述系统动态行为的一种方法,它广泛地运用于业务建模.由于UML活动图缺乏精确的动态语义,所以不利于对其所描述的系统进行形式化的分析、验证和确认.为解决这一问题,根据UML1.5语义文档,给出UML活动图的形式化操作语义.首先给出UML活动图的形式化的语法,然后详细地定义了活动图的格局和变迁,最后基于LTS给出了活动图的演绎规则.主要工作是:引入状态包的概念,使得描述更加清楚、完善;通过LTS定义活动图的操作语义,并详细阐述演绎规则,从而获得活动图的全局状态转移图,使定义的操作语义很容易地应用到形式化验证中.该语义覆盖了UML活动图的绝大部分特征,为对UML活动图进行模型检验奠定了基础. 相似文献
9.