Analyzing Service Composition Patterns in BPEL

Author

Huang, Yu ; Li, Jieying ; Dun, Haiqiang ; Wang, Hanpin

Author_Institution

Nat. Eng. Res. Center for Software Eng., Peking Univ., Beijing, China

fYear

2009

fDate

25-26 April 2009

Firstpage

623

Lastpage

627

Abstract

Web services composition refers to the process of composing several Web services to provide a new value-added service. It is an emerging paradigm for application integration within and across organizational boundaries. BPEL is presently the most prominent language to specify and execute business processes, using Web services as its technological basis. However, BPEL is an XML-based language and may suffer from ambiguity and some erroneous properties. It is feasible to analyze BPEL with some formal methods like Petri nets, which is helpful to clarify the semantics of BPEL. In this paper we discuss some service composition patterns supported in BPEL based on SynchroNet, a special class of Petri nets.

Keywords

Petri nets; Web services; XML; business data processing; formal specification; BPEL; Petri nets; SynchroNet; Web services composition; XML-based language; business processes; formal methods; organizational boundary; service composition patterns; value-added service; Amplitude shift keying; Application software; Artificial intelligence; Context; Information analysis; Logic; Pattern analysis; Petri nets; Web services; XML; BPEL; Petri net; Synchro net; Web service composition;

fLanguage

English

Publisher

ieee

Conference_Titel

Artificial Intelligence, 2009. JCAI '09. International Joint Conference on

Conference_Location

Hainan Island

Print_ISBN

978-0-7695-3615-6

Type

conf

DOI

10.1109/JCAI.2009.210

Filename

5159081