Business Process Execution Language: Difference between revisions

Revision as of 07:51, 15 September 2019

Latest revision as of 06:40, 11 February 2025

(15 intermediate revisions by 13 users not shown)

Line 1:

{{Short description|Computer executable language}}

{{Use dmy dates|date=JuneJanuary 20132020}}

{{multiple issues|

{{cleanup|reason=reihbase on refs, other issues tagged|date=July 2016}}

{{primary sources|date=October 2012}}

}}

{{Infobox technology standard

The '''Web Services Business Process Execution Language''' ('''WS-BPEL'''), commonly known as '''BPEL''' ('''Business Process Execution Language'''), is an [[OASIS (organization)|OASIS]]<ref>OASIS Standard WS-BPEL 2.0</ref> standard executable language for specifying actions within [[business process]]es with [[web service]]s. Processes in BPEL export and import information by using web service interfaces exclusively.

| title = WS-BPEL

| long_name = Web Services Business Process Execution Language

| image =

| caption =

| status = Published

| year_started = {{Start date|2001}}

| first_published = {{Start date and age|2003|04|df=y}}

| version = [http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf 2.0]

| version_date = {{Start date and age|2007|04|11|df=y}}

| organization = [[OASIS (organization)|OASIS]]

| committee = OASIS Web Services Business Process Execution Language (WSBPEL) TC

| editors =

| authors =

| base_standards = [[XML]]

| related_standards =

| abbreviation = WS-BPEL or BPEL

| ___domain = Web service integration

| license =

| website = {{URL|http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html}}

}}

The '''Web Services Business Process Execution Language''' ('''WS-BPEL'''), commonly known as '''BPEL''' ('''Business Process Execution Language'''), is an [[OASIS (organization)|OASIS]]<ref>OASIS Standard WS-BPEL 2.0</ref> standard executable language for specifying actions within [[business process]]es with [[web service]]s. Processes in BPEL export and import information by using web service interfaces exclusively.

==Overview==

One can describe Web-web service interactions in two ways: as executable business processes and as abstract business processes.

# An ''executable business process'': models an actual behavior of a participant in a business interaction.

# An ''abstract business process'': is a partially specified process that is not intended to be executed. Contrary to Executable Processes, an Abstract Process may hide some of the required concrete operational details. Abstract Processes serve a descriptive role, with more than one possible [[use case]], including observable behavior and/or process [[template (file format)|template]].

