位置：成果数据库 > 期刊 > 期刊详情页
一种基于并发的BPEL控制流模型的分析及验证
  • ISSN号：1000-1239
  • 期刊名称：《计算机研究与发展》
  • 时间：0
  • 分类：TP3[自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]东南大学计算机科学与工程学院
  • 相关基金：国家“八六三”高技术研究发展计划基金项目(2008AA01Z113);国家自然科学基金项目(60773105,60973149)
作者： 张功源[1], 李必信[1], 邱栋[1], 吉顺慧[1]
关键词： WEB服务, 服务组合, 验证, 并发, Web service, service composition, verification, concurrent
中文摘要：

为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.

英文摘要：

为了更好地对组合服务的控制流进行分析及验证,提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.

同期刊论文项目
Web服务组合建模和验证技术研究
期刊论文 26 会议论文 33 专利 16 著作 1
软件演化和维护过程中若干关键技术研究
期刊论文 29 会议论文 23 专利 2 著作 2
同项目期刊论文
基于UML的Web组合服务建模与验证
基于LoCMD的软件修改分析技术
全路径剖析方法
Combining Concept Lattice with Call Graph for Impact Analysis
Web服务可靠性的阶段模型
基于顺序图的Web组合服务属性验证
基于优化逆问题的Web服务选择
Generating Test Cases of Composite Services Based on OWL-S and EH-CPNs
Novel Technique for Cost Reduction in Mutation Testing
A Survey of Code-based Change Impact Analysis Techniques
WS-CDL测试路径的生成与排序
基于微分动态逻辑的CPS建模与属性验证
BPEL 组合服务可信性评估方法研究*
Automatic Test Case Selection for Regression Testing of Composite Service Based on Extensible BPEL F
Profiling All Paths: A New Profiling Technique for Both Cyclic and Acyclic Paths
Combining Control Structure and Composition Condition for Web Services Reliability Prediction
一种基于层次切片谱的软件错误定位技术
基于WSDG的Web服务组合可靠性预测
基于变异思想测试OWL-S工作流
过程间循环路径剖析方法
一种用于降低变异测试代价的新技术
基于模型的构件软件修改影响分析
Extended hierarchical color petri net-based test case generation for composite services
面向用户的Web服务可靠性计算模型
基于顺序图的Web组合服务属性验证
基于优化逆问题的Web服务选择
Timed Property Sequence Chart
时间属性序列图：语法和语义研究
基于切片度量的重构对象识别
Monitoring requirements-based method for runtime monitoring of Web services
一种基于层次切片的软件错误定位方法
HSM-based Change Impact Analysis of Object-Oriented Java Programs
一种面向服务组合的回归测试技术
一种基于监控需求的Web服务运行时监控方法
基于扩展的层次有色petri网的组合服务测试用例生成
软件体系结构测试技术的现状与思考
属性序列图: 形式语法和语义
属性序列图:形式语法和语义
基于变异思想测试OWL-S工作流
一种用于降低变异测试代价的新技术
基于模型的构件软件修改影响分析
基于ARM和VxWorks的PC104总线模块检测系统
基于FPGA的ARM9与PC／104总线接口的设计
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编：徐志伟
  • 地址：北京市科学院南路6号中科院计算所
  • 邮编：100190
  • 邮箱：crad@ict.ac.cn
  • 电话：010-62620696 62600350
  • 国际标准刊号：ISSN：1000-1239
  • 国内统一刊号：ISSN：11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊，2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:40349