Beetlz is a consistency (refinement) checker for BON, the Business Object Notation (BON), and JML-annotated Java. It was originally developed as part of an undergraduate final year project. It takes your source files and specifications as input and returns feedback on whether and where they are inconsistent. The tool is available in a command-line and in a Eclipse plugin version.
More information on the Business Object Notation is found on the BON website, and by reading the book "Seamless Object-oriented Software Architecture: Analysis and Design of Reliable Systems" which is freely available on that site, since it is out of print.
The latest pre-alpha version of Beetlz plugin is obtained from the
BONc/Beetlz update site:
Please log problem tickets using the Mobius Trac at the following
URL (requires a short registration):
Please include the following details (where possible):
- the command-line arguments with which you invoked the tool
beetlz -pureBON -noNullCheck bon/system.bon src"),
- the operating system and Java VM version you are using,
- any input files used to recreate the bug, and
- the output generated when you detected the bug.
Filing bugs will help to improve this software, so if you notice something amiss please do report it!