【摘 要】
：
为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了
【机 构】
：
哈尔滨工业大学企业与服务智能计算研究中心
【基金项目】
：
国家自然科学基金资助项目(60803091,60673025,70971029);国家863计划资助项目(2006AA01Z167)~~
论文部分内容阅读
为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标,验证并度量了服务语义在服务模型表示中的完备程度,并根据验证和度量的结果,给出不同的语义增强策略。最后,在特定的服务语义范围内,对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。
其他文献
近日,国内知名IT厂商同方在北京举行了以"‘机不可失、‘密不可泄"为主题的信息安全解决方案研讨会。同方股份有限公司副总裁李健航、同方电脑总工程师刘锋以及来自各部委信息化建设领域的专家领导,纵论中国可信
近十年来．玉米合理密植是玉米增产的一项主要技术．给广大农户种植玉米增产、增收带来了一定的经济效益，但在实际生产过程中，也出现了不少问题，例如出现空杆、倒伏，甚至造成减产。因
乳房炎作为规模化牧场三大疾病之一,在乳房炎的管控上面牧场也是投入了大量成本和时间,同样乳房炎的发生也给牧场造成了很大的经济损失。1乳房炎的临床症状乳房炎在临床上一
研制出了性能优异的TiCN基金属陶瓷刀片,对试样进行了物理力学性能检测及组织结构分析,研究了金属陶瓷的硬度及强度机理.与国外高质量的同类产品进行了对比切削试验,结果表明
一、减少鸡舍受到的辐射与反辐射1.植树和搭凉棚。为防止阳光直射,可在鸡舍四周,特别是西、南两侧植树,开放式鸡舍要注意不使矮小灌木挡住南风。一般多种落叶、速生、大叶的
目的研究大鼠放射性肺损伤CT肺功能定量分析及其与肺功能试验的相关关系,初步探讨CT定量分析对于放射性肺损伤的早期诊断价值。材料与方法将60只SPF级健康雌性SD大鼠,随机等
水是生命之源,畜禽科学饮水,能促进饲料消化吸收和利用,加快生长速度,提高生产性能,可获得养殖高效益。笔者总结多年临床实践经验,现介绍其最佳饮水量的计算方法,供养殖养者
近期，农业部新闻办公室举行新闻发布会，介绍新一轮农村改革试验区和试验项目启动实施有关情况，农业部产业政策与法规司司长张红宇表示，日前经中央农村工作领导小组同意，农业部会同
信号1：便秘、腹泻提示：胃热、虚寒胃热者．食物残渣下行缓慢．水分易流失．到大肠时已变得很干．从而导致便秘．而与此相对的．大便常不成形、很稀．多半为脾胃虚寒所致．
随着全球能源与环境危机的日益加剧,新能源将成为未来能源体系的重要组成部分。微电网作为一种由分布式电源、储能装置、负荷等构成的小型供配电系统,是未来新能源利用的发展