位置：成果数据库 > 期刊 > 期刊详情页
Web服务组合的有色网模型及运算性质
  • ISSN号：0254-4164
  • 期刊名称：《计算机学报》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]华南理工大学计算机科学与工程学院,广州510640, [2]山东科技大学信息科学与工程学院,青岛266510
  • 相关基金：本课题得到山东省“泰山学者”建设工程专项经费、国家自然科学基金（60573018,60125205,90412013,60473094）、国家“九七三”重点基础研究发展规划项目基金（2003CB316902,2004CB318001-03）、山东省自然科学基金（2004ZX17）、广东省科技攻关计划项目基金（G0382040770）和广东省自然科学基金（B6480598）资助.Background Web services propose a service-oriented paradigm for computing in which loosely coupled services can be combined into business processes collaboratively. But it is a challenge to integrate them to create new value-added Web services in transparent ways. Therefore, technologies for Web service composition are hot to researchers and business users. The project is aiming at developing more efficient methods for modeling and verifying Web service composition. Authors propose a CP-net model for Web service composition. Some algebra and dynamic properties of the model are analyzed. And algorithms to construct and execute a composite service are delivered also. The results would be helpful to researchers who interest in Web service composition.
作者： 郭玉彬[1], 杜玉越[2], 奚建清[1]
关键词： WEB服务, 服务组合, 运算性质, CP-net, Web service, service composition , operation property, CP-net
中文摘要：

定义了一种基于有色Petri网的Web服务组合模型，这一模型能清晰表达服务组合中各组成部分之间的逻辑关系，并可模拟组合服务的执行，分析其动态性质．给出了服务、服务组合运算的定义及性质、服务组合的建立与执行算法．

英文摘要：

A CP-net Model for Web service composition is proposed. To each service, a CP-net model is constructed to describe the logical relation of components graphically. Furthermore dynamic behaviors of services can be simulated, analyzed by executing of the CP-net model. Operators to construct new complex services from known ones as blocks are defined formally. Some algebra and dynamic properties of this model are studied and proved. Algorithms to construct and execute a composite service are delivered also.

同期刊论文项目
基于Petri网的电子商务系统形式化分析与验证技术研究
期刊论文 14 会议论文 4 获奖 1
网格程序层次模型及其理论
期刊论文 42 会议论文 10
网格资源管理与主动服务的“超市“模型、机理与方法研究
期刊论文 47 会议论文 9 著作 2
计算机系统模拟与建模
期刊论文 11
同项目期刊论文
Improved support vector regres
精炼工作流网的行为保持性质
一种基于网格的电子商务模式
解决位置管理问题的混沌混合差分进化算法
基于逻辑Petri网的物流配送系统建模
解决移动计算位置管理问题的差分进化算法
解决移动计算位置管理的离散差分进化算法
Study on Support Vector Machine Based on 1-Norm
主从任务调度的T-时间Petri网
网格体系的Petri网模拟与分析
投入产出系统Petri网模型
基于网语言的Ada程序局部性质的分析和验证
Petri网语言的Pumping引理
医疗信息系统工作流的Petri网建模与化简分析
基于稳定分支的变权网络最优路径算法
面向移动导航设备的数字地图分级组织与预取策略
基于UML实时状态图的定量分析
一种面向移动导航设备的电子地图空间索引结构
一种双匹配动态调度算法
Parallel Implementing of Road
Research on Road Topology Base
基于家态的多事务工作流完整性分析
基于Petri网共享合成的网格计算
Petri 网语言的Pumping引理
基于家态的多事务工作流完整性分
基于广义随机Petri网的交通信息
共享合成Petri网的性质分析
一种适于异构环境的任务调度算法
基于Petri网与GA算法的FMS调度优
主从任务调度的T-时间Petri网
异构环境下基于任务交互图的调度
异构环境下基于松弛标记法的任务
Resource Scheduling Scheme for
工作流模型验证及分解的多项式算法分析
A Mobile Navigation Service Pl
网格体系的Petri网模拟与分析
动态网络最短路问题的复杂性与近似算法
Petri网语言的Pumping引理
一种基于分块推理的语义Web服务合成方法
基于模糊Petri网的服务发现框架研究
基于稳定分支的变权网络最优路径算法
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid
异构环境下基于任务交互图的调度算法
异构环境下基干松弛标记法的任务调度
一种面向移动导航设备的电子地图空间索引结构
新型钴基非晶态合金屏蔽材料的磁性研究
基于Petri网共享合成的网格计算资源调度方案
网格计算资源调度方案及其Petri网建模与分析
数据仓库中用于视图选择的增强遗传算法
A virtual machine-based invasion detection system for the virtual computing environment
一种可调节动态任务调度算法
The Language Study for Workflo
Web服务组合的有色网模型及运算
无回路规则系统的Petri网验证方
各类Petri网语言间的关系
网格体系的Petri网模拟与分析
动态网络最短路问题的复杂性与近
基于Petri网的语义Web服务自动组
Modeling and Analysis of Real-
A heuristic algorithm for task
基于模糊Petri网的服务发现框架
一种面向移动导航设备的电子地图
基于插桩技术的并行程序性能分析
审计缓冲区的形式化模型及其验证
Modeling and Verification Web
Towards a formal model for gri
基于精炼操作的Petri网建模及其
On the Design and Temporal Pet
VGITS: ITS based on Intervehic
Geographic routing with Road t
基于P/T网结构的规则系统验证方
基于稳定分支的变权网络最优路径
Refinement of Petri Nets in Wo
面向服务的企业应用集成系统描述
Preserving Languages and Prope
A Petri Nets Based Correctness
无回路规则系统的Petri网验证方法
动态网络最短路问题的复杂性与近似算法
Petri网语言的Pumping引理
基于模糊Petri网的服务发现框架研究
基于稳定分支的变权网络最优路径算法
基于Petri网的语义Web服务自动组合方法
面向服务的企业应用集成系统描述与验证
A Heuristic Algorithm for Task Scheduling Based on Mean Load on Grid
基于遗传算法的本体概念分类规则学习算法
一种面向移动导航设备的电子地图空间索引结构
基于Petri网共享合成的网格计算资源调度方案
基于代价时间Petri网的合同网模型研究
基于插桩技术的并行程序性能分析方法设计和实现
网格计算资源调度方案及其Petri网建模与分析
基于P/T网结构的规则系统验证方法
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433