Bon: Seamless, Reversible, Contract-based Analysis And Design

K. Walden

DOI: https://doi.org/10.1109/TOOLS.1998.711042

1998-08-03

Abstract:Second, reusable components need to be precisely specified. To avoid ambiguity, we need more than the usual set of vague natural language comments. Each software module must carry a contract specifying exactly what can be expected from its services, and what must be taken care of by the clients. The tutorial gives an overview of the BON method, which is centered around seamlessness, reversibility, and software contracting. As a consequence, the method uses a consistent set of concepts and notations throughout the software lifecycle, thus avoiding the impedance mismatches of traditional approaches such as ER-modeling or finite state machines. Besides the principles above, typed interface descriptions, scalability, and space economy are stressed. A small case study is used to explain the basic concepts and systematic tasks of the BON development process.