Web Service Composition Automation based on Timed Automata

被引：0

作者：

Hu Jingjing ^{[1
]}

Zhu Wei ^{[1
]}

Zhao Xing ^{[2
]}

Zhu Dongfeng ^{[3
]}

机构：

[1] Beijing Inst Technol, Sch Software, Beijing 100081, Peoples R China

[2] Capital Normal Univ, Sch Math, Beijing 100037, Peoples R China

[3] Beijing Inst Technol, Sch Comp Sci & Technol, Beijing 100081, Peoples R China

来源：

APPLIED MATHEMATICS & INFORMATION SCIENCES | 2014年 / 8卷 / 04期

基金：

美国国家科学基金会;

关键词：

Web service composition; Timed automata; Automation; VERIFICATION;

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

Web service composition is a new direction in the research of service computing. To promote the portfolio, the key problem is to achieve efficient and automatic composition process. We propose the web service composition model based on timed automata. In the computing framework, we design the formal model and its construction algorithm; provide a web service interface description language and composition automation engine. In order to validate its performance, using UPPAAL as the service composition simulator, realized the automation process from independent web services into composite ones. The experimental results verify the feasibility of automatic service composition and the effectiveness of the proposed configuration.

引用

页码：2017 / 2024

页数：8

共 15 条

[1] Testing Real-Time Embedded Systems using Timed Automata based approaches [J].

AbouTrab, M. Saeed ;

Brockway, Michael ;

Counsell, Steve ;

Hierons, Robert M. .

JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (05) :1209-1223

[2] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

[3] Timed automata: Semantics, algorithms and tools [J].

Bengtsson, J ;

Yi, W .

LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 :87-124

[4] Service-oriented computing [J].

Bichler, M ;

Lin, KJ .

COMPUTER, 2006, 39 (03) :99-101

[5]

Brown D., 2012, LEX YACE OREILLY

[6]

DONG H, 2012, CONCURRENCY COMPUTAT

[7] Model-driven approach supporting formal verification for web service composition protocols [J].

Dumez, C. ;

Bakhouya, M. ;

Gaber, J. ;

Wack, M. ;

Lorenz, P. .

JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2013, 36 (04) :1102-1115

[8] Validation and verification of Web services choreographies by using timed automata [J].

Emilia Cambronero, M. ;

Diaz, Gregorio ;

Valero, Valentin ;

Martinez, Enrique .

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (01) :25-49

[9]

Fares E, 2011, LECT NOTES BUS INF P, V81, P261

[10] Model-checking timed automata with deadlines with Uppaal [J].

Gomez, Rodolfo .

FORMAL ASPECTS OF COMPUTING, 2013, 25 (02) :289-318

← 1 2 →