Semantic Composition Web Services Verification Based on MDA

ZHU Zheng-dong; LAN Rong-gui; CHEN Yan-ping; LI Zeng-zhi

Chinese

您当前的位置：

首页 >

文章列表页 >

Semantic Composition Web Services Verification Based on MDA

更新时间：2026-09-04

- Semantic Composition Web Services Verification Based on MDA
- Vol. 27, Issue 11, Pages: 4-9(2010)
- 作者机构：
  
  1. 西安交通大学计算机系,陕西,西安,710049
  2. 西安邮电学院计算系,陕西,西安,710061
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2010
- 稿件说明：
移动端阅览
朱正东, 蓝荣贵, 陈彦萍, 李增智. 基于MDA的语义Web服务的组合与验证[J]. 微电子学与计算机, 2010, 27(11): 4-9.

ZHU Zheng-dong, LAN Rong-gui, CHEN Yan-ping, et al. Semantic Composition Web Services Verification Based on MDA[J]. 2010, 27(11): 4-9.
朱正东, 蓝荣贵, 陈彦萍, 李增智. 基于MDA的语义Web服务的组合与验证[J]. 微电子学与计算机, 2010, 27(11): 4-9. DOI：

ZHU Zheng-dong, LAN Rong-gui, CHEN Yan-ping, et al. Semantic Composition Web Services Verification Based on MDA[J]. 2010, 27(11): 4-9. DOI：

摘要

针对语义组合Web服务的验证问题

研究了模型验证相关技术、统一模型语言(UML)

提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模

使用活动图对OWL-S进行动态组合建模

实现了语义组合Web服务的UML描述

然后将该描述转换为Promela语言代码

在Promela代码之后增加LTL的声明

使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.

Abstract

In order to solve the problem of composition and verifying of semantic Web services

this paper proposes a composite method based on model-driven architecture (MDA) and a matching method based on semantic matching degree. In the static aspects

the OWL-S is modeled by the composite method using UML class diagrams and use-case diagram. The dynamic composition of OWL-S is modeled by the use of activity diagram

In the procedure of modeling

a matching method based on semantic matching degree has been used to choose a subset of Web services for determining the most appropriate composite Web service and the compositing UML model can be translated into the Promela language to be verified by the model checking tools

SPIN. The verified UML model

as a template

is stored in ontology knowledge base. The model has been developed to improve the efficiency of the semantic Web services

and ensure the process of dynamic composition accuracy. By the use of templates and semantic matching degree

the most suitable and available Web services can be found and selected real-time.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Integration Test Method Based on Risk Analysis

Research of Security Access Control Based on Model-Driven

Simulation on the DC characteristics of double heterojunction p-GaN HEMT with AlN/GaN hybrid buffer layer

Monte carlo analysis of V-layout trench SiC neutron detector

Implementation and verification of a dual-chain power gating strategy for low power design

Related Author

HU Wen-sheng

ZHAO Ming

YANG Jian-feng

JIA Guo-rong

ZHANG Sai-nan

QIAO Zheng-hong

LEI Xiao-yu

WANG Mei-juan

Related Institution

1 Commercial College of Guizhou

2 College of Computer Science & Information, Guizhou University

3 Reliability Engineering Center of Guizhou

Institute of Science,PLA University of Science and Technology

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