A Platform for Managing Business Process Knowledge Bases via Logic Programming

The BPAL platform implements a BP modeling and reasoning environment wherethe procedural knowledge of a BP can be enriched through ontology-based annotations.The theoretical basis of the tool is the Business Process Abstract Language [8], a lan-guage grounded in Logic Programming (LP) for representing and reasoning on variousfacets of process knowledge: (i) the meta-model of a BP schema (BPS), which coversa core of the BPMN notation, (ii) the BPS execution semantics, specified in a special-ized version of the Fluent Calculus, a well-known LP-based action language, (iii) thebehavioral properties of process executions, expressed by means of the CTL temporallogic, and (iv) the domain specific semantics of individual activities occurring in a BP,defined via OWL annotations (falling within the OWL 2 RL fragment) along the line ofSemantic Web Services proposals.