Proposed specification of BX.25 link layer protocol.

This implicit objective of the OSN Protocol Specification for BX.25 Level 2 is to define the protocol in such a way that all implementations will be mutually compatible and will satisfy given performance criteria. It is argued here that any such definition couched in ordinary English can be expected to fall short of this objective, yielding instead to vagueness, ambiguity and contradiction which a fortiori preclude the possibility of analysis and validation. An alternative mathematical context is proposed here and is used to specify the BX.25 Link Layer. The specification is mathematically precise. Associated with the context are criteria to determine when an implementation is true to the specification and algorithms for validation which are applied directly to the specification format.