Chapter

Subject-Oriented Business Process Management

pp 227-240

Open Access This content is freely available online to anyone, anywhere at any time.

Date:

A Precise Description of the S-BPM Modeling Method

  • Albert FleischmannAffiliated with
  • , Werner SchmidtAffiliated with
  • , Christian StaryAffiliated with
  • , Stefan ObermeierAffiliated with
  • , Egon BörgerAffiliated with

Abstract

This chapter presents a precise formulation of the S-BPM constructs discussed in the preceding chapters. We express them in the form of an abstract SBD-interpreter, which yields a precise, controllable definition of the subject behavior in SBDs, the so-called semantics of SBDs. Furthermore, this definition establishes a solid scientific foundation for the S-BPM method to support a guarantee of the implementation correctness of the interpreter by the Metasonic modeling tool.