The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Business Modeler that make it easy for users to apply common best practices when modeling business processes. As a result, users create and edit higher-quality process models and they benefit from the automation of tedious editing tasks resulting in productivity gains and a more enjoyable user experience. This demo targets participants with interest on faster process modeling approaches leading to higher-quality process models.
Many tools exist that allow users to model business processes. Traditionally, these tools use a drawing approach where users drag and drop modeling elements on the canvas and connect them by control and data flow. The loose connection between the drawing operations and the actual process modeling leads to the following problems: Manual operations slow down the modeling process and switch the user’s attention from the modeling problem to a drawing exercise. Users often lose track of the control-flow that they design when connecting single modeling elements and adding gateways to their process model. As a result, many traditionally created process models contain modeling errors and, for example, cannot be correctly simulated.
We demonstrate the IBM Pattern-based Process Model Accelerators1 for IBM
WebSphere Business Modeler that allow users to compose business process models from
patterns and to apply semantically correct change operations to the entire model or
selected parts. Although the business process patterns are well-known from the literature,
e.g., as workflow patterns [
Patterns, Transformations, and Refactoring operations
The accelerators are based on the pattern-based process editing techniques described
in [
For easy access to the accelerators, we have designed a palette as shown in Figure 1 that provides an icon for each available pattern, transformation, and refactoring operation. An accelerator is applied by optionally selecting some model elements and then clicking on one of the icons in the palette.
Sequence, Alternative Compound, Parallel Compound, Loop Insert Task Insert Process Duplicate Element Merge Elements Replace Global Process Remove Region Close Branches Merge Stop Nodes Join Stop Nodes Activity to the Gateway Form Automatically Order Branches Alternative Branch
Parallel Branch
Reorder Sequence Convert to Alternative Compound
Convert to Sequence Extract Subprocess Inline Subprocess
Associate Data Autolink Elements
Toggle Gateways
Patterns describe frequently used modeling solutions for recurring process scenarios and allow users to model processes by composing basic process fragments. To instantiate a pattern, a wizard is available that contains a picture and description of the pattern as well as fields to enter parameters such as the names of gateways and activities and their data inputs or outputs, see Figure 2. In addition, the Alternative and Parallel Branch patterns allow users to correctly create models with unstructured, i.e., non-block structured control-flow.
Transformations allow users to easily apply a complex change to a process model. A transformation can be understood as a macro-editing operation that combines a sequence of several editing steps that add, delete, or modify elements in the process model. For example, the Autolink Elements transformation adds control-flow connections to elements that are already placed on the canvas following a recommended graphical layout.
Refactoring operations allow users to restructure an existing process model without
changing its external behavior and have been inspired by known software refactoring
practices, see for example [
Composing process models using patterns guarantees that process models are free of
control-flow errors. However, many traditionally created models contain control-flow
errors. As it is likely that users may interleave pattern application with manual
editing steps, it is necessary to make it easier to detect and locate control-flow errors.
Therefore, the accelerators contain a control-flow analysis component that embeds a
soundness checker into a business-user-oriented interface. The checker implements the
classical notion of soundness to characterize the correctness of a process model [
The user triggers the analysis for a process or a process catalog. The analysis results are displayed in form of a message indicating the error type, the erroneous process fragment, and, if possible, the cause of the error by some identified model element(s). By clicking on a message, the error is visualized in the process model by highlighting the edges of the process fragment in which the error was localized and marking the identified model element(s), see Figure 3. One run of the analysis can detect several independent control-flow errors within one process model—up to one error per fragment. Error: Fragment between Work Permit Holder? and Join contains a deadlock caused by (Work Permit Holder?) and detected on (Join)
Once an error has been identified, transformations can be used to correct the error. By linking some of the transformations to the PST, the behavior of these transformations can be controlled. For example, the Toggle Gateway transformation toggles AND and XOR gateway’s logic based on the PST. In an unsound fragment, only a selected gateway will be toggled, whereas in a sound fragment, all gateways will be toggled that are necessary to preserve the fragment’s soundness. 4
In this demo, we present the IBM Pattern-based Process Model Accelerators that add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to the IBM WebSphere Business Modeler tool. By using the accelerators, users move away from traditional process drawing to an approach in which they apply common best practices. Complex process models can be created much faster and are free of control-flow errors. The benefits of an improved process model quality are manifold when simulating processes, translating them into execution language, or executing them directly by a workflow engine.