一种基于事件的Web服务组合方法

被引：8

作者：

李鑫 ^{[1
]}

程渤 ^{[2
]}

杨国纬 ^{[1
]}

刘启和 ^{[1
]}

机构：

[1] 电子科技大学计算机科学与工程学院

[2] 北京邮电大学网络与交换技术国家重点实验室

来源：

软件学报 | 2009年 / 20卷 / 12期

基金：

中国博士后科学基金;

关键词：

简单服务事件语言; answer set编程; 组合方案; 组合轨迹; 前序服务集; 互斥约束;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

为获得一种既易于实现又能满足用户多样化需求的服务组合的有效途径,提出一种基于事件的服务组合方法.首先定义了一种基于ECA(event-condition-action)规则的语言——简单服务事件语言.在这种语言基础上,通过模块化方法构造的用于描述组合服务的组合方案,不但解决了采用AI规划(artificial intelligent planning)时服务组合域表示困难的问题,而且解决了采用UML(unified modeling language)等技术时描述能力不足的问题.随后,为有效地表示组合方案,完成了它的语义定义以及answer set程序编码工作.最后利用answer set编程(answer set programming)技术实现了对组合轨迹的表示.

引用

页码：3101 / 3116

页数：16

共 10 条

[1] 基于回溯树的Web服务自动组合 [J].

邓水光 ;

吴健 ;

李莹 ;

吴朝晖 .

软件学报, 2007, (08) :1896-1910

[2] Web服务组合的有色网模型及运算性质 [J].

郭玉彬 ;

杜玉越 ;

奚建清 .

计算机学报, 2006, (07) :1067-1075

[3] 一种面向业务用户的大粒度服务组合方法 [J].

胡海涛 ;

李刚 ;

韩燕波 .

计算机学报, 2005, (04) :694-703

[4] Domain-dependent knowledge in answer set planning [J].

Son, Tran Cao ;

Baral, Chitta ;

Tran, Nam ;

McIlraith, Sheila .

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (04) :613-657

[5] The DLV system for knowledge representation and reasoning [J].

Leone, Nicola ;

Pfeifer, Gerald ;

Faber, Wolfgang ;

Eiter, Thomas ;

Gottlob, Georg ;

Perri, Simona ;

Scarcello, Francesco .

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2006, 7 (03) :499-562

[6]

HTN planning for Web Service composition using SHOP2[J] . Evren Sirin,Bijan Parsia,Dan Wu,James Hendler,Dana Nau.Web Semantics: Science, Services and Agents on the World Wide Web . 2004 (4)

[7]

Extending and implementing the stable model semantics[J] . Artificial Intelligence . 2002 (1)

[8]

Logic programming and knowledge representation—The A-Prolog perspective[J] . Michael Gelfond,Nicola Leone.Artificial Intelligence . 2002 (1)

[9] Disjunctive datalog [J].

Eiter, T ;

Gottlob, G ;

Mannila, H .

ACM TRANSACTIONS ON DATABASE SYSTEMS, 1997, 22 (03) :364-418

[10]

Towards a context-based multi-type policy approachfor Web services composition. Maamar Z,Benslimane D,Thiran P,et al. Da-ta＆Knowledge Engineering . 2007

← 1 →