• 论文 •    

服务模型语义完备性判定方法与语义增强策略

莫同,王忠杰,徐晓飞   

  1. 哈尔滨工业大学 企业与服务智能计算研究中心,黑龙江哈尔滨150001
  • 出版日期:2009-11-15 发布日期:2009-11-25

Decision method of semantics completeness and semantics enrichment strategies for service models

MO Tong, WANG Zhong-jie, XU Xiao-fei   

  1. Research Center of Intelligent Computing of Enterprises & Services, Harbin Institute of Technology, Harbin 150001,China
  • Online:2009-11-15 Published:2009-11-25

摘要: 为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标,验证并度量了服务语义在服务模型表示中的完备程度,并根据验证和度量的结果,给出不同的语义增强策略。最后,在特定的服务语义范围内,对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。

关键词: 服务模型, 服务语义, 完备性, 语义增强策略

Abstract: To express service exactly, the service model's expression ability should be judged and the weak part should be enriched. A determination method of service semantics completeness was proposed based on graph theory, and determination theorem and proof were also proposed by using the concept of super sub-graph. A set of indexes were prepared to measure the completeness and complexity of service semantics expressed in a service model, and strategies of semantics enrichment were proposed based on it. Finally, in a specific service semantics scope, the completeness of three models (Unified Modeling Language (UML), Business Process Modeling Notation (BPMN), and Service Model Driven Architecture (SMDA)) were compared and analyzed.

Key words: service models, service semantics, completeness, semantics enhancement strategies

中图分类号: