This site's content was compiled from 1993 to 2006. Beyond that, Google is your friend.
Joseph Kiniry
Extended BON is a proper superset of BON by Joseph Kiniry that incorporates additional formal specification via the use of semantic properties. This suite of tools will work with BON or Extended BON specifications.
BON is the Business Object Notation, a clear and concise graphical and textual specification language for software. BON is unique in that every construct specified in BON is checkable and reversible. That is to say, we can consistently and completely check the conformance of a piece of software according to a BON specification and any changes to the software can be reflected back into the specification. The specification is obviously an abstraction of the software, but a bijection (equivalence relation) exists between the specification an a subset of the software it specifies.
BON is useful for much more than "business" objects - don't let the name fool you. BON is easy to learn, has a grammar and style that are influenced by the Eiffel programming language, and doesn't require a math degree, dozens of immense tomes to explain, nor multi-thousand dollar pieces of software to use.
This set of tools is meant to help software developers keep their documentation, design, and implementation in sync as well as help find and correct errors as early as possible in the process of creating software artifacts. It has at its core an Extended BON scanner, parser, documentation generator, and design model checker.
The Extended BON tool suite consists of the following tools:
All of the lexer, and 80% of the parser, is complete.
