BPAL : Public Web Home

BPAL stands for Business Process Abstract Language.
It is a Business Process (BP) modelling and reasoning environment where the procedural knowledge of a BP can be enriched through ontology-based annotations. 

The BPAL Platform provides a graphical user interface to ease the definition of a Business Process Knowledge Base that collects the various facets of process knowledge. It also provides a reasoner implementing services for the enactment, verification, retrieval, and composition of processes in the knowledge base.

Presentations

• BPAL: A Platform for Managing Business Process Knowledge Bases via Logic Programming

Publications

• Fabrizio Smith, Maurizio Proietti:
  Rule-based Behavioral Reasoning on Semantic Business Processes. In Proceedings ICAART 2013, Vol. 2, pp. 130-143, SciTePress (2013).
• Fabrizio Smith, Maurizio Proietti:
  Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach. CoRR abs/1410.1776 (2014)
• Fabrizio Smith, Maurizio Proietti:
  BPAL: A tool for managing semantically enriched conceptual process models. In Proceedings of eChallenges e-2014 (2014)

Other Media

Contributors

• Fabrizio Smith
• Dario De Sanctis
• Maurizio Proietti

Download

• Download BPAL here

User's Guide