Analysis and Transformation of Behavioral Models Containing Overlapped Patterns
By: Rainer Hauser
Graphical process model editors such as the IBM Websphere Business Modeler allow the creation of models that are structurally invalid and that would therefore not run correctly. Deadlocks are examples of such structural conflicts which cause a process to wait for something it never gets. Analysis programs, either directly built into the graphical editors or available as external tools, are needed to detect structural problems, report them and support their correction.