Abstract
The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) [1], is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack. In BPEL, the logic of the interactions between a given service and its environment is described as a composition of communication actions. These communication actions are interrelated by control-flow dependencies expressed through constructs close to those found in workflow definition languages. In particular, BPEL incorporates two sophisticated branching and synchronisation constructs, namely "control links" and "join conditions", which can be found in a class of workflow models known as synchronising workflows formalised in terms of Petri nets in [3].
Original language | English |
---|---|
Title of host publication | Proceedings of Service-Oriented Computing (ICSOC 2005) |
Editors | B. Benatallah, F. Casati, P. Traverso |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 484-489 |
DOIs | |
Publication status | Published - 2005 |
Event | 3rd International Conference on Service-Oriented Computing (ICSOC 2005) - Duration: 1 Jan 2005 → … Conference number: 3 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 3826 |
ISSN (Print) | 0302-9743 |
Conference
Conference | 3rd International Conference on Service-Oriented Computing (ICSOC 2005) |
---|---|
Abbreviated title | ICSOC 2005 |
Period | 1/01/05 → … |