This repository contains snapshots of several BON-related development tools, all included via git submodules.
- BONc is a parser and typechecker for the textual Business Object Notation (BON).
- BON_IDE is an experimental Eclipse plugin for editing graphical BON.
- Beetlz is a refinement checker, architecture extraction, and specification generator to/from BON and JML-annotated Java.
- BONSemanticPropertiesPlugin is an experimental plugin for support user-defined syntactic and semantic extensions of the BON parser (it is the prototype for the "E" in EBON).
- iBONText is an experimental Eclipse plugin supporting refinement to/from informal textual BON and Java.
- FAFESSL is a new experimental Haskell parser for BON, meant to be the foundation for our new Free & Fair Election System Specification Language (FAFESSL).
- grammars contains experiments in supporting type-logical grammar based parsing of informal BON specs (currently not yet added)
For more information on BON, see the BON homepage.
For more information on our research and development on BON and EBON, see our [publications page] (http://kindsoftware.com/documents/published/).