基于本体的特征模型演化一致性验证研究与应用

来源 :南京航空航天大学 | 被引量 : 0次 | 上传用户:gfpwxj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着领域需求的不断变化,使得领域软件的规模和复杂性不断增加,导致领域需求分析与建模成为领域工程研究中的严峻挑战。鉴于领域工程的相关性与稳定性,通过特征方法对领域需求进行分析,并建立领域特征模型,通过领域特征模型来管理领域中的核心资产。然而,领域需求的不断变化导致领域中的特征模型发生演化。如何有效对演化后的特征模型进行一致性验证,这个问题已经成为领域工程中新的一个研究热点。针对上述问题,本文提出一种基于本体的特征模型演化一致性验证方法。首先,在分析特征模型和特征模型演化的基础上,抽取特征模型演化所涉及到的基本概念,构建了本体特征模型的元模型和元模型规约。结合元模型对特征模型的演化,提出了一组特征模型的演化操作。然后,结合元模型规约和特征模型,提出了基于本体的特征模型演化一致性验证方法。对特征模型的不一致(即特征间的冲突),提供了消除特征间冲突的演化策略。最后,借助Jena推理机,设计并实现特征模型一致性验证工具,为领域需求分析与建模,提供了工具支持。以机载质量评估系统为例,建立该系统的本体领域特征模型,并裁剪出相应的本体产品特征模型。同时,通过工具对其进行一致性验证,采用演化策略特征模型的不一致,其验证结果表明本文所提的方法的可行性和有效性。
其他文献
植物是自然界的重要组成部分,因其种类繁多、结构复杂、形态万千,以计算机技术为中心,建立在植物学、计算机图形学、数理统计、可视化技术基础上的虚拟植物(VirtualPlants)研究
随着计算机网络的迅猛发展和网络业务类型的快速增加,网络管理日益复杂,传统的网络难以保证用户的端到端QoS目标。认知网络在感知当前环境的基础上,同时结合业务需求,对网络未来
在大型客机全球化协同研制过程中,需要与全球先进的制造企业进行深入地交流,在协同研制的过程中,经常涉及到双方信息资产安全等诸多问题。本文针对大型客机的全球信息化协同研制
归纳学习的核心问题是从给定的数据集中抽取分类规则,决策树归纳是一种典型的分类规则抽取方法,扩展属性的选择是决策树归纳的核心问题,基于离散化的连续值决策树归纳在选择扩展
随着通信技术的不断进步以及各种通信方式的出现,通信交流已经成为人们生活中不可或缺的一部分。伴随着科技发展和社会的进步人们对于信息交流的要求也逐步提升。互联网、有
生物体基因的表达借助于具有调控作用的蛋白质和DNA序列中的调控位点的结合来完成,而调控位点出现在相关基因的上游调控区域,并且通常是保守的序列模式,即模体。因此,模体识别对
与传统公钥加密方案相比,基于格的公钥加密方案可抵抗量子攻击,同时其运算简单,运行速度快,因而成为改进传统公钥加密方案效率的新思路。基于LWE的加密方案是具理论安全性支持且
随着信息存储的急剧增长,人们迫切需要从海量数据中提取有用的信息与知识,并将获取的有用经验广泛用于商务管理、生产控制、市场分析、工程设计和科学探索等。而符号回归算法则
医学图像分割有较早的历史,但随着医学成像技术的发展,新型高效的成像技术出现,不断的挑战着研究者过去在该领域的研究成果。尤其当核磁共振成像出现之后,核磁共振图像(MRI)处理成
随着信息技术的迅猛发展,在给人们生活带来便利的同时,各种各样的网络攻击、黑客、木马、病毒等网络安全威胁问题频发,计算机犯罪问题日益严重,不仅严重阻碍了计算机技术的进一步