Specification of e-business process model for PayPal online payment process using Reo

E-business process modeling allows business analysts to better understand and analyze the business processes, and eventually to use software systems to automate (parts of) these business processes to achieve higher profit. To support e-business process modeling, many business process modeling languages have been used as tools. However, many existing business process modeling languages lack (a) formal semantics, (b) formal computational model, and (c) an integrated view of the business process being modeled. In this paper, we assess the effectiveness of the Reo coordination language as a business process modeling language. We present a specification of PayPal online payment business process model using Reo and evaluate Reo according to the criteria of e-business process modeling with respect to (a) language expressiveness, (b) visual notation and language semantics, (c) analysis and reasoning, (d) simulation and execution