Formal Specification of the Plain UCN Layer in LOTOS

摘要

Universal Channel Network (UCN) is a high speed Local Area Network that is based on a combination of a slotted ring and a token ring. In UCN the number of tokens has been made adaptive, resulting in a network that can be made to behave like both the token ring and the slotted ring, or anything in between. UCN performs optimal for any given message length. The service and the protocol of the UCN Layer, which is the core of the concept, are described informally and formally. The formal specification of UCN has been made using the specification language LOTOS. Also, the service of the Basic Slot Layer, which is used by the UCN Layer, is described informally and formally.