摘要
为准确地表达服务,需要衡量对服务模型的语义表达能力,并对缺失部分进行语义增强。为此,提出一种基于图论的服务模型语义完备性判定方法。通过扩展子图引入超子图概念,给出了可服务模型语义完备性判定定理及证明。通过完备性验证算法及一系列度量指标,验证并度量了服务语义在服务模型表示中的完备程度,并根据验证和度量的结果,给出不同的语义增强策略。最后,在特定的服务语义范围内,对统一建模语言、业务流程建模符号和服务模型驱动的体系结构等三种模型的语义完备性进行了判定和对比分析。
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.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2009年第11期2226-2232,共7页
Computer Integrated Manufacturing Systems
基金
国家自然科学基金资助项目(60803091
60673025
70971029)
国家863计划资助项目(2006AA01Z167)~~
关键词
服务模型
服务语义
完备性
语义增强策略
service models
service semantics
completeness
semantics enhancement strategies
