Book ChapterOPEN ACCESS

Subject-Oriented Validation of Processes and Process Models

  • Fleischmann A
  • Schmidt W
  • Stary C
  • et al.
Springer Berlin Heidelberg, (2012), 143-155
DOI: 10.1007/978-3-642-32392-8_7
N/ACitations
Citations of this article
4Readers
Mendeley users who have this article in their library.

This article is free to access.

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.

Cite

CITATION STYLE

APA

Fleischmann, A., Schmidt, W., Stary, C., Obermeier, S., & Börger, E. (2012). Subject-Oriented Validation of Processes and Process Models. In Subject-Oriented Business Process Management (pp. 143–155). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-32392-8_7

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free