V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0...

13

Transcript of V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0...

Page 1: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

��� � ����� ����� ������ �� ��������� ��������������� �!��"��$#

���%�����&' ��(�)�������+*�� �

,.-0/2143657198;:=<?>@145BA2C�8 D�8FEG19HJIK8MLNL2O;>P3

<�L�DM<?NÆ���3>a�+A0���/�vOG-F5Q �R�vN�> �0�VF/G:Ci�SU�:Ã-ÃH�J5D&GH����z�/�3UM¦��/ch�VGTCS��U

�M³À¶0ZKÃa\Ã@º- Hº@Z~�©N�¦¤�&Ç�L�L��$�����5��nJ

W¥D&N�L ���

�3�´���iC�;Q l )27S1+487R*-'Eu¡m |7S46%��´*MR���7�)212*auV7S'5)278*au ¯+)�¬*-,¡78}Hu y_* {K{+9:|1SR���7�)21h*HuV7S'B)27R*au ¯2)

�KTVUXW2YSZ0[NW

�rQ/�v>/�3�����8G-A&��A+�:>/U0F(G-A?�¿µ@�K�+� · �hY/U&�5��A?�ib �3UM�RA0G-� ��Q5�_�1� �VU?�h�T>5c3�~G:�À�V>5c3G-��F(�K�0�VX CS�¿�+A+�T>5U?¶FEGHAI�©F5A0GT��Gc�G:CVU���<�>_��Q�VU¥F(�:FE��A · ���5��U0c3A?�VXE��� ��:¼�3A0��>@�©���VU?�0�V>/µ~�:F/F5A0Ga�:chQ/U¤��G~X5� �iCS�_��A+�T>5U?¶FEGHAI�MX5A?�V�5µ-�3U��¥���&F5A0��U0�3> �r�z���2�+Q/G ��X(�:U0����GH>´CSG G-�a�V>5µz�RGHAMA0G-����S>/µz�S> �8G-A0���K�0�VGH>´�V>��+Q/�L O N�³Æ�T�5�5A��3U0U0��U · ����Q5G-������T�a�V>5µ��5U0��GT�M�+Q/� >���A+�T>5U0FEGHAI��U0�hCV��ch��GHA0U @[�:U~�+Q/��F5A��hb �VG-�5UU0G:CV� �0�VGH>/Uz��V�¼��������CVU0G¬F5A�GHFEGHU0���T>ª������>5U?�VGH>gG:����Q5����A+�T>5U0FEGHAI�_F5A0GT�+G c�G:C©��G¬U0�5F/F¼G-A?���Q�VU�U0chQ5�������V>��:>�G-FE�3>���¦¤L O 6-�rÇ¿L Ov�S>a�+��A0c3G->5>/�3c2�0�VGH>"�3>@b@�SA�GH>/���3>H�3�ÀW��V>(�KC�CiY@J �T>�F5A�G:¶��G:��Y/F5�"�S��F CV�3���2�h�K�0�VGH>ÊGT���«��A+�T>5U0FEGHAI��X5AI�S�/µH���/U?�S>/µ¬�+Q/��>5�2� · G-A0��C��3Y ��Av�T�5�5A��3U0U?�V>5µ¬�VU�5��U0c3AI�SXE���n�

Ã

Page 2: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

� � + � H#) �-03, � 41)�+

��CR�T���V>5µg��F(�TA?���Sc��C��:A_U?�V�5��G:�r�+Q/�«NM��CR�T>H�0�Vc��RGHA_�i�"���3Yª>5GT��XE��b@�3A?YªF/A0G �5�/ch���ib �-J¥X5� ���Q5��U0FCi�������S>/µ¹G:�r��Q5��Ç~O@<~�+A��:>5U0FEG-A?��U0��A?b@�Sc��«�V>@��G¬� · G >0F5A�G:��G c3G:C���G · �3A�U @¬�SU"c3��A?�h�K�V>CiYGH>/�zGT���+Q/�z��� �0G-ArG-X5U?�2�:c2CV�3UM�+G · GHA?CV� · �S�/� Ç~O@<rc�GH�����/>�Vc��K�0�VG->n�/�À��>�Y���TA0Ur�TµHGJ · Q/�3>��Q5����A+�:>/U0F(G-A?�_F5A�G:��G c3GTC · �TU U?���5��V���nJ§�«>�/�vXB�3A~GT����5FE��A?��U XE�hCi�V�hb ���[��Q(�K�¿�+Q/��b �VA?���(��Cc2�SA�c3��i�~U0�3AIb �Vc3�:J¤F5A�G�b �V�5���¹X@Y¬�����H �>/�h� · G-A0�@U3J · �TU ��CV��GHU?�~U+�K�0�VU?�j�:c2�+G-A?Y J¤�T>5�Ë�+QB���~GH> CiY�Ë���V> �S���KC���>5�g��G¹��>5�ÊF5A�G:��G c3GTC · �TUz>5�����5�3�¼J©�-��µ/�¬�+GËFE��A?�RGHA0� U0�5XB�:�/�5A0��U0U?�S>/µ/� �rQ�VUY �V�2CS�/�3�"�+Q/�->0>�CiC/�+A+�T>5U0FEG-A?��F5A0GT�+G c�G:C @/J �r³À¶6Ã/J · Q �Sc2Q · �:U¥��Q5��>���>C��:A�µH�3�´X@Y"��G-A0�&c3G-��¶FCV��[ba�:AI�R�T>@��Ur�RG-A&�+Q/GHU0�_�����H �>5�2� · GHA�� U · Q�VchQ · �3A��z>5GT�zA��hCi���:X CS�_�3>/GH�5µ-QnJnG-A · ��A0� ��G G��5FE�3>/U?��b@�-�¥D���c3G->5>/�3c2�0�VGH>"GHA©��� C����VFCV�1� �S>/µ~F5A�G@c��3�/�5A0��U&J@GHA©XEGT�+Q¼J · ��A0��U?�2�:>/�(�TA0����3�����V>��Q5����A+�:>/U0FEGHA?�MF/A0G:��G c3GTCnba�:A?���T>@�+UF�M³©¶0ZHJ7�r³À¶?�@J(�:>/���r³À¶?^ �(��CiCn��Q5��U0���+A��:>5U0FBG-A?�&F5A�G:��G c3G:C>�c2C��:U0U0��U @��TA0��c3G-��F(�K�0�VXCV� · �i��Q �r³À¶6Ã/J5�T>5���:U0U0�5���&��Q(�K���+Q/�¿>/�h� · G-A0��F5A0GKb �V�5���~b@�VA?�+�B��Cc2�SA�c3��i��U0��A?b@�Sc��-�

Ç¿>���Q5�MG:��Q5�3A=Q(�T>5�nJHU0�2b/�3A���C/G:��Q5�3AÀ�1�/F¼��A?��U©X¼�2Ci�S�2b �����+QB���À�+Q/��b �VA?���(�KC(c2�VA0c3� ����U0��A?b �Vc��· �TU�>5GT�v�T>ª�Tc3c��3F �h�TXCV��>5�2� · GHA��¬�V>@���3A?�j�Tc3���:>5�¹��Q(�K�¿��� · GH� CV��XB�����5c+Q¹��GHA0��A0�2Ci�R�TXCV���G X(�:U0�Ë>5�h� · GHA0�Ê�V>���3A�c3G->5>5��ch���VGH>5U"GH> � >��B���2�:µ-A+�T�3@ U0�3A?b@�Vc3�:�Ä<?>5�5���3�¼J����+A+�T>5U0FBGHAI�F5A�G:��G c3GTC ��GÌc3G->@b ��A?��� A��:>5�/GH� �B���2�:µHA��:� U0��A?b �Vc3�Ë�S> �+GÌ�ÊA0�2C����:X CS�¹�(�K�h� U?��A0�K�:� QB�:U��G X¼�ËU0GH��� · Q(�K����GHA��[c3G-��FCV�1�$��Q(�T>®�hb�3> �r³À¶I^ ����Q�5U�J �r³À¶6� · �:U��/�=�B>5���nJ · Q�Vc�Q�V>5c2CS�/�5��U��Tch� >/G · CV�3�/µH����>@�+U�JH���S����A0U�J(�T>5����>5���+Gv��>5��A0�2�+A��:>/U0���SU0U?�VGH>/U��©N&C���Q5G-�5µ-Q«U0G-�����GH� ��>�c�GH�"F(�����VX�iC��i��Y�QB�:UMX(���3>��´���V>�2���V>5���«XB�2� · �3��>´�+Q/� chC��:U0U0��UrÃv��G"^"�:>5� �M³©¶6�/J ���M�VUb/��A?Y¬c2CV���TA���Q(�K� G->5��c��T>5>5GT�~U?�S��F CiY¬�V>@�+��A0c�GH>/>5�3c2�~���B���2�:µ-A+�:� >/�h� · GHA0�BJ¼XB�:U0����G->���Q5�Ç~Oa< >+��GH>/>5��ch���SG->5¦¤��U�U"L��h� · G-A0�ªO �3A?b@�Vc3��@gU0FB�3c2���Bc��K�0�VG->nJ&����¦¤L O5�+J=�T>5�¸� >2��GH>5>/�3c2�0�VG->Ç¿A?�V��>���3��L��2� · GHA0�«O �3AIb �Vc3��@/Jn���rÇ¿L¿O5�+J · Q�Vc�Q«F/A0G�b@�S�/�3U������H zCi�S�H��b@�VA?�+�B��C�ch�VA0c���i�+U�;©G->5�Q(�TU���GvA0�3U0G-A?���+G · QB�����VU�cK��CiCV�3�8>���A+�:>/U0F(G-A?�Mµa����� · �3YU @/J · Q �Sc2Q · �iCiCnA0�hC��3Y�GH>/�&�+A+�T>5U0FEGHAI�c�GH>5>/�3c2�0�VG->nJEF5A0GKb �V�5����X@Y �r³À¶���G�ba�3A&��¦¤L O(JEGH>@��G´�:>/G:��Q5�3ArGH>5�:JB�?Y/F �ScK��CiCiY«F5A0GKb �V�5����X@Y�r³À¶6ôG�ba��A��v�¡�-  �

�=�T>5U0F5G-A?�"µ@����� · �hY/U��:A0�«��F(�K�S> ;��+Q/�hYÊ���5U?��XB��b ��A?Y�A0�2Ci�R�TXCV���V>ÊGHA��5��A�>5GT�_�+G��S> ¶��A0G �5�/c3���T>��/>(�:c�c3��F�2�:X CS���/G · >/µHA+�T��V>5µ«G:�=��Q5��¾@�(�KC��i�?Y[G:��U0��A?b �Vc��-J¥�:>5�Ë��Q5�hY����/U?�zXE�>2�TU ��A+�T>5U0F(�TA0��>�_�:U~FEGHU0U?�VXCV��@��N&�¿<?L�DM<�N_J · ���/�hb �2CVGHF/F(���gU0�5chQg�¬µ@�K�+� · �hYaJ§�T>5� · �iCiCF5A��3U0��>���V>��+Q �VU�FB�:FE�3A���U?�+�/�Y«G:�ÀGH>/�zG:�§�i�+U&��GHU?�r�S�"F(G-A?�h�T>���TU0F(��c2�+U�J/�+Q5�~Q(�T>5�Ci�V>5µ´GT��:�/�5A��3U0U0��Ur�V>��+Q/�zc�GH>/>5�3c2���SG->�F5Q(�TU0�-�

� � �-H#2 � �� H#) � ,�� � ) � H � +-2 ) H � � � � D�� ��� 2

�rQ/���BA0U?��µ-�3>5��A+�K�0�VGH>ËG:�À��A+�:>/U0F(G-A?�¿µ@����� · �hY/U��:F/F¼�K�:A��3�����5U?�~���S���3AM��Q5�_U?�h�T>5�(�TA0� ���K�����VGH>G:�§�+Q/���/b ����A+�:>/U0FEGHA?��chC��:U0U0��U�J¼�T>5��XE�2�8G-A0� ��Q5� �B>(�KC��VU+�K�0�VGH>�GT�À�+Q/�z>5�2� · GHA���CR��Ya�3A0UMU?�h�T>¶�(�TA0�/U��¬N ��Y/F �ScK��C©U0GTCS� �0�VGH> · �TU ��Q(�K��G:���+Q/�����re�N � Zh�jJ · Q �Sc�QgA0�3c�GH���"�3>5�/�3�¹��GË�5U0��r³À¶I�¹G�ba��A_�����H ��S> · �V�5���:A0�K�[>5�h� · GHA0�H�S>/µ/J/�r³À¶6�gG�ba��A��À�+Q/�3A�>5�2���V>�CVG c��KC��TA0�K�:U��ÊN�U��Q5����Y/F�VcK��C��«��Vµ:�i��UvGT�����iZT�@Z��:�5�/A0��U0Uz�1� �+��>5U?�VG-> · �3A0�_�V>(�T�5��¾ �(�K�+���RGHA��T�5�/A0�3U0U?�V>/µ[�KCiC��Q5�_U��2�K�0�VGH>/U�G:����CVG c��KCÀ>/�h� · G-A0�(J/�i� · �TU�F/A0GHFEG-U0�3����G´�V�5��>@�����SY«��Q5��U0�vU?�2�����SG->5U&XY«�/U?�S>/µ��Q5� > �¥A+�:>/U0F(G-A?�¿U��2CV�3c2�+G-A @/�9�rQ �SUz�TF5F/A0G@�TchQ · �TU ��CVU0G��8GTCiCSG · ���[XY��+Q/�"��O ³�DM<�� D�Ç O�F5A�G����3c2�KJ · Q �SchQvA0�3c�GH������>5�/�3���¿�TÿCV�h�����3A0UA��¶6U0�hC/�8G-A0���K�KJHc3G-��FEGHU0����G:�¼�:>��TA0���&>(�:���¿�I]c�Q(�:A�U+�2J5�"U?�2�����VGH>�>B�:������]"c�Q(�:A�U+���:>5�Ë�vCVG@cK��C��1� �+��>5U?�VGH>g���"chQB�:A�U+�2�/�rQ/� �����H "�T�5�5A��3U0UG:�¤�+Q/�z�:c�c3��U0UrFBG:�V>�=��Gv�+Q/���h�TA0µH�2���:A���� · G-�CV��XE� �/�3�5�/c3�����8A�GH�t�+Q/�z�:A0�K�v>(�T��� X@Y��+Q/�

Z

Page 3: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

�V>���3A����3� �R�K�+�Mµ@�K�+� · �hYaJ�:>/����Q5�&�©��Q5��A0>5�2�M�:�/�5A0��U0U�G:�¼�+Q/���/�3U?���V>(�����VGH>´U?�h�K�0�VGH> · GH� CS�"XE��5��A?�ib/���´�8A�GH�f�i�+UM>(�:�"�zX@Y��+Q/�z�5��U?�0�V>B�����SG->�µ@�K�+� · �hY��6U0��� �(µ-�5A0��Z��+�

local

area

Station

Intermediate

gateway

X.25

Destination

gateway

Target

area

Destination

station

Figure 1

LAN/WAN interconnection using well known T-sel format

N&Ci�+Q/GH�/µHQË�+Q/�"D&Ç~O� �:F/F5A�G@�:c�Q · �TU · GHA��:�TXCV� · �i��Q�V>ª��c2CSG-U0�3�g>/�h� · G-A0�«�RG:CiCVG · �V>/µU?��A?�Vch��A��CV�3U_�RGHA ��¶6U0�hC�µH��>5��A+�����VGH>¼J§�i� · �TUz>/G:���T�5��¾ �(�K�+�´�RGHA��¬µ-�3>5��A+�KC�G-F¼��>Ê>5�2� · G-A0�(J· Q/�3A0�"�+Q/��U0GH�/A0c3�´U?�h�K�0�VGH>Ê����Y · �:>@�~��G¹�:�/�5A0��U0U_A+�:>/�5GH�vC�Y�c�Q5G-U���>g�5��U?�0�V>(�K�0�VG->5U�J��8GTC�¶CVG · �V>/µ���Q5��>/�3���5U~G:���TF5F C��VcK�����SG->5U���<�>Ê�T>������+����F�z�+G«�R�C��5CiC���Q5��U0��>5���3�/U�J¤��Q5��U0��c3G->5�µH��>5��A+�K�0�VGH>¬G:����A+�T>5U0FEGHA?�rµ@����� · �3Y/U��/U0�3�Ë����¶�U0�2Cn��G´c��TA0A?Y«�����3>/U?��b@�hCiY��+Q/� >5�2� · G-A0���:�¶�5A��3U0Ur�T>5�"�+Q/�&�+A+�T>5U0FEG-A?��U��2CV�3c2�+G-A0U�GT�`�+Q/� �B>(�KCn�5�3U?���V>(�K�0�VGH>¼�©W(G-A��1�B�:��F CV�-J@��Q5��µ@�K�+� · �hY��Q(��� · �_�5�2b �hCVG-F5FB�3���RG-A���Q5�_>5�3���5U¿G:��GH�/A&�����HÃ-Ãg���K�=�T>5�Ë���� :Ã-Ã��TF5FCi�Vc��K�0�VG->5U���^��©�5U0�����Q5� ��¶6U0�hC&��G cK�:A0AIY¸�+Q/�¬�v��Z�� Zg�T�5�/A0�3U0U´G:�~��Q5�[�/�3U?���S>B�����VGH>nJ���Q5�[cK��CiC��5U0��A«�B���2� �(�2CV�����Í�οW=�¤�+GzXB�r�5U0�����RGHA§�+Q/�������H �F(�:c2�a�h��U �:�+Q/�rA0�������V>�V>5µ XY@�+��U=�TA0�r�/U0�3���TU�� ��¶6U0�hC/�RGHA��Q5��GH� �+µ-G:�V>5µ«cK��CiC6�_<?>¹�+Q/�"G-F5FEG-U?��������VA0�3c2���SG->nJ��R�j� �:���´�v�¡�- «Q5G-U?�zcK��CiCi�S>/µË�:>¹�©��Q5��A0>/�h�U?�2�����SG->(�r��Q5� �(A�U?�zX@Y@�+��U�G:�=��Q5� ��¶6U0�hC��TA0���5U0���[��G«�5�2�+��A0���V>5�_�+Q/�_CSG cK��C��T�5�5A��3U0U GT�=�+Q/�U?�2�����SG->nJ@�:>/�z��Q5��C��TU?�©X@Y ���3U��:A0���5U0�3���TUÀ���/�3U?���S>B�����VGH> ��¶6U0�hCj� �MQ�VU=�TF5F/A0G@�TchQ · GHA�� U�J-�T>5�c�GH�CV�g�V>gF5A?�V>5c2�VFCV��XB���1� �+��>5�/�3�¹��G¹���8� C�CiYªc�GH>�RG-A0���:>a�v�MÇ¿L Og>5�2� · G-A0�(J`X@Y�c��TA0A?Y �V>/µ��Q5���2�:A�µH�h�vL ON�³ �:�/�5A0��U0U~�S>gCi�V�3�ÊGT�M��Q5�����iZT�@Z��:�/�5A0��U0U��:>5����Í�οWÄ�5U0���g�RGHA~�����HÃ-Ã��ZT\-]:�@�+���G · �2ba�3AhJ���rF5A0��U0�3> �+U�� · Gz�S>/c3G->ba��>�V�3>H��U�;

< �i�&Ci�V���i�+U��+Q/�zU?���3� GT�/��¶6U0�hC¼�+QB����cK�:>�XE�z�/U0�3��X@Y���Q5���2�:A�µH�2� �:F/FCi�Vc��K�0�VGH>¼J

< �i��G-XCi�VµH��U ��Q5��U0GH�/A0c3�´U?�h�K�0�VGH>¹��G¬� >/G · GT����Q5�����VU?�h�T>5c���G:�&�¬µa����� · �hYHJ§�:>/�g�+Q/�c3G->@b ��>H�0�VGH>/U��/U0�3��X@Y���Q5� µa����� · ��Ya�

�rQ/� �(A0U?�¿�V>5c�GH>@b ��>�V>5��>H� � �V�ª>/G:�¿�V>�F/A+�:c2���Sc����G:¼�3c2�z�/U�� �rQ5� ��¶6U0�hC/�B�hCV�¹c��T>ªcK�:A�A?Y�^H�G ch���2�+U�J@G:� · Q�VchQ��Tà · G-�CV��XE�r�5U0���_�RGHA©FB�:U0U?�V>5µ¿��Q5�M�5��U?�0�V>(�K�0�VGH>"L ON�³À���rQ5�M�1�/F¼��A?�V�3>/c3�U0Q5G · �3�Ì�+QB������G-U?���:F/FCi�Vc��K�0�VGH>/U¬�TA0���:�/�5A��3U0U0�3� · �i��Q®U0Q5G-A?� ��¶6U0�hCVU�JM�?Y/F �Vc��KC�CiY¸�g��GÌ]��VµT����UM�8G-A���� �-ÃHÃ��0Z�\H]:�a�MF/A0Ga�5�5c2��U3JBGHA��vG c2�+��ch��U��8G-AM�S��F CV�3����>@�+G-A0U��8GTC�CVG · �S>/µv�+Q/� L&<0O �µH� �V�Ci�S>/�3U��©�G · �2ba�3AhJ@��� · GH� CS��XCVGac3���T>@Y��K�0������F�M��G"�5U0����Q�VU����3c�Q5> �S¾@�5�&�RGHAMc��TU0c��T��V>5µU0�2b/�3A���Cnµa����� · �3YU�;ÀcK�:A�A?Y �V>5µv� · G"L ON�³�U · GH� CS��A��3¾ � �VA0� �HÃ�X@Y ���3U��

�rQ5�~U0�3c�GH>/���S>/c3G->@ba�3> �V�3>H�M�VU&��GHA0�¿�S��FEG-A?�2�:>@�3�©<I��GHX C��VµH��UM�+Q/�v�:F/FCi�Vc��K�0�VGH>�U0GT��� · �:A0���G´� >/G · �+Q/���+G-FEG:CVGHµTY¬G:����Q5�~>5�2� · GHA��(J@�V>�GHA��5��AM�+G"�/�h���3A0�v�S>/� · Q/�h��Q5��A&GHAM>5GT� �"µa�����h¶

Page 4: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

· �hY[U0Q5G-�CV��XE���/U0�3�¼J§�:>5� · Q�VchQ¹µ@����� · �3Y¬��G¬U0�hCV�3c2� ;¿�+Q/��>5�h� · GHA��¹�T>5�Ë�+Q/���+A+�T>5U0FEG-A?�U0�2CS��ch��GHA�U§��G¿XE���5U0���_b@�TA?Y · �i��Q_�+Q5�=CSG cK��Ci�VU+�����SG->�G:�5�+Q/��U0GH�5A�c3�:� �MQ�VUÀ���T�a��U¤�+Q/���5U+�TµH��GT��:F/FCi�Vc��K�0�VGH>´CV�hb�hCE��VA0��ch��GHAI�S��U���G-A0� �����c��Ci� ;¥G->5� Q(�TU���G��2�i�+Q/�3A�A0�3c�GHA����_U0G-�5A�c3���5��FE�3> ¶�5��>�~�V>�RG-A0�������VGH>¼JÀG-A��:F/FCiY �¬µ@�K�+� · �hY��5��FE�3>/�5��>@�_��A+�:>/U?�8G-A0���K�0�VGH>ÊGT�M��Q5��A0�3µT�VU�����A0�3��:�/�5A��3U0U��A�rQ5�B�(A0U?�Àb �:A?���T>a�§�S��FEG-U0�3U���CVGT��G:�(�V>�RGHA0�´�����SG->�A0��FCi�Vc��K�0�VGH>¼J/�T>5�v�SU©�����c��Ci�©��G�:�/���V>�VU?�+��A ���Q5�&U0�3c�GH>/�¬�TF5F/A0G@�TchQ · GH� CS�´A0�3¾@��VA0� � U?�h�T>5�(�TA0� ���K�����SG->�G:�`��Q5�&µ@�K�+� · �hY �V>5µ�R�5>5c2���SG->��+G"XE� F/A+�:c2���ScK��Cj�

� � �-D�������� 2 )�.10 � 41)�+

N�>�G-X@b �VG-�5U�c�GH>/chCV�5U?�VGH>¬G:����Q5�z�T>(��CiYU?�SU&G:�¤�+Q/� >���A+�:>/U0FEGHA?��U0�hCV�3c2��GHA @"U0GTCS� �0�VG->5U���G´µa�����h¶· �hY �T�5�/A0�3U0U0��U��VUv��Q(�K�´GH>5��U0Q5G-�CV��CVGaGH�g�S>Ì�:>/G:��Q5�3A"��VA0��ch���VGH>n�g� Q@YÊ>5GT���5��A?�ib/����Q5�A0G-����S>/µ~�V>�RG-A0�������VGH>´�RA0GH�Æ��Q5�&L O N�³Ì�:�5�/A0��U0U�WEGTC�CVG · �V>5µ��+Q�VUr�TF5F/A0G@�TchQ¼Ja��Q5�&µ@�K�+� · �hY· G-�CV�[A0��c3�2�ib ����>2��G->5>5��ch���VGH>¹D&�3¾ �/�3U?� @ �r³=Î Ít�V>ª� �BA0U?�_�(�K�h�TµHA��:��J¤�/�3A?�ib �������iZT�@Z�:�/�5A��3U0U��8A0G-� �+Q/� �5��U����V>(�K�0�VGH>�L O N�³$�T>5��U0�h�&�/F��zb �VA?���(�KC¤ch�VA0c���i�&�:c�c3G-A0��V>/µ:CiY ��<�>���Q5�A0�2b/��A0U0�z� �SA��3c2�0�VGH>¼JB�+Q5��µa����� · �hY · ��CiC©�5U0�~�+Q/�v�/�3U?���S>B�����VGH>[L¿ON�³ �:U0U0G c2�R�K�+������G´��Q5�_�V>¶c�GH���V>5µzb �VA?���(�KC¤c2�SA�c3��i����G�U0�2�M�5F��z�+A��:>5U0FBG-A?�&c3G->5>/�3c2�0�VGH>�G�ba��A©��Q5� �B���2�:µ-A+�:� >5�2� · GHA0�B�WEA0G-� �+Q �SU��/�3U0c�A?�VF���SG->nJ�G->5��c��T>Ê�V�����3� �R�K�+�2CiYÌ�/�3A?�ib ����Q5��F5AI�S���TA?Y��:�b �T>H�h�TµH��G:�r�+Q/��:F/F5A�G@�:c�QnJ`�6���:���h�T>5U0FB�:A0��>5c2Y��+G��+Q/�«�:�/�5A��3U0U0�3U�J��T>5�g�i�+U_��G-U?���V��FBGHA?�2�:> � · ���T��F(GT�V>�KJ�5��FE�3>/�5��>5c2YªGH>Ê�B���2�:µHA��:� A0G-����S>/µ/����������>���SG->5>5���¹�+QB���~��Q5���B���2�:µ-A+�:�"U · �iCiC�cK�:A0AIY��Q5�&L ON�³$�T�5�/A0�3U0U�GT�¼�+Q/���/�3U?���S>B�����VGH>nJ5�T>5� · GH� CS�´>5�2b �3AI�+Q/�hCV�3U0U��TA0A?�ib ���K���+Q/��µa����� · �hYH��rQ �SU~�����T>5U¿�+QB���¿�+Q/��A0G-��0�V>/µ��2�:X CV�3U¿�S>¹��Q5���(�K�h�TµHA+�T�±U0�/X5>/�h� · G-A0� · ��CiC�XE��U0�2�z�/F¹�S>U0�5c�Q¸� · �hYª��Q(�K����CiC&�(���2�TµHA+�T��U�XEGH�/>5� �+G�GH>/�?>�µa����� · �hY ����L O N�³�@ · ��CiC&XE�¬A�GH��������G · �:A��5U&�+Q/��OL�³`N �T�5�5A��3U0U GT�=�+Q/�"µa����� · ��Ya���MQ�VU c3G->5� �����VGH>Ë�SU¿���TU�Y���G�U+�K�0�VU?�SY · Q5�3>�zc3G->5>/�3c2�0�VGH> CS��U0U�CVG c��KC¤�:A����z>5�2� · GHA��v�VU�c�GH>/>5��ch���3�´�+G"�zc3G->5>/�3c2�0�VGH>�G-A?�V�3> �+��� · �V�5� �TA0���>5�2� · G-A0�«X@Y[�´U?�V>5µTCS�_µ@�K�+� · �3Y-������3Jn�:U U0GaGH>g�:U&��Q5�~CVGcK��C©�TA0����>5�2� · GHA��«µH�2� �"GHA0�~�S�v¶FEGHAI�h�T>@�KJ:��Q5�&>5�3����GT�n�/U?�S>/µ_U0�2b �3A���CCVGa�:�´U�QB�:AI�S>/µ~µ@�K�+� · �3YU§�RGHA=X(�2�0����A�FB�3A?�RGHA����:>/c3���:>/��V>5c�A0���TU0�3�¹A0�2C����TX�iC��i�?Y · �iC�C��TA?�VU0�-�¿<I� · �_c3G->5U?�V�5��A���Q5�_�1� �+A0������c��TU0�"GT�=�+Q/�z�V>���3A�c3G->5>5��ch¶���SG->�G:�5�+Q/��Í O��:>/�_���/A0GHFE�K�:>�A��3U0�K�:A0c2Qv>/�h� · GHA0�@U�JK�j� �:�Àc�GH> �0�V>5��>H� · �V�5�©�V>���3A0c�GH>/>5��ch���VGH>5UG:�=c�GH>/>5�3c2���SG->CV�3U0Uz�T>5�Ëc3G->5>5��ch���VGH>ËGHA?�V��>@�+����U0�5X/>5�2� · GHA�� U�J · � · �iCiC§b@�3A?Y«Ci�V� �2CiY¬>5���3�¹���CV���TU?� �v�5G �3��>�GT�¥µ@�K�+� · �hY/U�J · Q�Vc3Q · �iC�C`�V>�U0GH���zcK�:U0��UrQB�3b �&��G´X(�~c��TU0c��T�5�3�¼�

N�UrU0GaG->��:U · ��U��2�TA?�&c3G->5U?�V�5��A?�V>5µ"U0�2b �3A���Cnµa����� · �3YU�J@�+Q/� A0G-��0�V>/µ"F5A0G-XCV�3�fXE�3c�GH����U��G-A0���:c�����-��Nt�R�5>5�B�:����>�2��C¥c�Q(�:A��:c2�+��A?�VU?�0�Vc�G:��c�GH>5>/�3c2�0�VG->CV�3U0U~>5�h� · GHA�� U��VU ��Q(�K�z�K�:c�QF(�Tc3�-�2�&�VU�A0G-����3���V>5�/�3FE��>5�5��>@��C�YH��Wn�Tch��GHA�UrCi�V�a� CVG@�T�[XB��C��:>/ch�V>5µ«�:>5�«C��V>5���6�K�iCS�/A0��U~� :n��ch���Q5�&A0GH� �0�V>5µz�5��ch�VU?�VGH>¼� �rQ �SUÀ�S��F C��V��UÀ��Q(�K���(���2�:µ-A+�T��U�U0�3>@�À�+G��+Q/��U+�T�����/�3U?���V>(�����VGH>����KYXE�[A0G-����3�$��Q5A0G-�5µ-Q®U0�hb ��A+�KC�F(�K�+Q5U��:c�A0G-U0U���Q5��c�GH>5>/�3c2�0�VG->CV�3U0U�U0�5X5>/�h� · GHA0� ;[�V>®G:��Q5��A· G-A0�5U�J¤�TU ��Q5��G->CiY¹�V> �8G-A0���K�0�VGH>gcK�:A0AI�S���gX@YË��Q5���B���2�:µ-A+�:�"Uv�:XEG-��¿�+Q/���5��U?�0�V>(�K�0�VG->��VU��Q5��L O N�³t�:�5�/A0��U0U�J§��Q5��A0���VUv>/G˵H�B�:A��:>�����"��Q(�K�_��Q5���B���2�:µ-A+�:��U_XEGH�/>5�g��G¬��Q5��U+�T����5��U?�0�V>B�����SG->�L ON�³ · ��CiCnXE� A0G-����3�´��G_��Q5� U+�T����µ@�K�+� · �3Ya�©��GH>/U?�V�5�3A=��Q5���1�B�:��F CS� µT�ib �3>�V> �BµH�/A0� � �¥<��n��Q5� ��D �M³�Î¿Í U0�3>@�=�RA0GH�fO���G_Î �VU�A�GH� �+������GvGH>/��GT�`�+Q/�~��¦�L¿O 6H�MÇ¿L Oµ@�K��� · �hYU[�jU+�3Y � � �+J�U0�5X/U0�3¾@�5��>@�&�r³=οÍ�U����3Y �:A�A?�ib ��A+�T>5�/GH��CiYÈ��G ��Q5��GT�+Q/�3A�U�� ���GHA ���K�2JM�:>/�¸��Q5��> · �iCiC�XE�¬�/A0G-F5FE�3�$�:U"�+Q/�hY¸c��T>5>/G:�´XE�Ë�TU0U0G ch�������3� · �i��QÈ�T>Y GT�¿�+Q/���U?�h�TXCi�SU0Q/�3����A+�T>5U0FBGHA?��c3G->5>/�3c2�0�VGH>/UrG->��+Q/�3U0� µa����� · �hY/U��

�rQ5� �/U0�zGT�¥��Q5� L O N�³®XB�:U0����µ@�K�+� · �hY �V>5µ´�KC�CVG · ��Q5����A+�:>/U0F(�TA0�3> �MF(�TU0U?�S>/µ´G:� ��¶6U0�hCVUXE�h� · �3��>�XEGT�+Q�U?�V�5��U��=�G · �hba��A�J@�+Q �VUrU0chQ/�3�����/G��U�>/G:�&F/A0G�b@�S�/�~�zc�GH��F CS�2�+�¿U�GTCV����SG->��8G-A

^

Page 5: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

��Q5�v��¦�L¿O 6H�MÇ¿L O´�V>���3A0>/�h� · G-A0�a�V>5µ"F/A0GHX CV�3���

CLNS CONS

S D

G

G

G

1

2

3

Datagramms can be routed through several paths

Figure 2

<?>���Q5��>5���´U0�3c2�0�VG->nJ · ��F5A0��U0�3> ���T>È�TF5F5A�G@�TchQ · Q/�3A��«��Q5��µ@�K�+� · �3Yª�VU�c�GH>5U?�V�/�3A0���È�TU�´L��h� · GHA0�«��>5�ËU?Y/U?���3� �RA0G-� �+Q/�"��¦¤L O¬U?�S�/� �j���-��XE�hCVG->5µ:�V>5µ��+G«�rÇ¿L O · GHAICS�¼�r<?>���Q�VUcK�:U0�-J��+Q/��µ@�K�+� · �hY · ��CiCU0�3AIb ���rU��2��G:�B�/�3c2CR�TA0���"�MÇ¿L O@¶6L O N�³=U��§N¸�"GHA0�/$B�1� �SX CS��U0GTCS� �0�VG->�VU�F/A0��U0�3>@���3���V>�U0�3c2���SG->[  J/X5��r���&A��3¾@��VA0��U¿�T>��1� �+��>5U?�VGH>�GT����Q5� ��A+�T>5U0FBGHA?��F5A0GT�+G c�G:Cj�

� � ��� D�� ��� 2 0 2 ,AH#4 � 41)�+ �� H#) � ,��

�ÀA��:>5U0FBG-A?�©U0�3AIb �Vc3��X5A?�V�5µ-�3U · �iCiC5XE���5U0���_��G~c3G->5>/�3c2�¥�+G¿A��3��GT�+�MU0�3AIb �3A�U3J · Q5G-U0���T�5�5A��3U0U0��U��Q5�2Y · ��CiC/Q(�3ba�©�RGH�/>5�_�V>�����VA0��ch��GHA?Y@� �rQ/��³�ON�³ª�:�5�/A0��U0U0�3U¥G:�B��Q5��U0�r�TF5FCi�Vc��K�0�VGH>_U0��A?b/��A0U· �iCiC(XE�rc�GH��FEG-U0�3�"G:�¤��³=A0�3U0��>�2�����VGH>�U0�2CS��ch��GHAhJ/� O��U0U��VG->�U0�hCV��ch��GHA�J���ÀA+�T>5U0FBGHA?�=U0�hCV�3c2�+G-A�J�:>/�[G->5�zG-A�U0�2b �3A���C�L ON�³=U�� �MQ5�zL¿ON�³ �:�/�5A0��U0U0�3U&���KY«c3G-A0A0��U0F¼G->5����G����:n�3A��3>@��c3G->¶>5��ch���VGH>/U���Gv�+Q/� µ:CVGHXB��Cn>/�h� · G-A0���-��µ�À� · G~�RA0G->���3>/�5UrU0��A?b@�S>/µv�+Q/� U+�:��� Q/GHU?�¿� �(µH�/A0�z^-�2�

Host

Frontend

Frontend

(S,P,A)

(T)

(N)

An application entity may have several NSAPs

Figure 3

(N)

Page 6: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

�rQ/�zU+�:���~U0chQ5����� c�GH�CV��XB�v�TF5FCi�V�3����G"��Q5�~µ@����� · �hY �V>5µ"F5A�GHX CS��� ;�X(�TU?�ScK��CiCiY J �+Q5�¿µ@�����2¶· �hY · �iC�C X¼��U0���3>��TU=� >�A��3��GT�+�©�RA0G->@���3>/� @/�©Ç¿>/��U0Q/GH� CS���KC�CVG c��K�+��G->5��L¿ON�³¹FB�3A����rÇ¿L O�2�:A0µ-�h�3J§µa����� · �hY5�2J · Q�Vc3QË��Q5��µ@�K�+� · �3YU · �iC�C=���:Fg��GË�«U��V>/µ:CV���rÇ¿L Oa¶�L O N�³À�¤D&GH� �0�V>5µ�V>��+Q/�z��¦¤L O�U?�V�5�zU0Q/GH� CS��XE� ��G � ���B�3����Gv�S��FEG-U0���+Q/�z�5U0� GT����Q5�zU+�T��� µ@�K�+� · �3Y�X@Y¬��CiC��Q5���(�K�h�TµHA+�T��U · �i��Q¬�zµT��b@�3>´�5�3U?���V>(�K�0�VGH>�L O N�³À�a<?>´�+Q �SU�c��TU0�-J5�zU?�h�K�0�VG->��V��F CS�����3>@���V>5µGH> CiY´�rÇ¿L O · �iC�CBQ(�3ba��GH>5�&�rÇ¿L OvGH>CiY"L¿ON�³ª�:�5�/A0��U0Ur�j�5>/A0�K�:c�Q(�:X CS�©�RA0G-� ��¦¤L O5�+J �T>5�U0�2b/�3A���C���¦�L¿OÊ�:�5�/A0��U0U0�3U_���TchQg�5��U0c3AI�SX �S>/µ¬�+Q/�«U?�2�����SG->gb �V� · �3�¹�RA0GH� �¬µT��b�3>gµa����� · �hYcK��CiCS��� >�µa����� · ��Y_�T�5�5A��3U0U @� �rQ/��c2C��V�3>a�¥GH>��:> Y~U?YU?�+��� �VU¥U0�5F/F(G-U0�3�_��G¿F�Vch�H¶��/Fz��Q5��>0XE�3U?�L O N�³�@/J¤�:c�c3G-A0� �S>/µ«�+G«U0GH����c�GHU?� · �h�Vµ-QH�0�V>5µ«��CVµHG-A?�i�+Q/����Ç¿>ª�«��¦¤L O¹G->CiY¹U?YU?�+����Jn�i�· �iCiCn��VU0c��TA0����Q5���rÇ¿L¿O«�T�5�/A0�3U0U&�j�5>/A0���Tc3QB�:X CS�K�©�T>5�"�+AIY�G->5�&G:�`��Q5�&µ@�K�+� · �3Y´�T�5�5A��3U0U0��U��N&CiC©�VU0GHµ-A+�:��U~XEGH�/>5�¹�+G«��Q(�K��µ@�K�+� · �hY��:�5�/A0��U0U · �iCiC�XE��U0�3>�¿��G«�+Q/��U0�hCV�3c2�+���gµ@�K�+� · �3Ya�Ç¿>���Q5� �rÇ¿L O�U?�V�5���+Q5��U?YU?�+����U · ��CiC¤FB�:A+�T���h��A?���3�&��Q5�2�SAMA�GH����V>5µz�h�TXCV�3UMU0Gv��Q(���&�rÇ�L OcK��CiCSU��+G«�:>Y�G:�=��Q5�"��¦�L¿O��T�5�/A0�3U0U0��U �:A0��A0G-����3�¬�+G¬�´U0�2CV�3c2�+����µa����� · �hYH�zÇ¿>5c��"��c�GH>¶>5��ch���VGH>��VUM�3U?�2�:XCi�VU0Q5���nJE��CiC �r³=οÍ�U · ��CiCn�V>5�/�3����XB�zA0G-����3��G->��+QB��� �MÇ¿L O�c3G->5>/�3c2�0�VGH>¼��rQ �SU_U0chQ/�3�����KC�CVG · U¿�+Q/���5U0��GT�MU0�hb�3A���C©µ@�K��� · �3YU · �i�+Q/GH� � >���GH�/chQ�V>5µ"@«�+Q/���+A��:>5U0FEG-A?��:�/�5A��3U0U0��U���Q(�K��U0QB��CiC§XE�zFB�:U0U0������A+�:>/U0F(�TA0�3>a�0CiYa�����:c�Q�µ@�K�+� · �3Y · �iCiC§Q(�Kba�z�"c��3A?�2���V>Ë�5�h¶U0c�A?�SF �0�VG->ªGT�M��U0�2�_G:�M�MÇ¿L O@¶6L ON�³�U~�:>5�¹��Q5��>���U?�h�TXCi�VU0Q5��Uz�«���:F/F�V>5µ«XE�h� · ���3>Ë�+Q/�3U0��rÇ¿L¿O��:�/�5A0��U0U0�3U&�:>/���+Q/� c3G-A0A0��U0FEGH>5� �V>5µ"µ@�K�+� · �hY¬�T�5�5A��3U0U0��U ����¦¤L O@¶6L O N�³���U0Gv�+QB����;

��¦�L¿O@¶6L ON�³�������h�jµ@�K�+� · �hY��S�¼J(�rÇ¿L¿O@¶6L ON�³��

· Q/�3A0��«�SU=�+Q/�&�8�/>5ch���VGH>´�5��U0c3A?�VX�V>/µ_��Q5��µa����� · �hY�A0G-����S>/µ�c�GH>aba�3>@���SG->5U��`����cK�:>´�V>5�5���3�U0�2CS��ch�~�´C��TA0µH�_A+�T>5µH�_G:�=���TF5F�V>/µ´�R�5>5c2�0�VG->5U�J · Q �Sc2Q��5��F¼��>5�ËGH>¬�+Q/�vµa����� · �hY¬U?��A0�/ch���5A0�Ci�S�@�";

< F/A0G:b@�V�5� �"U0��A?b �Vc3���RG-A����(>�i���zU0�h�rG:���MÇ¿L O�U?Y/U?���3��U�JB�5U?�V>5µ´�����:F/F�V>5µv�2�:XCV�:J

< ��U?�h�TXCi�VU0Q ��U?Y/U?���3���K�0�Vc����:F/F�V>5µ¬XE�2� · �3��>ª�KC�CÀ����Z�� Z�U?YU?�+����U�� · Q �Sc2Q��/GH>nÁ �_�/U0��1�B�:c2�0CiY[�rÇ¿L O5���T>5����¦¤L O(Jn�5U?�V>5µ«�:>¬<�Î�<�U0FE��ch���(c~�+G��+Q/�vµa����� · ��YË�:>/�[FC��Tch�V>5µ��Q5� ���iZ�� Z_�:�/�5A0��U0UM�S>���Q5�~ÎzO ³¥J

< ��U?�h�TXCi�VU0Q����:F/F�V>5µ-UrU0FE��ch���(c���G´U0GH�"� GHA0µa�:> ���K�����VGH>5U�J

< ��U?�h�TXCi�VU0Q�U?�i�+�&U0F(��ch���(c&A0G-����S>/µ¿�2�:X CS��U�J@U0G_�:U¥��G~���T� ��U0�5A�����Q(�K����CiCn�rÇ¿L OvL ON�³=U�:A��z��VA0��ch��CiY«A0GH� �+������Gv�+Q5�~c3G-A0A0��U0F(G->5� �S>/µ´U?�i�+� µa����� · �hYH�

���:c�Qzµa����� · ��Y · �iCiC��Q5��>vF/A0GTb �V�5�©c3G->5>5��c2�0�ib �i�?Y ��G�����U§U0�/F5FEGHAI�+�����rÇ¿L Oa¶�L O N�³=U �/�rµT��b@�3>L O N�³$cK�:>�XE� �5��chC��:A��3���V>�U0�hb@�3A+�KCnµ@�K�+� · �hY/Ur�T>5����Q5�/U�A0�K�:chQ/�3�´b ���"�T>@Y�GT���i�+UMµ@�K�+� · �hY�:�/�5A��3U0U0��Ur�RA0G-� ��Q5�_��¦¤L O�U?�S�/���jU0�3���BµH�5A��z�@�+�

�rQ�VU&���h��Q5G ��A��3U0GTC�b@�3U��+Q/�zF5A�GHXCV��� �5�5�¿�+G��(���2�:µ-A+�T� A�GH� �0�V>5µJ(X/��¿F5A0��U0�3>@��UrU0G-���Ci�S�v���2�����VGH>5U&�V>5c�A0�K�:U?�V>5µ · �i�+Q¬�+Q/�vU?���3�~G:�À�+Q/�"�rÇ¿L¿O�U0�5X/>5�2� · GHA�� ;�µa����� · �hYU&GH>CiY�U0�3A?b@�U0�5X/U0c3AI�SXE����Q5G-U?�+U�J©��Q�5U_A0���5�/ch�V>5µ��+Q/�¬�:� b �:>H�2�:µ-��G:�~���8� C�CML ON�³ÆU0GTCS� �0�VG->n�¹<I�"c3G-�CV�CV���T�g�+GË�T>g�S>/�5��U?�SA��:X CS��FB�:A?���i�0�VGH>ÊGT����Q5�«�rÇ¿L¿OgU0�5X5>/�h� · GHA0�BJ¤CVGHU?�V>5µ«��Q5��A��hCi�R�TX�iCi���IY�G:���Q5�zA��3�5�/>5�/�3>@�M�V>@���3A�c3G->5>5��ch���VGH>�U0c3Q/�3���:�

 

Page 7: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

CLNS

CONS

G

G

G

2

3

1

Grouping of CONS-NSAPs served by the same gateway

Figure 4

� � H � +32 ) H �� H#) � ) ,�)�. D � � DF+-2 41) +

WEA0G-� �+Q/�v� �SU0c��5U0U?�VGH>¹�:XEG�b �:JB���¿U0�3����U&�+QB���¿��Q5�~�S> �+��A0c�GH>5>/�3c2�0�VG->�G:����¦¤L O¹�:>/���rÇ¿L O>5�2� · G-A0� U_�VU�>5GT�«����A?�ib ����C��h�TU0�(� �rQ/��chQ(�KC�CV��>5µH��A0��U?�S�/�3U��V>8�B>5��V>/µÊ� >�>/�h� · G-A0��C��3Y ��AU0G:CV� �0�VGH>7@g�j���-� · Q/�3A��ËA�GH� �0�V>5µª�:>/� �T�5�/A0�3U0U´���:F/F�V>5µ �:A��¬XB�:U0���ÈG->CiY¸GH>Ì��Q5��L ON�³�:�/�5A��3U0U0��U�J · �i��Q5GH� �~�+Q/��A0��U?�+AI�Sc2�0�ib ��U0�/X5U0c�A?�SF �0�VG->ª�"�3c�Q(�:> �VU��«��<�>��+Q/�´F/A0��U0�3>@�_U0��ch���VGH>· ��F/A0G-F¼G-U0�¬U0�/chQ¸�[U0G:CV� �0�VGH> · Q�VchQ A0�3¾@��VA0��U�J�Q5G · �2ba�3AhJ��¹U?Ci�VµHQ@�"��G ����(cK�����SG->�GT����Q5���A+�:>/U0FEGHA?�¿F5A�G:��Gc�G:Cj�9�rQ5�_U0�3���T>@�0�Vc�U�G:�À�+Q/�"c�GH>/>5��ch���SG->¹U0�h�¿�5F¹U0Q5GH� CV�[XE�v��G � ���B�3�Ë�+G�V>5c2CS�/�5�&��Q5�&�1�5c2Q(�T>5µH�&GT�n��Q5��U0�2CS��ch���3�´µ@�K�+� · �3Y´�T�5�/A0�3U0U=�S>��:�/��i�0�VGH>"��G�XEGT�+Q´c��KC�CV���«�:>/�cK��CiC��V>/µ��T�5�/A0��U�U0��U��©<?>��+Q/�z�:c2�+�B��C¤U?�2�:>/�(�:A����+A+�T>5U0FEG-A?�&U0�3AIb �Vc3�"�+� �:�jJ�2�:X CS�~ %6��v�¡�@ZK�"FB�:µ-�ZHZ�^H���+Q/� c3G->5>/�3c2�0�VGH>���U?�2�:XCi�VU0Q5����>@�&F5AI�S���i����b@�3U��/U0�3UM��Q5���RG:CiCVG · �V>5µvFB�:A+�T���h���3A�U�;

< cK��CiCV�3�[�T�5�/A0�3U0U�J

< cK��CiCi�S>/µ��T�5�5A��3U0U�J

< A��3U0FEGH>/��V>5µ´�T�5�/A0�3U0U�J

<�� Ç~O��:>/� ��O��5U0��A?¶6�(�K�h�@�

�G · �2ba�3AhJ��Q5� A0��U0FEGH>5� �V>5µ´�:�/�5A0��U0UrFB�:A��:���2�+��A · �:U��S>�F/A+�:c2���Sc��z��C · �hYU��V�5�3> �0�VcK��CE��Gv�+Q/�cK��CiCS���[�T�5�5A��3U0U���<�>�F/A?�V>5c2�SF CS�:JB�+Q �SU&F(�TA+�T���h���3A&U0Q/GH� CS��XE�~�5U0�3�«�+G�U0F(��ch�i�SY¬��Q5�zA0��U0FEGH>/�¶�V>5µ��+A+�T>5U0FEG-A?� �/U0�3Ar�6���-����U0F¼��ch���Bcv�:�/�5A0��U0U�A0�2�+�/A0>5�����TU&�+Q/�vA0��U0�Ci� GT�=c��KC�Ci�V>5µ���µH��>5��A?�Vc�:�/�5A��3U0U�� �:�j� �MQ�VUr�V>�RG-A0�������VGH>¬�SU&>5GT� A��hCV�hba�T>@�M�RGHA�µa����� · �hY@�S>/µ´F5�/A0FBGHU0�:J`�TU&����c3G->@b �2Y/U�-�&ON�³ �:�/�5A0��U0U�GH>���Q5�_A0����G:��� >0��>/� @´U?YU?�+��� �:>/���5G ��U&>5G:�¿U0�3AIb � ��G´U0FE�3c2�i��Y[�:>��V>¶���3A0��������K�+�zµa����� · �hYa�©��� c�GH�CV��c��3AI�h�K�S> C�Y��5U0�v�"U?�V���iC��:A&U0c�Q5�3�"���+G´cK�:A�A?Y«��Q5�zµa����� · ��Y�:�/�5A��3U0U�GHA~��Q5��U0G-�5A�c3��L O N�³t�:�/�5A0��U0U · Q5�3>ªc3GH>/>5��ch���V>5µg��¦�L¿OÊ�:>5� �rÇ¿L OgL O N�³=U��

º

Page 8: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

� · GzF(�TA+�T���h���3A�UrU0Q5G-�CV��XE�z�:�/�5���«��Gv��Q5�&�+A��:>/U0F¼G-A?�&c�GH>/>5��ch���SG->��3U?�2�:X C��VU0Q5����>@�MF5AI�S���i¶����b�3U=�8G-AM�+Q �SUMF5�/A0FEGHU0�:�

CLNS CONS

Figure 5

G1

G2

A

B

TPDU exchange during connection set up

�rQ/�«U0c��3>(�TA?�VG¹GT� �«��A+�T>5U0FEGHAI��c�GH>5>/�3c2�0�VG->�U0�h�v�5F · ��CiCMX¼���:U_�RG:CiCSG · U�;�U0�5F/F¼G-U0����Q(�K�����A+�:>/U0FEGHA?�~U0��A?b �Vc3���/U0�3A¿GH>Ê�«��¦¤L OËQ5GHU?��� A0��¾ �5��U?�+U¿�+Q/���3U?�2�:XCi�VU0Q5����>@�~G:�M��c3G->5>/�3c2¶���SG-> · �i�+QÊ�¬A��3��GT�+� �&ON�³PG->��¬�rÇ¿L OgQ/GHU?��� �6U0��� �(µ-�5A0��U" Ëd ºK¶?�-�2��N��r³À¶��¹��D�r³=Î¿Í · �i��Q~�+Q/�=c�GHA0A��3U0FEG->5��V>5µ�cK��CiCi�S>/µ¿�:>5�~cK��CiCS��� ��ON�³À¶8<�Î��SU¤��>ba�2CSG-F5FB�3�~XY ����¦¤L�³Q5�K�:�/�3A¿c��TA0A?Y@�S>/µ«GH>CiY��+Q/�"L¿ON�³P�T�5�5A��3U0U0��U G:��Q/GHU?��U�� �T>5���«�5�rQ �VU��SU0G-µHA��:� �VU U0��>@��:c�A0G-U0Uz��Q5�´c3GH>/>5��ch���VGH>CV��U0Uv>/�h� · G-A0���T>5� · �iCiC�XB��A0G-��+���g��G¹�:>@Y�GT�M��Q5�«��¦¤L O76H�rÇ�L Oµ@�K��� · �hYU��jU+�3Y����3�2� �rQ5��µa����� · �hYª��U?�h�TXCi�SU0Q/�3U���>5�2� · GHA��ªc3G->5>/�3c2�0�VGH> · �i�+QÊ��Q5���5��U?¶���S>B�����SG->�L O N�³§J§�5U?�V>5µ� �:U~�+Q/��U0GH�/A0c3��L ON�³©� �rQ5��µa����� · �hY¹��Q5��>�A��hC��3Y/U¿�+Q/� �r³À¶6Ãc�GH>5>/�3c2�0�VG->ÈA��3¾@�5�3U?��G->���Q5�[�rÇ�L O¸U?�V�5�:J&�:>5� · �K����U_�8G-A�A��3c��h�VF��GT�¿�+Q/�¬c�GH> �(A0���K���SG->GH>��+Q/�´U+�T����>/�h� · G-A0�[c3G->5>/�3c2�0�VGH>¼��� Q/�3>g��Q5��c�GH>5>/�3c2�0�VG->g�SU~c3G-> �BA0���3�g��Q5��µa����� · ��Y��>5c3G �/�3U_�¬U0FE�3c2�R�KCF�r³À¶6�¹�r�¢c3G->@�h�K�S> �V>5µË�«>5� · F(�:A��:���2�+��A �V>g��Q5��b �TA?���:XCV��F(�TA?��;v��Q5�>2»��®¶j�VU @~FB�:A��:���2�+��A��A�rQ�VUÀU0��A?b�3U`�+G~c�GH> �(A0�¢��Q5��c�GH>/>5��ch���VGH>��T>5�_��G¿�V>�RGHA�� ��Q5��U0GH�5A�c3�G:�À��Q5�_µ@�K�+� · �hY«�+G��5U0�~�S>ËU0�5X/U0�3¾ �/�3>a��Î � �r³=Î Í�U&�+A+�T>5U?�R�3Ah� �MQ5�vcK��CiCi�V>5µ��M³©¶6����>@�����6Y�5U0��U���Q�VUMµ@�K�+� · �3Y��T�5�/A0�3U0U&�:U��+Q/� �5��U?�0�V>(�K�0�VG->¬L¿ON�³��S>���Q5� Q/���T�5�3AMGT���(�K�h�z�VU0GHµ-A+�:�"U3�� Q5��>�A0��c3�2�ib �3���K�¥��Q5�rµa����� · �hYHJT��Q5�rÎ �?�r³=οÍ�U · ��CiCBX(�&�:U0U0G ch���K�+���_�+G��+Q/��c3G-A0A0��U0FEGH>5� ¶�V>5µ �r³À¶6ÃËc�GH>5>/�3c2�0�VG->Ê�5U?�V>5µ«��Q5� >0�5U?�0¶6A0�2� @ª�6c�GH>/>5��ch���SG->¶8�V�(�¿F(�TA+�T���h���3Ah�¬L�G:�����+QB���_�V>��CiCE��Q5���r³=οÍ�U���5c�Q(�:>/µH��U�JH�+Q5���&ON�³À¶8<�Î �(�2CV�5U�c�GH>a�h�K�S>"�+Q/����¶�U0�2CVU�b ��CV�5��U��:>/� · ��CiCnXB�F(�TU0U0�3�´��A+�:>/U0F(�TA0�3>a�0CiY"��Q5A�GH�5µ-Q���Q5��µa����� · �hYa��<?>¬�T�5� �����VGH>nJ@��Q5�&U0GH�/A0c��¿�/G@��U�>/G:�MQ(��ba�r��G· G-A0A?Y«�:XEG-�� · Q �Vc3Q�µ@�K�+� · �3Y�����U0�3>@����Q5�_��D ��G/�

<�>¬�+Q/�vA��hb/��A0U0�~��VA0�3c2�0�VG->nJE�j� �:���r³À¶�Ã�chCi�V�3> ��cK��CiC��V>5µ«� �r³À¶���U0�3A?b@�3A~� �(µ-�5A0��º�¶6X(�+JB�+Q/�U0GH�/A0c��zU0�3>/�5U��">/�h� · G-A0��c3G->5>/�3c2�0�VGH>¬A0�3¾@�5��U?�&��G��:>@Y«µa����� · �hY¬OL�³`N_J · ����Q���Q5�z��¦¤L Oa¶L O N�³¢�:U¿�+Q/���5��U?�0�V>(�K�0�VG-> �T�5�/A0�3U0U��3�MQ5��µ@�K�+� · �hY[c3G-> �(A�� ��Q5��c�GH>5>/�3c2���SG->ªG->gX(��Q(�KC��G:� �+Q/�[�5��U?�0�V>(�K�0�VG->n�¢� Q5��>$����A��3c��h�ib ��U���Q5� �r³À¶6à c3G->5>5��c2�0�VGH>®A0��¾ �/�3U?�3J&�+Q/�[µ@�K�+� · �hYU0��>5�5U���U0FB�3c2����C �r³À¶�� ��D �r³=Î¿Í ��G¹�V>5� �Vc��K�+���+G���Q5��A0�3�"G:��� �r³À¶6�g��>@�����IYª��Q5��c3G->¶>5��ch���VGH>ÊA��3¾ �/�3U?�3J§U0FE��ch�i�SY �V>5µ«��Q5��U0GH�/A0c3���:�/�5A0��U0U �V>��«>5� · FB�:A+�T���h����A�J§��Q5� >+»��®¶8�8G-A @F(�TA+�T���h���3Ah� �MQ5��>5�2� · GHA�� U0G-�5A0c��[�:�5�/A0��U0U��V>���Q5���VU0GHµ-A+�:� c��TA0A?Y@�S>/µ¹��Q5�[��D �M³�οͷ �iCiC�XB���+Q/����¦¤L Og�:�/�5A0��U0Uvc�GHA�A0�3FBG->5��V>5µ��+G«��Q5��µ@�K�+� · �hYa�´N&�S�+��Az>/G:���i��Y@�S>/µ«�+QB���_��Q�VUcK��CiC5c�GH����U¤�RA0GH�¢�¿�rÇ¿L¿OzQ/GHU?�3J-��Q5�F�r³À¶6���3> �0�i��Y �h�i�+Q/�3A©�Tc3c��3F �ÀG-A�A0� ����ch�¥��Q5��c�GH>/>5�3c2���SG->n�

Â

Page 9: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

A

Set Network

Connection

(B,A)[CR(4){TS1=b,TS2=a}]

Accept

Network

connection

connection(from A to B)

connection accepted (B)

B

Relays CR

CR(0){TS1=b,TS2=a}Accept

connection

TransportCC(0){TS1=b,TS2=a}

Relays CC

Note the

usage of the GW

Send DT TPDU

if required

(GW,A)[DT TPDU]

Associate to TP0by "connection id"

Relays

DT TPDU

and

Scenario of connection set up with gateway notification

G2

Figure 6-a

(A,B)[CC(4){TS1=b,TS2=a,GW-is= G2}]

]

Page 10: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

A

Accept

Network

connection

connection(from A to B)

connection accepted (B)

B

Relays CR

CR(0){TS1=b,TS2=a}

CC(0){TS1=b,TS2=a}

DT TPDU

Associate to TP0by "connection id"

Relaysand

Accept

connection

Transport

Note the

usage of the GW

G2

(G2,B)[CC(4){TS1=b,TS2=a}]

segmentation

flow control

relay, retransmission

)[DT TPDU](B,G 2

Scenario in the case of a CONS host calling a CLNS server

Figure 6-b

(B,G2)[CR(4){TS1=b,TS2=a,GW-for=A}]

\

Page 11: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

<��=�+Q5�_c�GH>5>/�3c2�0�VG->��VUz�:c�c3��F���3�¼J`�«�r� �M³�ο͢�VU U0��>@�&��G���Q5�_µ@�K�+� · �hY · �i��Q���Q5���:F5F/A0GT¶F5AI�R�K�+�¿b@�KCV�5� GT���+Q/� >��/U?�0¶6A0�2� @��(�hCV�¼�F�rQ5� µa����� · ��Y´��Q5��>�c3G-> �BA0� �+Q/���r³À¶�Ã"c�GH>/>5��ch���SG->n�Î � �r³=Î Í�UvcK�:> X¼�"�+A+�T>5U0���i���+���Ê�RA0GH� �r³À¶6Ã/J¥��Q5�2Y · �iC�C�XE�«A0�2C��3Ya�3�ÊX@Y¹�+Q/��µ@�K�+� · �3YaJA0�2�h�T>5U0���i���+���Ê�i�&>5��c3��U0U+�:AIY J¥�:c3c�GHA���V>5µ��+G¬��Q5� �M³©¶6�¹F/A0G:��Gac3GTC6�¬<�> � \K�6J · ��F/A0�3U0��>@�_��Q5�A0��¾ � �SA��3��c2Q(�T>5µH��U§GT�E��Q5����A+�T>5U0FEGHAI�©U0�3AIb �Vc3�r�T>5��F/A0GT�+Gac3GTC(U?�2�:>/�(�TA0�5U��V>�GHA0�/�3A¥��G¿U0�5F/FEGHA?���A+�:>/U0FEGHA?�&X/A?�V�5µT�S>/µ/�

�rQ�VU ���2�+Q/G ��F/A0G�b@�S�/�3Uz��µ-�3>/�3A+�KC©U0G:CV����SG->¹�+G���Q5�_�S> �+��A0>/�h� · GHA��a�V>5µ«F5A�GHXCV����� �rQ5��5U0�~G:�À>5�h� · GHA0��CV�hb�hC¤�T�5�/A0�3U0U0��U���CiCVG · ��Q5�~c��TU0c��T��V>5µ´GT�©U0�2b �3A���C¤µa����� · �hYUrXE�2� · ���3>´�+Q/�� · Gz�3>/��U?Y/U?���3��U��/�rQ �SU�U0c3Q/�3���&c��T>�XE�~�TF5F C��V�3����GvF5A0GKb �V�5� >��V>@���3A�>5�2�@vµ@�K�+� · �hY �V>5µJX@Yc�GH>5cK�����3>B�����V>5µ"��Q5� ���VU?�h�T>�&�rÇ�L O��:>/����¦¤L O�U0�5X/>5�2� · GHA�� U���GHµ-�h��Q5��A��

<�>®U0G-���[c��TU0�3U · ��c3G-�CV�®F5A��h�R�3A��T> �:�¶6Q5G c[U0GTCV��0�VG-> · Q�VchQ$�5G ��U0>nÁ ��A0��¾ � �SA����:>@Y��G ����Bc��K�0�VGH>�GT�¥��Q5����A+�:>/U0FEGHA?��F5A0GT�+Gac�G:Cj�

� ������� .1D )�E ��� H � +-2 ) H �� H#4���� D 4 � .1D � DB+ ����� 41) +

N�U_XEG:��Q¹�+Q/�����/A0G-F¼�K�:>��T>5�¹��Q5��Í¿Og>5�h� · GHA�� Uz�TA0� >0��G�b �V>5µ«��G · �TA0�5U_Ç~O@<�@/J¤>/� · �TF¶FCi�Vc��K�0�VG->5U�����YªXB���5�2b �hCVGHF/F(��� · ����Q�U?�2�:>5�B�:A��¸Ç~O@<_F5A�G:��G c3GTCSU�J©XYªc�GH�"��GH>�A��3U0�K�:A0c2QF5A�G����3c2�+U��©�G · �hba��A�J��Q5���V>���3AI¶ · GHA��a�V>5µ"GT���+Q/�3U0�_�:F5F Ci�ScK�����SG->5UMA0��¾ ��VA0�¿�+Q/� �V��FCV�3����>@�2��¶���SG->«GT�¥� �+A��:>5U0FEG-A?� >�F5A�G:��G c3GTCnc3G->@b �3AI�+��A @~G-Ar� ��A+�T>5U0FEGHA?�MX/A?�V�5µ-�¿XB�2� · �3��>���Q5��� ��:¼�3A0��>@�F5A�G:��G c3GTC©chC��:U0U0��U��V>�XEG:��Q¹U?�S�/�3U��~���vQB�3ba���5�2b �hCVGHF/F(���g�´��A+�T>5U0FBGHA?�~U0��A?b �Vc3��X/A?�V�5µ-�"XB�h¶� · ���3> �M³©¶6�´GTba�3A&��¦¤L�³ �:>5� �r³À¶�Ã�G�b ��A��v�¡�-  · Q �Sc2Q�F(�TU0U0�3UM�+Q/����¶6U0�hCVUM�+A��:>/U�FB�:A��3> �0CiY�:>/� �(>/�5U���CiC=�+Q5�´A0GH� �0�V>5µ��S> �8G-A0���K�0�VGH>ª�S>g��Q5�´L ON�³=U�� �rQ/��µa����� · �hY��VU"���5U0�3A~CV�2b/�2CF5A�GHµ-A+�:��� A0��¾ � �VA?�S>/µg�T>g�����H ¬U0G ch�-�2�_X(�TU0�3� �5U0�3A~�V>@���3AI�6�Tc3��G->ÊGH>/�«U?�V�5� · �i��Q��«<�O/Ç�¶��¦¤L�³ >��B���2�:µ-A+�:�3@"U0G c2�a�h�MG->��+Q/� G:��Q5��A&U?�S�/�-�

system

user

CLNS CONS

TP4 TP0

Ethernet driver

Network layer interfacing with the system

Figure 6

X.25

�rQ/�5U�J:�+Q/��µa����� · �3Y · �iC�CEQ(��b ��� · G >�>5�2� · G-A0�zCV�2b �hC @¿�V>���3AI�6�Tc3��U�J �T>5�"�+Q/�3A��h�RGHAÀ� · G~L O N�³�:�/�5A��3U0U0��U�GH>5���RGHA´��¦¤L OÌ�:>5� ��Q5��G:��Q5��A��RGHA´�rÇ¿L O(���MQ�VU������T>5U"�+QB���"�+Q/�¬µa����� · ��YF5A�G:b@�S�/�3U�����U�G · >«�+A+�T>5U0FEG-A?� �T���GH���K�+G->[�5U?�V>5µ«�:>¬�S��F CV�3����>@�h�K�0�VG->�G:� �r³À¶��«�:>/� �r³À¶6ÃF(�Tc3�T�:µ-�3U��©<���A��3c��h�ib ��UrGTb@��A&�rÇ¿L O¬� �r³À¶�Ã3�r³=Î Í_JE�:U0U0G c2�R�K�+��UM��� · �i�+Q[� �r³©¶6�´c�GH>/>5��ch¶

Z3Ã

Page 12: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

���SG->nJFE��A?�8G-A0��UM�:�5��¾ �B������U0��µH����>�2�����VGH>�G-A�c�GH>/c��K�+��>(�K�0�VGH>��T>5��U0��>5�/U���Q5���(�K�h���S>��r³À¶6��r³=οÍ�U���G_��Q5� ��¦¤L O��T�5�5A��3U0Ur�TU0U0G ch��������� · �i��Q���Q5���r³À¶6�vc3G->5>5��ch���VGH>´�5U?�V>5µz�+Q/� ��¦¤L O�V>���3AI�6�Tc3�:���MQ5�zA����TU0GH>��RGHAM�V>@���3AI�6�Tch�V>5µ´�K�&��Q5�z>/�h� · G-A0��C���Ya��A��VUM��G´Q(�3ba�z��F¼G-A?�2�:X CS�¿�S��¶FCV�����3> �h�K�0�VGH> · Q�VchQ"�5G �3U�>/G:�MA0��¾ � �SA��¿�T>@Y"�@�3A0>/�hCB��G ����(cK�����VGH> · Q5�2�+Q/�3AÀ�+Q5�&��A+�T>5U0FBGHA?�F5A�G:��G c3GTC(�VU�U0�/F5FEGHA?������XY_�+Q/���@�3A�>5�hCBGHA=>5GT�K�¥<?>�XEG:��Q�cK�:U0��U©��Q5�M�+A+�T>5U0FEG-A?��C��KYa�3A · �iCiCnX(������C������3��X@Y��+Q/�zµ@�K�+� · �3Y��i�+U0�2C����6U0�����BµH�/A0�vÂ-�2��<�>¹���(A�U?��U?���3F · �~��V��>5GT�&�V��FCV�����3> ���Q5����A+�:>/U0FEGHA?�MF/A0G:��G c3GTC¤�����3>5U?�VG->«F/A0GHFEG-U0�3�´�V>��+Q5�¿F5A0�2b �VGH�/U�U0�3c2���SG->nJ5X/��M�RG:CiCVG · �3�´��Q5�µ@�K��� · �hYvU0�/X5U0c�A?�VF���SG->��:F/F5A0Ga�:c�Qn��rQ5�Mµ@�K�+� · �3YvFE�3AI�8G-A0��U©U?Y/U?���3���K�0�Vc��T�5�/A0��U�U©���TF5F �S>/µ�RGHA����iZT�@Z~U?Y/U?���3��U&�:UM�5��U0c3A?�VXE���«�V>�U0��ch���SG->��/��Ç¿>/� G:����Q5� � ����c��Ci���S��U���Q(�K� · ���3>/c3G-�5> ¶���3A0��� · �:U��+Q/��CR�Tch��G:���:>Ê��¦¤L�³ �VU0GHµ-A+�T� U0�/F5FBGHAI�K��N&� �(A0U?�3J · �_�V��FCV�����3>@���3�Ê���R�CiC��¦¤L O´�V>@���3A?�j�Tc3���5>/�5��Ar����A0� �2CiY���¡�vÍ�Î ³ÌU0G c2�a�h��U�JX5� � · �¿QB�3b ����>5�5�����5F��V>��A0GH�/�5c2�S>/µ��Q�VU�F(�:c2�H�TµH�"�S>@��G¬��Q5���a�3A0>/�hCM��Ci�+G-µH�2��Q5�3A · ����Q¸�¬FB�:AI�0����C��V��FCV�3����>@�2�����SG->ÊG:�r��Q5��<0O5ÇA0G-����h�V>5µ�F5A0GT�+Gac3GTCVU��

�rQ5�¹µ@�K�+� · �3YÈQ(�TU�X¼���3> �+��U?���3� · �i��QÄ���M³©¶6�������������$c2C��V��>@���:>/� ���M³©¶6Ã��������! "�U0��A?b/��A��#�MQ5�&µ@����� · �hY"FE�3AI�8G-A0��U©��Q5���:�/�5A0��U0U����TF5F�V>/µ/J%$(G · c3G->@�+A�G:CjJ@U0�3µ-���3>@�2�����VGH>��:>5�A0�K�:U0U0����XCV�hY«�K��XBG:��Q&�r³À¶��´�T>5�[��¦�L¿O´CR�KYa�3A0U��

' (*)�+-,/.103254) +

<?>���Q�VU�F(�TF¼��A�J · �«�T>(�KC�YU0�3� �+Q/�¬��¦¤L O76H�rÇ�L OÊ�V>@���3A�>5�h� · GHA0�H�S>/µËF5A�GHXCV�����8�rQ5��A0�K��C��GH�5c�Q5U?��GH>/���V>��+Q/����Oa¶�X/A?�V�5µ-�3U&�5��U?�Sµ->��VU · �h��Q5��AM�+G��5U0�z��Q5�9��¶6U��2CVU&�S>���Q5��U0�vX/A?�V�5µ-�3U&GHA>5GT�K�©���:AIC�Y��V��FCV�3����>@�2�����SG->5U©GT�¤U0�/chQ�µa����� · �hYU · �3A0�MG:�S���3>��T�¶6Q5G c&U0G:CV����VGH>5U��T>5�´���:�/��5U0�~G:����Q5�9��¶�U0�2CVU��V>����:n��A0��>@� · �hY/U�;

< ���/c+Q��3��F/Q(�TU?�SU&G->�>5�2� · GHA��«�:�/���S> �SU?��A+�K�0�VGH>«�S>���Q5�~D�Ç~O �®�:>/�����re�N¢X5AI�S�/µH��U�J· Q �Sc2Q«CV�����+G´�/�=�B>5�z�v�j���VA?CiY«c�GH��F CS��?>�U?�2�:>/�(�TA0��U?�+A��5c2�+�/A0��@�G:�A��O N�³=U�J

< ��G-A0�M�3��F/Q(�:U?�VU�G->�c3G->5>/�3c2�0�ib �i�?Yz�V>"Y �h�ÀU�G-���rGT�+Q/�3A�U�J · Q�VchQ�CV���T�5U¥��G~F(�TU0U¥�+Q/�r�R�CiC�2�:A0µ-�h��L¿ON�³t�:>/�8��¶6U0�hC��S>g��Q5�´�+A��:>/U0F(G-A?���T�5�/A0�3U0U_�:� µ¬<?L�DM<�N X5A?�V�5µ-��XE�h� · �3��>�r³À¶6Ã"G:ba�3A=�����H "�T>5��D&W¥��ZKÃ-Ã@ºzG:ba��AB����³$A��5>5> �S>/µ´U?�V>5c�� >5G�ba����X5��A~ZT\H]-Â��I�z�R� C�CL O N�³$b ��A0U?�VGH>�G:�§�+Q �VUrX5AI�S�/µH�¿�SUMXE�h�V>5µ´�/�hb@�hCVGHF/F(����>5G · �K�M<�L�DM<?N �+�

L O N�³tX(�TU0�3�ÌU0G:CV����SG->5U���CiCVG · �RGHAv�+A��:>5U0FB�:A��3>5c2Y¸�:U_�+Q/�¬�/�3U?���V>(�����VGH>���¶6U0�hCM�VUvCV�2���´�5> ¶��GH�5c�Q5����XaY´��Q5��µa����� · �hYH�À�G · �2b ��A�JH���À�_µ-�3>/�3A+�KC¤U0GTCS� �0�VGH>´�VU���GvX¼��F/A0G:b@�V�5�3�¼J�:>������3>¶U?�VGH>´G:�¼�+Q/�r��A+�T>5U0FEGHAI��F/A0G:��Gac3GTC(�VU�>/�3���5������G_A0��U0G:Cib ���+Q/��F/A0GHX CS��� GT�¤A��:>5�/GH� �B���2�:µ-A+�T�A0G-����S>/µª��Ç��+Q/�3A · �VU0�-J¤���3c�Q5> �S¾@�5��U�Ci�S�@��U?Y/U?���3���K�0�Vc«�:�/�5A��3U0U_���:F/F�V>5µ¬���KY¹XE���/U0�3�¹��G�V��FCV�3�"�3>��>5�2� · G-A0�vCV�2b/�2C¼U0GTCS� �0�VG->5U��©Nĵa����� · �3Y��5U?�V>5µz��Q�VU����3c�Q5> �S¾@�5� · �:U��/�hb �2CSG-F5FB�3����r<�L�Dr<?N �S>�N�F5A?�iC©Z�\H]-\ �

C�DFEGD/H#DB+-,/DF2

�¡Z��_�=�5A0G-FE���T> ��GH��F/����3A�e[�T>��j�:c2���5A0��A0U�N�U0U0G@c2�������SG->®¶"���re�N_� o��/�¬�(|({2�8qz%�48²�9-)�Å�+'B46%�)��+9-'5'E%0��48789:'«�n�2%�'E*:)2789-1¥�(%�)2��7�4846%0}"²À7�4�l 7S'Ë4�l/%&��)0*-��%�²=9-)�Åv9�¯�4Rl%¿�0�¤oÀ°¤o��5��p�%8¯2�%�)+%�'(�+%z�g9T}a%�, ;3�¥�3c+Q/>�Vc��KC©D���FBGHA?���-  J¤�=�/A0GHFB���T>Ê��GH��F/����3A~e[�:>� �6�Tch���5A��3A�U N�U0U0G:¶ch�������VGH>¹Z�\H]H @�

Z-Z

Page 13: V> 3A 3 R K + Mµ@ K - Inriaplanete.inria.fr/dabbous/publis/clco1-90.pdf · GH CV XB 5c+Q¹ GHA0 A0 2Ci R TX CV G X( :U0 Ë>5 h · GHA0 Ê V> 3A c3G->5>5 ch VGH>5U"GH>

����������� ��������� ����������� �"!$#&%�'(%�)+*-,/.�)0%�12%3'546*-48789:'/;=<?>@�+��A0>B��CED���FEGHAI�KJ<?L�DM<�NPOG-F5Q �R�N�>@���SFBGTC��VU�J5WE�3X/A0�B�:A?Y[Z�\H]-] �

��^��_W��`Oa�SA�G:b@����c+Q[dfeg��N�>a�+G->5�hCiCi�V>�jJ�k`l/%[knm�o�prqtsvuSwaxax�yz7S1+48)27j{h| 46%h}"y~7�)�%+��469-)2����'5�K7��)+9:'B��%�'54R;=��U0F/A?�i� ��G->�R�3A��3>/c3�������3���6L�G:ba���vXB�3A~Z�\H]-]H�+�

� �:�_D&�3c�GH������>5�B�����SG->������ Z3�/J�kB)0*-'518�59-)24��n%�)2�K78�2%�y_%8�='57�487R9-'���9:)�o��B%�'��E�:1�4�%���1r�+'546%3)2��h9-'5'(%+��4j7R9-'��2o��/�8�T;�D&�3����G GH�BJ5��G:CV�5���&��<0<?<2J(Wn�:U0c2�VchCV�&��<0<0<2�¡ @�

�� ��~�¢�¤£ G-Q(�:>/>5U0��>nJ¥�¢�§¦§�:�"�3A0U0�/GHA?�IJ©¨"�§D&�2�S>/Q(�TA0��3�ª��)0�2l 7S4�%��348| )0%«*:'E}¬y_%�1+7i­:'®9?¯�*-'o§�(%�'[�E�:1�46%3��1z�¤��q�°��z��q±#r*-46%�²�*-��;´³=A0G c��3����V>5µ-U G:�=��Q5��<?���=�P��G-��F5� �+��A L��2��¶· GHA��a�V>5µ´O@Y��FBGHU?�V�5��J/�¸�:U0Q�V>/µ:��GH>nJN�F5A?�iC�Z-Z�¶0ZT^@JnZ�\H]H]@J(F/F¹ZHZ���¶0ZHZ�\ �

��º���» A��3µ-GHA�b¼�T��G chQ/���:>/>��:>5�_N�>/�5A5½�©£/�:c�¾ �/�3U��¿#&*-46%�²=*-�:1=��9-)~k`l/%¿o��/�zkB)�*-'B1R�B9:)24(�¼%�)2��K78�2%h;À³�A�Gc����3��V>/µHU§GT�/�+Q/�©<��=�=�¹<?>�RGac3G-��Áa]HÂrc�GH> �8��A0��>5c��-JaO/�:>_WEA+�T>5c2�SU0c�G/J-�M��Ci���RG-A0>��� JN�F5AI��CÀZT\H]- JBF5F¹Z3ÃH�a �¶0ZKÃa H� �

��Â������H���i���3���¹�Äl@7�­�l"1R�(%+%+} '(%348²=9-)�Åv�h9:'B'(%+��48789:'�{+%�48²=%+%�'�q��/�$*-'(}¿��q�p&����;À<�>@���3A�>(�KCD���FEGHAI�KJ<?L�DM<�NÆO GHF/Q���vN�>@���SFBG:Ci�VU�J¼Ç¿c2��GHXB�3A~Z�\H]- �

��]���OE���r�À¨���CiCV�-JÈ� '�7�46%�)27��É*��a�¼)�9�*a�2lÊ4�9¹|12%Ë9?¯´qz%348²=9-)�Ŭ�¿}H}-)0%�1+12%�10;ÌD���U0���TA0chQÊ>/G:���-J�8A�GH�fÍ�>�ib�3A0U?�i��Y¬��GTC�CV��µH� GT�©¦¤GH>/�5G->nJ£/�T>�(�TA?Y[ZT\-]H\@�

��\�����Q/A?�SU?�����:>����i�+����� J@���KC��V��Î~�:X/XEGH�5U�J��=Ï-46%�'51+7R9-'Ë9�¯ o��/�vkn.ÀÐ�469"1�|K�H�B9-)24§48)0*:'B1R�B9:)24{2)278}�­:7S'­�;=<?>@�+��A0>(�KC¤�/Gc��5����>@�3J@<�L�Dr<?NÆOG-F5Q���"N�>@�0�VFBG:Ci�SU��

Z��