University of Leicester
The Business Process Execution Language for Web Services (BPEL4WS) is one of the most popular languages and a de facto standard for modeling business processes as Web services compositions. However, it only allows using hard-coded syntactical interfaces for partners and the process itself, i.e. semantic descriptions of services cannot be used within a process model. The lack of an ontological description of the process elements cause limitations in the ways services are used within a process.