【摘 要】
：
为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了
【机 构】
：
哈尔滨工业大学企业与服务智能计算研究中心
【基金项目】
：
国家自然科学基金资助项目(60803091,60673025,70971029);国家863计划资助项目(2006AA01Z167)~~
论文部分内容阅读
为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标,验证并度量了服务语义在服务模型表示中的完备程度,并根据验证和度量的结果,给出不同的语义增强策略。最后,在特定的服务语义范围内,对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。
其他文献
乳房炎作为规模化牧场三大疾病之一,在乳房炎的管控上面牧场也是投入了大量成本和时间,同样乳房炎的发生也给牧场造成了很大的经济损失。1乳房炎的临床症状乳房炎在临床上一
研制出了性能优异的TiCN基金属陶瓷刀片,对试样进行了物理力学性能检测及组织结构分析,研究了金属陶瓷的硬度及强度机理.与国外高质量的同类产品进行了对比切削试验,结果表明
近期，农业部新闻办公室举行新闻发布会，介绍新一轮农村改革试验区和试验项目启动实施有关情况，农业部产业政策与法规司司长张红宇表示，日前经中央农村工作领导小组同意，农业部会同
随着全球能源与环境危机的日益加剧,新能源将成为未来能源体系的重要组成部分。微电网作为一种由分布式电源、储能装置、负荷等构成的小型供配电系统,是未来新能源利用的发展