WS-BPEL aims to model the behavior of processes,<ref>[http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws-bpel/ws-bpel.pdf Business Process Execution Language for Web Services, Version 1.1] ([[PDF]]){{Webarchive|url=https://web.archive.org/web/20201203201926/http://download.boulder.ibm.com/ibmdl/pub/software/dw/specs/ws-bpel/ws-bpel.pdf |date=3 December 2020 }} (5 May 2003)</ref> via a language for the specification of both Executable and Abstract Business Processes. By doing so, it extends the Web Services interaction model and enables it to support business transactions. It also defines an interoperable integration model that should facilitate the expansion of automated process integration both within and between businesses. Its development came out of the notion<ref>{{Cite web|url = https://www.oasis-open.org/news/pr/oasis-members-form-web-services-business-process-execution-language-wsbpel-technical-committ|title = OASIS Members Form Web Services Business Process Execution Language (WSBPEL) Technical Committee|date = 29 April 2003|accessdate = |website = |publisher = OASIS WSBPEL Technical Committee|last = |first = }}</ref> that ''[[programming in the large]]'' and ''[[Programming_in_the_large_and_programming_in_the_smallProgramming in the large and programming in the small#Programming_in_the_smallProgramming in the small|programming in the small]]'' required different types of languages.

As such, it is serialized in [[Extensible Markup Language|XML]] and aims to enable programming in the large.

==Programming in the large/small==

The concepts of ''programming in the large'' and ''programming in the small'' distinguish between two aspects of writing the type of long-running asynchronous processes that one typically sees in business processes:

# ''Programming in the large'' generally refers to the high-level [[state transition system|state transition]] interactions of a process. BPEL refers to this concept as an Abstract Process. A BPEL Abstract Process represents a set of publicly observable behaviors in a standardized fashion. An Abstract Process includes information such as when to wait for [[message (computer science)|message]]s, when to send messages, when to compensate for failed transactions, etc.

# ''Programming in the small'', in contrast, deals with short-lived programmatic behavior, often executed as a single transaction and involving access to local logic and resources such as [[computer file|file]]s, [[database]]s, et cetera.

Line 25 ⟶ 47:

The origins of WS-BPEL go back to [[Web Services Flow Language]] (WSFL) and [[Xlang]].

In 2001, [[IBM]] and [[Microsoft]] had each defined their own fairly similar, "[[programming in the large]]" languages: '''WSFL'''<ref>{{cite web|url=http://xml.coverpages.org/wsfl.html |title=Cover Pages: Web Services Flow Language (WSFL) |publisher=xml.coverpages.org/ |date=June 6, June 2001 |accessdateaccess-date=9 October 2014-10-09}}</ref> (''Web Services Flow Language'') and '''Xlang''',<ref>{{cite web|url=http://xml.coverpages.org/XLANG-C-200106.html |title=XLANG |publisher=xml.coverpages.org/ |date=2001 |accessdateaccess-date=9 October 2014-10-09}}</ref> respectively. Microsoft even went ahead and created a scripting variant called ''XLANG/s'' which would later serve as the basis for their Orchestrations services inside their BizTalk Server. They specifically documented that this language "is proprietary and is not fully documented."<ref>{{cite web|url=http://msdn.microsoft.com/en-us/library/aa577463.aspx |title=XLANG/s Language |publisher=Microsoft |access-date=9 October 2014}}</ref>

<ref>{{cite web|url=http://msdn.microsoft.com/en-us/library/aa577463.aspx |title=XLANG/s Language |publisher=Microsoft |date= |accessdate=2014-10-09}}</ref>

With the advent and popularity of [[Business Process Modeling Language|BPML]], and the growing success of ''BPMI.org'' and the open BPMS movement led by [[JBoss]] and Intalio Inc., IBM and Microsoft decided to combine these languages into a new language, BPEL4WS. In April 2003, [[BEA Systems]], IBM, Microsoft, [[SAP AG|SAP]], and [[Siebel Systems]] submitted BPEL4WS 1.1 to OASIS for standardization via the Web Services BPEL Technical Committee.<ref>[http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsbpel Web Services BPEL Technical Committee].</ref> Although [[BPEL4WS]] appeared as both a 1.0 and 1.1 version, the OASIS WS-BPEL technical committee voted<ref>{{cite web |url=http://www.choreology.com/external/WS_BPEL_issues_list.html#Issue98 |title=choreology.com |publisher=choreology.com |accessdate=2013-04access-date=17 April 2013 |archive-url=https://web.archive.org/web/20120227033448/http://www.choreology.com/external/WS_BPEL_issues_list.html#Issue98 |archive-date=27 February 2012 |url-status=dead }}</ref> on 14 September 2004 to name their spec "[[WS-BPEL]] 2.0". (This change in name aligned BPEL with other Webweb Serviceservice standard naming conventions which start with "WS-" (similar to WS-Security) and took account of the significant enhancements made between BPEL4WS 1.1 and WS-BPEL 2.0.) If not discussing a specific version, the moniker '''BPEL''' is commonly used{{Citation needed|date=June 2008}}.

In June 2007, Active Endpoints, [[Adobe Systems]], BEA, IBM, Oracle, and SAP published the [[BPEL4People]] and WS-HumanTask specifications, which describe how human interaction in BPEL processes can be implemented.{{Citation needed|date=June 2008}}

==Topics==

Line 36 ⟶ 57:

===Design goals===

There were ten original design goals associated with BPEL:

# Define business processes that interact with external entities through web service operations defined using [[Web Services Description Language|WSDL]] (WSDL) 1.1, and that manifest themselves as Web services defined using WSDL 1.1. The interactions are “abstract”"abstract" in the sense that the dependence is on portType definitions, not on port definitions.

# Define business processes using an XML-based language. Do not define a graphical representation of processes or provide any particular design methodology for processes.<ref>{{Cite journal |last=Chinosi |first=Michele |date=2009-01-01 |title=Representing business processes: conceptual model and design methodology. |url=https://www.academia.edu/597115}}</ref>

# Define a set of Web service orchestration concepts that are meant to be used by both the external (abstract) and internal (executable) views of a business process. Such a business process defines the behavior of a single autonomous entity, typically operating in interaction with other similar peer entities. It is recognized that each usage pattern (i.e., abstract view and executable view) will require a few specialized extensions, but these extensions are to be kept to a minimum and tested against requirements such as import/export and conformance checking that link the two usage patterns.

# Provide both hierarchical and graph-like control regimes, and allow their use to be blended as seamlessly as possible. This should reduce the fragmentation of the process modeling space.

# Provide data manipulation functions for the simple manipulation of data needed to define process data and control flow.

# Support an identification mechanism for process instances that allows the definition of instance identifiers at the application message level. Instance identifiers should be defined by partners and may change.

# Support the implicit creation and termination of process instances as the basic lifecycle mechanism. Advanced lifecycle operations such as "suspend" and "resume" may be added in future releases for enhanced lifecycle management.

# Define a long-running transaction model that is based on proven techniques like compensation actions and scoping to support failure recovery for parts of long-running business processes.

# Use Web Services as the model for process decomposition and assembly.

Line 48 ⟶ 69:

===The BPEL language===

BPEL is an [[Orchestration (computerscomputing)|orchestration]] language, and not a [[Web Service Choreography|choreography]] language. The primary difference between orchestration and choreography is executability and control. An orchestration specifies an executable process that involves message exchanges with other systems, such that the message exchange sequences are controlled by the orchestration designer. A choreography specifies a protocol for peer-to-peer interactions, defining, e.g., the legal sequences of messages exchanged with the purpose of guaranteeing interoperability. Such a protocol is not directly executable, as it allows many different realizations (processes that comply with it). A choreography can be realized by writing an orchestration (e.g., in the form of a BPEL process) for each peer involved in it. The orchestration and the choreography distinctions are based on analogies: orchestration refers to the central control (by the conductor) of the behavior of a distributed system (the orchestra consisting of many players), while choreography refers to a distributed system (the dancing team) which operates according to rules (the choreography) but without centralized control.

BPEL's focus on modern business processes, plus the histories of WSFL and XLANG, led BPEL to adopt web services as its external communication mechanism. Thus BPEL's messaging facilities depend on the use of the Web Services Description Language (WSDL) 1.1 to describe outgoing and incoming messages.

In addition to providing facilities to enable sending and receiving messages, the BPEL programming language also supports:

Line 61 ⟶ 82:

===Relationship of BPEL to BPMN===

There is no standard graphical notation for WS-BPEL, as the OASIS technical committee decided this was out of scope. Some vendors have invented their own notations. These notations take advantage of the fact that most constructs in BPEL are block-structured (e.g., sequence, while, pick, scope, etcetera.) This feature enables a direct visual representation of BPEL process descriptions in the form of ''structograms'', in a style reminiscent of a [[Nassi–Shneiderman diagram]].

Others have proposed to use a substantially different business process modeling language, namely [[Business Process Model and Notation]] (BPMN), as a graphical front-end to capture BPEL process descriptions. As an illustration of the feasibility of this approach, the BPMN specification includes an informal and partial mapping<ref>{{cite web|url=http://www.omg.org/bpmn/Documents/Mapping_BPMN_to_BPEL_Example.pdf |title=Archived copy |accessdate=2013-04access-date=17 April 2013 |url-status=dead |archiveurlarchive-url=https://web.archive.org/web/20120915055453/http://www.omg.org/bpmn/Documents/Mapping_BPMN_to_BPEL_Example.pdf |archivedatearchive-date=15 September 2012 |df=dmy }}</ref> from BPMN to BPEL 1.1. A more detailed mapping of BPMN to BPEL has been implemented in a number of tools, including an open-source tool known as BPMN2BPEL.<ref>[https://code.google.com/p/bpmn2bpel/ BPMN2BPEL].</ref> However, the development of these tools has exposed fundamental differences between BPMN and BPEL, which make it very difficult, and in some cases impossible, to generate [[human-readable]] BPEL code from BPMN models. Even more difficult is the problem of BPMN-to-BPEL [[round-trip engineering]]: generating BPEL code from BPMN diagrams and maintaining the original BPMN model and the generated BPEL code synchronized, in the sense that any modification to one is propagated to the other.{{Citation needed|date=July 2013}}

===Adding 'programming in the small' support to BPEL===

BPEL's control structures such as 'if-then-elseif-else' and 'while' as well as its variable manipulation facilities depend on the use of 'programming in the small' languages to provide logic. All BPEL implementations must support XPath 1.0 as a default language. But the design of BPEL envisages extensibility so that systems builders can use other languages as well. BPELJ<ref>[http://ftpna2.bea.com/pub/downloads/ws-bpelj.pdf BPELJ] {{webarchive |url=https://web.archive.org/web/20050516010854/http://ftpna2.bea.com/pub/downloads/ws-bpelj.pdf |date=16 May 2005 }}</ref> is an effort related to JSR 207<ref>[http://www.jcp.org/en/jsr/detail?id=207 JSR 207]</ref> that may enable Java to function as a 'programming in the small' language within BPEL.

===BPEL4People===

Line 88 ⟶ 109:

The ''WS-HumanTask'' specification introduces the definition of human tasks and notifications, including their properties, behavior and a set of operations used to manipulate human tasks. A coordination protocol is introduced in order to control autonomy and life cycle of service-enabled human tasks in an interoperable manner.

The ''BPEL4People'' specification introduces a WS-BPEL extension to address human interactions in WS-BPEL as a [[first-class citizen]]. It defines a new type of basic activity which uses human tasks as an implementation, and allows specifying tasks local to a process or use tasks defined outside of the process definition. This extension is based on the WS-HumanTask specification.

===WS-BPEL 2.0===

Version 2.0 introduced some changes and new features:

* New activity types: {{tt|repeatUntil, validate, forEach}} (parallel and sequential), {{tt|rethrow, extensionActivity, compensateScope}}

* Renamed activities: {{tt|switch/case}} renamed to {{tt|if/else}}, {{tt|terminate}} renamed to {{tt|exit}}

* Termination Handler added to scope activities to provide explicit behavior for termination

* Variable initialization

* [[XSLT]] for variable transformations (New XPath extension function {{code|bpws:doXslTransform}})

* [[XPath]] access to variable data (XPath variable syntax {{code|$variable[.part]/___location|xquery}})

* XML schema variables in Web service activities (for WS-I doc/lit style service interactions)

* Locally declared messageExchange (internal correlation of receive and reply activities)

Line 116 ⟶ 137:

==References==

{{RefimproveMore citations needed|date=October 2008}}

{{Reflist}}

Line 124 ⟶ 145:

{{OASIS Standards}}

{{Authority control}}

[[Category:XML-based standards]]