Formalization of Workflows Using Fork-Join Automata extended abstract

Abstract

We survey the current practice of using workflows for business process modeling and we present a simple formalism for reasoning about the structural correctness of fork–join workflow diagrams containing and and or nodes. Introduction. Currently Business Process Management (BPM) is an important issue in the organization of enterprises. Various formalism and… (More)

Topics

  • Presentations referencing similar topics