Design And Implementation Of Multiaccess Procotol Model Base On The Process Algebra

Communication needs many communication protocols cooperate together. How to describe these protocols and how to make sure the accord, correctness and integrity is a hard work. Many protocols had been raised to describe these protocols, such as Petri net and formal methods etc. process algebra is branch of formal methods and owns powerful mechanism. Because of this advantage, it can analyse and describe complex network protocol.Multiple Access Protocols are a cluster of protocol in order to tackle with sending data-frame problem in the Medium Access Control Sublayer. The aim of these protocols is to tackle with problem that many clients sending data to a channel, also gives a solution to deal with multi-process parallel problem. The protocol focus on how to makes the system run very well with limited resource.The aim of this paper is to abstract common character of the protocols and to build a common model base on the Multiple Access Protocols. We will construct a formal model using Calculus Of Communication Systems which is branch of the process algebra and verify the correctness of the model. I will make sure the model not only can be used in the Multiple Access Protocol but also can be used in the other situation about multiple process parallel, such as the model about scheduling multi-core on CPU. At last, I will use model check tool—ECW to check the correctness of the model and use the prototype to describe Multiple Access Process and the model scheduling multi-core on CPU to verify applicability of the model.