Application of the ASN.1 specification technique to the Bluetooth service discover protocol

This paper describes the work undertaken, and evaluates the results produced, in a project that applied ASN.1 and its newly developed Encoding Control Notation to the Bluetooth Service Discovery Protocol. The use of ASN.1 + ECN was shown to be fully capable of specifying the bits-on-the-line required by the approved Bluetooth specification, and identified some areas where the current Bluetooth specification lacks precision --- noticeably in areas concerned with "extensibility".