DocumentCode :
2451006
Title :
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
Link To Document :
بازگشت