A collision problem in OSI standard formal specifications |
| |
| Affiliation: | 1. Department of Computer Science and Engineering, Punjabi University, Patiala, India;2. School of Technology Management & Engineering, SVKM''s NMIMS University, Navi Mumbai, India;3. Punjabi University Regional Centre for Information Technology and Management, Mohali, India;1. CNRS, LaBRI, Université de Bordeaux, 351 Cours de la Libération, 33405 Talence, France;2. Department of Computer Science and Information Engineering, National Cheng Kung University, No. 1, University Road, Tainan, Taiwan;3. Department of Creative Technologies and Product Design, National Taipei University of Business, No. 100, Sec. 1, Fulong Road, Taoyuan, Taiwan;4. Department of Computer Science and Information Engineering, National Taitung University, No. 369, Sec. 2, University Road, Taitung, Taiwan;5. Department of Computer Science and Information Engineering, National Chi Nan University, No. 1, University Road, Nantou, Taiwan;6. Institute of Information Science, Academia Sinica, No. 128, Sec. 2, Academia Road, Taipei, 11529, Taiwan;1. Federal Institute of Parana (IFPR), Av. das pombas, 2020, Cascavel, 85814-800, PR, Brazil;2. Federal Technology University of Parana (UTFPR), Rua Cristo Rei, 19, Toledo, 85902-490, PR, Brazil;3. Western Parana State University (UNIOESTE), Rua Universitária, 2069, Cascavel, 85819-110, PR, Brazil;4. Federal University of Santa Maria (UFSM), Av. Roraima, 1000, Santa Maria, 97.105-900, RS, Brazil;5. Sorbonne Université/CNRS/Inria/LIP6, 4 place Jussieu, Paris, 75252, France;6. Federal University of Parana (UFPR), Rua Evaristo F. Ferreira da Costa, 383-291, Curitiba, 82590-300, PR, Brazil |
| |
| Abstract: | A collision problem is presented which can occur between two adjacent protocol entities, a user and its local provider. We consider synchronous and asynchronous communication mechanisms at the Service Access Point between the entities; this is normally an implementation choice. It is shown that even if the problem is limited by using a synchronous communication mechanism, instead of an asynchronous one, it still occurs. We suggest that whenever this case is found, the service provided by the protocol entity must be interpreted differently by its user, ignoring some primitives. When an asynchronous communication mechanism is used, care must be taken to verify that those primitives to be ignored cannot be misinterpreted as new primitives; finally, we point out that the protocol specification could be redesigned to handle these collision cases properly. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
