论文部分内容阅读
UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN（D）的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.
UML类图元模型基于描述逻辑的表示及验证
【摘 要】
：
UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML
【机 构】
：
云南民族大学数学与计算机科学学院
【出 处】
：
云南民族大学学报(自然科学版)
【发表日期】
：
2015年4期
【基金项目】
：
国家自然科学基金(61363022)
其他文献
自1957年以来日本农学家田村三郎便与中国科学院保持着长久的联系。1978年以后,更与中国科学院在农业和环境领域展开了长期的合作研究,并参与了中国农业现代化的讨论。文章以
<正>印度软件外包业在2017年开始出现的失业潮给身处大数据、人工智能浪潮中的IT从业者带来巨大风险。尽管普遍观点认为,人工智能在未来会对一些职业产生冲击,同时也会推动一
<正>我国著名口腔医学教育家、口腔医学管理专家、口腔颌面外科学家,博士生导师,中国共产党党员,国际牙医师学院杰出院士,中华口腔医学会荣誉会长,原华西医科大学副校长,原口
本纲要依据《中共佳木斯市委关于制定国民经济和社会发展第十三个五年规划的建议》编制，是全市上下集思广益的成果、集体智慧的结晶，是我市未来五年发展蓝图和行动纲领，是使市场
会议
随着现代社会知识经济的迅猛发展,知识与科技的创新在经济发展和社会进步中的作用日益突出。高等学校作为经济社会发展的重要动力源,其科研工作应充分发挥主观能动性,发挥人
在TI专利数据库平台的基础上,利用其中的专利诉讼检索功能,从涉诉专利趋势、时效性、核心性、地域性、专利权人与技术分布等几个方面对近年来美国涉案专利进行统计和分析,指
<正>小儿肠套叠(intussuception)是某段肠管进入邻近肠管内引起的一种肠梗阻。本病是婴儿时期最常见的急腹症。男孩发病多于女孩。好发于1岁以内婴儿,尤以出生后5~9个月婴儿
在企业的管理决策等工作中，经常会遇到这样的情况，事物未来的发展及演变状态仅仅受事物现状的影响，而与过去的状态无关，也就是具有马尔可夫性。本文运用马尔可夫模型，对具有马尔可
环境保护是我国的一项基本国策，笔者根据在道桥行业勘察设计和施工中的多年经验，总结了在道路设计与建设中的几点建议和环保对策，并论述了在勘察设计、施工过程中需要重点考虑的
目的：探讨有限切开复位内固定治疗Pilon骨折的临床疗效。方法：25例Pilon骨折患者接受有限切开复位内固定术。3例行闭合复位空心钉内固定，22例行有限切开微创接骨板技术（MIPPO）内固