Due to the importance of decision modeling in business process management, we have introduced a new Chapter 5 called Business Decision Modeling
There are several additions and corrections in Section 6.7 that introduces BPMN choreography diagrams
To study the impact of decisions on the traditional soundness criteria, a new Section 7.7 Decision Soundness is introduced
To make the presentation of properties of business processes more concise, in Chapter 7 we combined several sections to a new section Further Soundness Criteria
We also removed sections that are no longer highly relevant in business process management. This applies to flexible processes in the business process management architectures chapter; we have also removed the section on conversation diagrams in Section 6.7 on BPMN choreographies
Errata of the Second Edition of the BPM Book
In Figure 3.18, a begin event is missing in the Analyze Order activity instance
In Figure 5.43, in the Send Payment Confirmation Choreography task, the shading of the roles needs to be reversed.
In Figure 6.19, the Petri net mapping is not correct, because the explicit decision in the EPC whether or not to wait for the complaint is not reflected properly.
In Figure 6.15, the edge from [p1,p4] labelled t2 needs to point to [p3, p4], not to [p2, p3].
In Section 5.7.2, choreography tasks with two receivers are introduced. The BPMN standard only permits exactly one initiator and one respondent per choreography task.
Errata for the First Edition, all corrected in the Second Edition of the BPM Book
On page X, "Dolf Grünberg" needs to be substituted by "Dolf Grünbauer"
Page 96, Definition 3.4, line 6: "an event ordering" instead of "an event orderings"
Page 216, first paragraph: The term "completed" is used with the meaning "immediately stopped".
Page 272, last line: "t1" instead of "t2"
Page 277, in the proof of the Soundness Theorem, 4th paragraph, it should be "M' greater M", not "M' greater or equal M"
Page 136, Figure 4.14: the example could use an end event after the exclusive or split, so that the otherwise infinite loop is terminated
Page 147, Figure 4.25: Figure illustrates "sequential execution without a priori design time knowledge" pattern. It might be misleading that the BPMN semantics of the subprocess is parallel execution of B,C, and D.
Page 152, Figure 4.28. According to the text, there must not be a token on place p2.
Page 156, second paragraph: "... determined the not by only ..." should read "... determined not only by ...". Also on this page "remainder" instead of "reminder".
Page 163, Figure 4.34: Arrows in the lower part should be directed from the connector to the event nodes, for the XOR connector, the OR connector, and the AND connector.
Page 205, Figure 4.76: The CreditInfo input and output parameters of the Accept Credit activity should be "CreditInfo = [Jane, 16000]", not "CreditInfo = [Miller, 15000]"
Page 261, Figure 5.35: Auctioning Service is the Receiver participant role, not the Sender participant role as indicated.
Martens (2003c), van der Aalst and Weske (2001b), Mohan (2002b), and Workflow Management Coalition (2005b) are redundant
Title in Zaha et al. (2006a) needs to be changed to "Let's Dance: A Language for Service Behavior Modeling"