Modeling Business Processes

Illustrates the usage of Abstract State Machines (ASMs) in the area of business process modeling (BPM). A commercially used web service modeling pattern (Virtual Provider) is defined. A BPM-specific class of ASM net diagrams is introduced and shown to support IBM’s Guard-State-Milestone approach and the central communication concept of the Subject-Oriented BPM method. The focus is on showing how ASM refinements offer a seamless integratation of data-oriented (textual) and control-flow oriented (graphical) modeling means.