中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
题名:
需求驱动的Web服务建模及其验证:一个基于本体的方法
作者: 侯丽珊 ; 金芝 ; 吴步丹
关键词: Web服务 ; 环境本体 ; 自动组合 ; π演算 ; 形式化验证 ; 需求驱动 ; Web服务 ; 建模 ; 验证算法 ; 本体 ; 组合模型 ; 环境变化 ; 能力描述 ; 进程表达式 ; 转换机制 ; 验证方法 ; 可满足性 ; 操作 ; 形式化 ; 概念化 ; π演算 ; 语义 ; 行为 ; 框架 ; 交互
刊名: 中国科学E辑
发表日期: 2006
卷: 36, 期:10, 页:1189-1219
收录类别: wanfang ; cnki
部门归属: 中国科学院数学与系统科学研究院,北京 100080;中国科学院软件研究所,北京 100080;中国科学院数学与系统科学研究院,北京 100080;中国科学院计算技术研究所,北京 100080;中国科学院数学与系统科学研究院,北京 100080;中国科学院研究生院,北京 100039
摘要: 从Web服务所交互的环境角度出发,提出了基于环境本体的Web服务能力描述框架,从Web服务操作的环境以及操作导致的环境变化两个方面刻画Web服务的能力,并由此建立了需求驱动的Web服务组合模型.同时提出用π演算的进程表达式表示Web服务的行为语义,并建立了从Web服务概念化的能力表示到形式化的进程表示的自动转换机制,在此基础上给出Web服务组合的可行性验证算法及需求可满足性的验证方法.经过验证的Web服务组合模型可以作为备选执行方案之一反馈给需求提出者.
语种: 中文
内容类型: 期刊论文
URI标识: http://ir.iscas.ac.cn/handle/311060/11836
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
需求驱动的Web服务建模及其验证一个基于本体的方法.pdf(1316KB)----限制开放-- 联系获取全文

Recommended Citation:
侯丽珊,金芝,吴步丹. 需求驱动的Web服务建模及其验证:一个基于本体的方法[J]. 中国科学E辑,2006-01-01,36(10):1189-1219.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[侯丽珊]'s Articles
[金芝]'s Articles
[吴步丹]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[侯丽珊]‘s Articles
[金芝]‘s Articles
[吴步丹]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace