Cover | Table of Contents | Colophon
Entia non sunt multiplicanda praeter necessitatem.(Entities ought not to be multiplied without necessity.)
The classical workflow paradigm is a river that carries the flow of work from port to port and along the way value gets added. Workflow defines the operations that must be visited along the way and what needs to be done when exceptions occur.
|
Standard
|
Body
|
Chapter
|
Description
|
|---|---|---|---|
|
Business Process Execution Language (BPEL)
|
OASIS
|
5
|
BPM's most popular language; represents a process as XML with web services bindings
|
|
Business Process Modeling Language (BPML)
|
Business Process Modeling Initiative (BPMI)
|
6
|
An XML process language similar to BPEL
|
|
Business Process Modeling Notation (BPMN)
|
BPMI
|
6
|
Graphical language with a mapping to BPEL
|
|
Workflow Reference Model
|
Workflow Management Coalition (WfMC)
|
7
|
A basic architectural approach to workflow/BPM
|
http://www.transformmag.com/showArticle.jhtml?articleID=16400140.http://www.ibm.com.|
Name
|
Organization
|
Type
|
Chapter
|
|---|---|---|---|
|
Workflow Reference Model
|
WfMC
|
Architectural model
|
Chapter 7
|
|
Business Process Modeling Notation (BPMN)
|
BPMI
|
Notation language
|
Chapter 6
|
|
UML Activity Diagram
|
http://otn.oracle.com/bpel.
Let the people that advocate BPEL4WS, BPMN, ... and WSCI show the precise relation between the language and some formal foundation. People that cannot do this but still claim strong relationships between their language and e.g., pi-calculus, only cause confusion.
http://www.doc.ic.ac.uk/~pg/Concurrency/course.html
http://www.ebpml.org/pi-calculus.htm.http://www.cs.iastate.edu/~leavens/FoCBS/henderson-node5.html
[1,10,inf,fixed] in process_witness_statements in Case (a) means that between 1 and 10 instances of that activity are required and that the number is fixed at runtime; in Case (b), [1,10,inf,var] means between 1 and 10 instance are required and that this number is variable (var).
receive activity. If the caller expects a synchronous response, use the reply activity.invoke activity. Synchronous and asynchronous variants are supported, as in the two steps labeled B in the diagram.receive or pick.