| 模型驱动架构的语义组合Web服务的验证 | |
| 蓝荣贵1; 王勇2; 朱正东1; 李增智1 | |
| 2011-03-11 | |
| 发表期刊 | 计算机工程与应用
 |
| ISSN | 1002-8331 |
| 卷号 | 47期号:08页码:51-55 |
| 摘要 | 针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。 |
| 关键词 | 语义Web服务 组合验证模型 模型驱动架构(MDA) 语义匹配度 |
| URL | 查看原文 |
| 收录类别 | 北大核心 ; CSCD |
| 语种 | 中文 |
| 资助项目 | 国家自然科学基金(No.60673170)~~ |
| 原始文献类型 | 学术期刊 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://ir.library.ouchn.edu.cn/handle/39V7QQFX/85303 |
| 专题 | 国家开放大学河南分部 |
| 作者单位 | 1.西安交通大学计算机系; 2.河南开封广播电视大学 |
| 推荐引用方式 GB/T 7714 | 蓝荣贵,王勇,朱正东,等. 模型驱动架构的语义组合Web服务的验证[J]. 计算机工程与应用,2011,47(08):51-55. |
| APA | 蓝荣贵,王勇,朱正东,&李增智.(2011).模型驱动架构的语义组合Web服务的验证.计算机工程与应用,47(08),51-55. |
| MLA | 蓝荣贵,et al."模型驱动架构的语义组合Web服务的验证".计算机工程与应用 47.08(2011):51-55. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 查看访问统计 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [蓝荣贵]的文章 |
| [王勇]的文章 |
| [朱正东]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [蓝荣贵]的文章 |
| [王勇]的文章 |
| [朱正东]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [蓝荣贵]的文章 |
| [王勇]的文章 |
| [朱正东]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论