Analysis and Transformation of Behavioral Models Containing Overlapped Patterns
By: Rainer Hauser
Abstract
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.
Cite as:
Rainer Hauser, “Analysis and Transformation of Behavioral Models Containing Overlapped Patterns”, Journal of Object Technology, Volume 9, no. 3 (May 2010), pp. 105-124, doi:10.5381/jot.2010.9.3.a4.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn