2012, pp 227-240,
Open Access This content is freely available online to anyone, anywhere at any time.
Date: 24 Sep 2012

A Precise Description of the S-BPM Modeling Method


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.