Model-driven Automatic Generation of Verified BPEL Code for Web Service Composition

被引：3

作者：

Li, Bixin ^{[1
]}

Zhou, Yu ^{[1
]}

Pang, Jun ^{[2
]}

机构：

[1] Southeast Univ, Sch Comp Sci & Engn, Nanjing 210096, Jiangsu Prov, Peoples R China

[2] Univ Luxembourg 6, Comp Sci & Commun, Kalergi L-1359, Luxembourg

来源：

APSEC 09: SIXTEENTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS | 2009年

关键词：

Model-driven; code transformation; BPEL code; verification; SPECIFICATION;

D O I：

10.1109/APSEC.2009.19

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Service composition, which provides a more effective way to combine several single services into a composite service, is a kind of software reuse techniques. However, one of the most important problems is how to perform service composition correctly and effectively so as to produce high-quality source codes for describing the resulted composite service. In this paper, we propose a model-driven method to solve this problem, where UML 2.0 sequence diagrams are extended to model the composition of web services, extended statecharts are synthesized from sequence diagrams, then the statecharts are further transferred to the input language of a model checker for behavior consistency checking, and finally verified BPEL codes can be generated from improved sequence diagrams. Case studies have been performed to demonstrate the whole process and illustrate the significance of our approach.

引用

页码：355 / +

页数：2

共 26 条

[1]

[Anonymous], UN MOD LANG SUP VERS

[2]

[Anonymous], 2004, DAT SYS APP

[3]

BERARDI D, 2003, INTEGRATED DESIGN PR, V7, P21

[4]

BULTAN T, 2003, P 12 INT C WORLD WID

[5]

Davulcu H., 1998, Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. PODS 1998, P25, DOI 10.1145/275487.275491

[6]

FOSTER H, 2003, P 18 IEEE INT C AUT

[7]

Foster H., 2006, Proceedings of the 28th International Conference on Software Engineering (ICSE'06), P771, DOI DOI 10.1145/1134285.1134408

[8] Conversation protocols: a formalism for specification and verification of reactive electronic services [J].

Fu, X ;

Bultan, T ;

Su, HW .

THEORETICAL COMPUTER SCIENCE, 2004, 328 (1-2) :19-37

[9]

Fu X, 2004, LECT NOTES COMPUT SC, V3114, P510

[10]

Fu X., 2004, P 13 INT C WORLD WID, P621

← 1 2 3 →