【摘 要】
：
为了实现领域约束规则的可视化表示，检验需求模型与领域知识之间的一致性，该文提出一种领域规则建模及需求模型验证方法。在借鉴本体定义元模型和语义网规则语言（SWRL）基础上，定义
【机 构】
：
解放军理工大学指挥自动化学院,解放军重庆通信学院
论文部分内容阅读
为了实现领域约束规则的可视化表示，检验需求模型与领域知识之间的一致性，该文提出一种领域规则建模及需求模型验证方法。在借鉴本体定义元模型和语义网规则语言（SWRL）基础上，定义了一种领域规则定义元模型。用该元模型扩展统一建模语言，使其可用于领域规则建模。给出了领域规则模型到SWRL描述的转换方法，使需求模型验证可通过形式化推理引擎自动完成。通过模型验证案例分析，说明了该方法的可用性。
其他文献
本文主要针对企业全面预算管理问题展开深入研究,主要通过全面预算管理中存在的问题,比如:缺少合理的预算编制、缺少全面预算执行监控力度以及缺少先进的信息化系统等,重点阐
《雪桥诗话》一直被誉为是研究八旗文史、清代文史的知名典籍,自刊印以来的研究史可分为三个时期：20世纪中期前,这一时期主要以序跋为主;20世纪八九十年代,这一时期随着明清文
为了探讨氮磷钾肥料配施对甜瓜主要经济性状的影响,采用3因素5水平2次正交旋转组合设计,研究N、P、K配施对甜瓜产量的影响,构建肥料配施的数学模型,并对最优施肥量、单因子效
目的：观察人不同类型慢性根尖周病组织中巨噬细胞（MPs）的分布情况及转化生长因子-β1（TGF-β1）在巨噬细胞上的表达情况,探讨巨噬细胞TGF-β1在根尖周疾病中的作用机制。方法：将75例
大学生社会实践能力的培养,对在校大学生来讲是必不可少的。很多大学生在即将迈入社会时,会迷茫,没有目标,所以学校对大学生社会实践能力的培养显得尤为重要,但前提是学校要
目的调查酒精性肝硬化患者住院费用并分析其影响因素。方法收集我院2011～2013年度出院首诊断为酒精性肝硬化病例1907例，采用t检验、多元逐步回归分析等方法对住院费用及其影响
探讨EAN抗体、抗ds—DNA与体液免疫检测在系统性红斑狼疮（SLE）诊断中的应用．选取58例诊断明确的SLE患者为SI，E组，另取健康人群21例为对照组．清晨空腹采静脉血，用免疫斑点法检测EAN抗
八旗作家杨钟羲所著《雪桥诗话》至今已有百年，学界从版本、题名、写作体例、著作动机等方面进行了初步研究，但该书应当借鉴文化学、民俗学、文学地理学等多种方法，从八旗文学、
选取HX-1500碳酸钙和PVC活性碳酸钙应用在PVC扣板生产中，考察了不同种类碳酸钙对扣板生产过程中的加工性能和制品颜色的影响，分析了碳酸钙种类对PVC扣板的横向和纵向拉伸、弯曲
教学自由是教师拥有的在教学过程中进行自主教学的行为空间.教学自由要体现教师的意志,但同时教师要承担相应的教学责任,它并非不要限制.对于教师而言,教学自由之所以有存在