【摘 要】
：
将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了
论文部分内容阅读
将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念
其他文献
本文依托政府导向解决"三农问题"为研究支撑,提出构建和谐社会中国新农村基础设施建设的必要性,提高中国新农村的管理水平和核心竞争力,最大限度整合资源优势,构架农民、农村
目的探究大肠经原合配穴电针治疗肺炎所致脓毒症的效果及其对胆碱能抗炎通路的影响.方法选取2014-2017年中国中医科学院广安门医院收治的肺炎所致脓毒症患者120例,采用SAS统
目的探讨鲍曼不动杆菌耐药性及碳青霉烯酶相关耐药基因OXA-23、OXA-24、OXA-58、IMP、VIM的分布情况,为临床抗菌药物的合理选择提供依据。方法 2012年1月—2013年5月收集泸州
揭示全球大数据与健康管理的研究热点。采用文献计量学和双向聚类分析法。发现全球大数据与健康管理现已达到年均发文量1000篇以上；全球有89个国家和地区都进行了该方面的研究
拥有世界文化遗产、世界自然遗产、世界记忆遗产三项桂冠的历史文化名城——云南省丽江市,是一个典型的旅游型城市。在发展体育休闲产业上拥有政策扶持、人文环境、自然资源
目的建立液相色谱-质谱法快速分析多立培南在酸性条件下的降解产物。方法借助高效液相色谱-单四级杆质谱仪测定多立培南的酸降解产物,并根据质谱所获得降解产物相对分子质量
目的探讨浆细胞性乳腺炎的临床特点,提高对本病的诊治水平。方法回顾性分析本院经手术病理证实的27例浆细胞性乳腺的临床资料。结果27例全部行手术治疗,26例治愈,1例主动出院
采用三层胶合板、中密度纤维板和PVC扣板3种贴面材料与杨木粉液化树脂泡沫复合,以保证复合板尺寸稳定性和本体材料的界面性能达到最优,并对复合后的泡沫夹芯板的力学性能及尺
班级是教师和学生联系的纽带，是学校对学生进行教育、教学的基本单位，也是班主任工作的阵地和学生活动的重要场所。在新课程背景下，班级管理具有了新内涵，即班级管理气候民主化、
析了多频时分多址（MF-TDMA）卫星通信体制3种组网实现方式的特点和支持多类站型组网能力，并结合发跳收不跳．MF-TDMA组网提出了一种基于双职守载波可有效支持多类站型组网的改进体