Functional Description and Formal Specification of a Generic Gateway

摘要

The generic gateway's characteristics can be summarized as follows: 1) It provides a communication protocol conversion up to transport layer; 2) The connection-less and connection-oriented subnetworks or their services can be interoperable; 3) The reliable data transport is expected by each individual subnetwork independently, because the reliable data transport control cannot be expected as a global level by the control mismatch; 4) The generic gateway is decomposed with two distinguishable modules, subnetwork independent and subnetwork dependent blocks; 5) Each subnetwork, more specifically subnetwork dependents blocks, communicate with subnetwork independent block, through the universal service access points; 6) Each subnetwork interfacing modules can be designed and implemented independently. Keywords: LOTOS programming language, Specifications. (kr)