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

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

作　　者：莫同[1] 王忠杰[1] 徐晓飞[1] 

机构地区：[1]哈尔滨工业大学企业与服务智能计算研究中心,黑龙江哈尔滨150001

出　　处：《计算机集成制造系统》2009年第11期2226-2232,共7页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(60803091;60673025;70971029);国家863计划资助项目(2006AA01Z167)~~

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

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

分 类 号：TP399[自动化与计算机技术—计算机应用技术]