论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 大学学报期刊 \
- 桂林电子科技大学学报期刊 \
基于ZING的Web服务建模与验证
基于ZING的Web服务建模与验证
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS(Web服务的业务流程执行语言)结构模型的输入输出标记迁移系统(I/OLTS)作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然后再转化为软件模型检测工具ZING的输入语言的转化算法,并应用ZING对Web服务的正确性进行验证.通过该建模和转换算法,可有效提高Web服务流程验证的自动化程度,简化转化过程中复杂繁琐的人工编码操作.
推荐文章
语义标记Petri网的组合Web服务建模与验证
Petri网
Web服务
语义匹配
Web服务图中基于知识地图的服务关系建模与应用
Web服务图
服务发现
知识地图
XTM
航空订票业务的Web服务建模及组合兼容性验证
Pi演算
Web服务组合
组合兼容性
Web服务的形式化验证
模型检测
时态知识逻辑
多智能体系统
Web服务
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 基于ZING的Web服务建模与验证 | ||
| 来源期刊 | 桂林电子科技大学学报 | 学科 | 工学 |
| 关键词 | Web服务 BPEL4WS I/OLTS 软件模型检测 | ||
| 年，卷（期） | 2011,（3） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 202-207 | |
| 页数 | 分类号 | TP393.09 | |
| 字数 | 3008字 | 语种 | 中文 |
| DOI | 10.3969/j.issn.1673-808X.2011.03.008 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (1)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2000(1)
- 参考文献（1）
- 二级参考文献（0）
2011(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
Web服务
BPEL4WS
I/OLTS
软件模型检测
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
桂林电子科技大学学报
主办单位：
桂林电子科技大学
出版周期：
双月刊
ISSN：
1673-808X
CN：
45-1351/TN
开本：
大16开
出版地：
广西桂林市金鸡路1号
邮发代号：
创刊时间：
1981
语种：
chi
出版文献量（篇）
2598
总下载数（次）
1
总被引数（次）
11679
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
桂林电子科技大学学报2022
桂林电子科技大学学报2021
桂林电子科技大学学报2020
桂林电子科技大学学报2019
桂林电子科技大学学报2018
桂林电子科技大学学报2017
桂林电子科技大学学报2016
桂林电子科技大学学报2015
桂林电子科技大学学报2014
桂林电子科技大学学报2013
桂林电子科技大学学报2012
桂林电子科技大学学报2011
桂林电子科技大学学报2010
桂林电子科技大学学报2009
桂林电子科技大学学报2008
桂林电子科技大学学报2007
桂林电子科技大学学报2006
桂林电子科技大学学报2005
桂林电子科技大学学报2004
桂林电子科技大学学报2003
桂林电子科技大学学报2002
桂林电子科技大学学报2001
桂林电子科技大学学报2000
桂林电子科技大学学报1999
桂林电子科技大学学报2011年第6期
桂林电子科技大学学报2011年第5期
桂林电子科技大学学报2011年第4期
桂林电子科技大学学报2011年第3期
桂林电子科技大学学报2011年第2期
桂林电子科技大学学报2011年第1期
