University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Distributed Systems Group

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Computer Science
  6. Distributed Systems Group
  7. Research
  8. Software Projects

BPMN 2.0 Serialization Constraints

Correct and standard compliant serializations of BPMN process models are crucial for model exchange between tools, automatic application of academic verification approaches and executability on BPMN engines.
The official standard document does not provide an extensive set of all constraints regarding the correctness of model serializations.
We try to fills this gap by presenting a categorized list of generic, technology independent constraints stated by the standard.

Prototypic tools checking all constraints are currently under development.
As a first step the Java-Tool "BPMNspector" (available at GitHub) has been released. BPMNspector is able to check

  • the correctness of BPMN process regarding the normative XSD definition
  • all occurring references (e.g., a "MessageRef") whether the referenced element is existing (i.e., the ID is defined in the model) and whether it has the correct Type (i.e., "Message" in case of a "MessageRef").
  • 40 (of 52) constraints defined for the "descriptive conformance sub class"

To contribute new constraints, report errors and to give general feedback to our work, just send an email or open an issue at GitHub.

Publications

Tools and Deliverables

  • list of constraints(167.6 KB) (machine consumable XML file, v.1.0)
  • associated XSD file(3.6 KB)
  • BPMN-Reference-Validator: Java-Tool to check the existence and correctness of references in BPMN models; developed by Andreas Vorndran as a part of his Bachelor thesis; BPMN-Reference-Validator is now part of the BPMNspector, but still available at GitHub
  • BPMNspector: Java Tool which integreates Andreas' BPMN-Reference-Validator and the practical part of Philipp Neugebauer's Bachelor-Thesis: Schematron validation of BPMN process models; Source code available at GitHub; external project website: http://www.BPMNspector.org

Participants

Matthias Geiger

Contributing Students

Andreas Vorndran
Philipp Neugebauer