文献类型：会议论文

英文题名：Analyzing Service Composition Patterns in BPEL

作者：Huang, Yu[1];Li, Jieying[2];Dun, Haiqiang[3];Wang, Hanpin[4]

第一作者：Huang, Yu

通讯作者：Huang, Y[1]

机构：[1]Peking Univ, Natl Engn Res Ctr Software Engn, Beijing 100871, Peoples R China;[2]Henan Univ Finance & Econ, Coll Informat, Zhengzhou, Peoples R China;[3]Peking Univ, Key Lab High Confidence Software Technol, Minist Educ, Beijing 100871, Peoples R China;[4]Peking Univ, Sch EECS, Beijing 100871, Peoples R China

第一机构：Peking Univ, Natl Engn Res Ctr Software Engn, Beijing 100871, Peoples R China

通讯机构：[1]corresponding author), Peking Univ, Natl Engn Res Ctr Software Engn, Beijing 100871, Peoples R China.

会议论文集：1st IITA International Joint Conference on Artificial Intelligence

会议日期：APR 25-MAY 26, 2009

会议地点：Hainan Isl, PEOPLES R CHINA

语种：英文

外文关键词：Web service composition; BPEL; Petri net; Synchro net

摘要：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.