Towards Executable Business Processes With the Problem Oriented Engineering Process Algebra
The paper introduces a process algebra for business process models. The algebra is located within Problem Oriented Engineering, a framework for engineering design, and is based on a process pattern defined by Hall and Rapanotti by which Problem Oriented Engineering developments should be structured. The pattern is a generator for processes being composable in three ways: in sequence, in parallel and fractally. In explicating this process algebra, a machine readable and animatable CSP is used, which forms a semantic basis for the behaviour modelling of processes. The benefits of this algebra are: simplicity, support for business process analysis and synthesis, and explicit recognition of choices (and their impact) made by agents.