论文部分内容阅读
在复杂、开放和动态变化的社会环境中,软件系统在偏离需求规约或处于非优化运行时呈现出由“被动应变”转变为“主动适应”的趋势,因此自适应软件系统需要能够对变化的环境做出动态的决策。为了满足自适应系统带来的异构的、交互的构件动态自适应的新挑战,本文以软件构件能力(Capabilities)分析和匹配为基础,提出一种基于本体概念向量的语义相似度的能力协作规划方法。由于目标将会由异构构件协作完成,而且构件的可能会在某个状态下自己某些能力失效,因此需要识别构件自身能力以及构件之间的协作能力以决定哪些构件在当前状态下能够完成目标。构件能力的形式化描述、构件交互能力的建模与协作规划成为动态群体决策研究首先需要解决的问题。因此,本文的研究工作从以下几个方面展开:第一,建立基于领域语义的能力协作模型。确定领域的核心概念以及概念之间所存在的关系,选择能力描述语言OWL,确认实例描述方法(一般是用二元组或者三元组表示),并给实例添加对象或者数据属性。第二,在基于相关节点的概念向量模型的基础上,提出上下文之间的相似度计算方法,以及能力、承诺与目标间的语义相似度计算方法。然后,提出能力规划方法以及引入承诺后的能力规划方法,当在输入能力集合和目标集合后,能够输出从初始状态到目标状态进行规划后的能力规划图。第三,对医疗垃圾运输场景进行分析和描述,设计并开发能力建模工具-Protégé插件CMETab(Capability Modeling Editor Table),并通过该工具建立医疗垃圾运输领域的能力模型,最后通过实验来验证语义相似度计算方法和能力规划方法。本文的研究重点是基于领域语义的能力建模与协作规划方法,建立了能力协作模型,提出能力协作规划方法,最后设计并开发能力建模规划工具,并通过建立医疗垃圾运输领域场景来验证了相关语义相似度的计算方法以及加入承诺后的能力协作规划方法的高效性。