protocol specification
3.BSP(Broadcasting sequential processes), a distributed language with broadcasting primitives, is used for the protocol specification of distributed system, as illustrated with the transportation protocol of OSI reference model and the timestamp protocol of database concurrent control.
4.WAP is a wireless protocol specification based on internet technology standards, such as TCP/IP, XML and so on. Through optimization, WAP overcomes the flaws of low-bandwidth, high-latency and connecting instability.
5.According to the specific requirements of the air-conditioning system used in satellite hood vertical transportation, the communication interface, protocol and specification of CHINO AH3000/AL3000 multimeters were analyzed. The real-time data acquisition software based on the private protocol was developed using RS232C serial port communication. The high stability and reliability are shown in the application of the automated detecting control system for the air-conditioning vehicle used in satellite hood vertical transportation.
7.This paper completely analyzes the OSI Reference Model and introduces a high-level Petri net called EPr/T net system,which is served as the formal specification tool of OSI network protocol. Afterwards,a formal specification of(N)protocol using EPr/T net system is given,and the general methods for the specification of OSI network protocol are outlined. At last,it is verified that the protocol has the properties of boundedness,liveness,reversibleness and etc.
8.The important one of which is studying the TCP/IP instrument protocol and interface mapping specification authored by the VXIbus consortium, studying the realization technique of the protocol. Using the RPC Software Development Kit provided by Microsoft developed the software corresponding to the TCP/IP-IEEE488.1 Interface Specification, and finally built automatic test system based on network by using the software and the GPIB interface instruments.
10.PPPoE (Point-to-Point Protocol over Ethernet) is a specification for connecting multiple computer users on an Ethernet local area network to a remote site through common customer premises equipment.
