2024年8月22日
星期四
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王功震
作品数:
1
被引量:3
H指数:1
供职机构:
西安交通大学电子与信息工程学院
更多>>
发文基金:
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
徐东红
西安交通大学电子与信息工程学院
杜小智
西安交通大学电子与信息工程学院
候迪
西安交通大学电子与信息工程学院
沈林峰
西安交通大学电子与信息工程学院
齐勇
西安交通大学电子与信息工程学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
动态WEB服...
1篇
形式化
1篇
进程代数
1篇
PI演算
1篇
MAS
1篇
MAS系统
机构
1篇
西安交通大学
作者
1篇
齐勇
1篇
沈林峰
1篇
王功震
1篇
候迪
1篇
杜小智
1篇
徐东红
传媒
1篇
Journa...
年份
1篇
2008
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
基于MAS系统的动态web服务组合形式化建模研究(英文)
被引量:3
2008年
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
徐东红
齐勇
候迪
沈林峰
杜小智
王功震
关键词:
动态WEB服务组合
MAS
PI演算
进程代数
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张