Modeling Business Processes

  • Egon Börger
  • Alexander Raschke


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Egon Börger
    • 1
  • Alexander Raschke
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Institute of Software Engineering and Programming LanguagesUniversität UlmUlmGermany

Personalised recommendations