reactive objects · n˚ 2664 octobre 1995 programme 2 calcul symbolique, programmation et ge´nie...

27
HAL Id: inria-00074026 https://hal.inria.fr/inria-00074026 Submitted on 24 May 2006 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Reactive Objects Frédéric Boussinot, Guillaume Doumenc, Jean-Bernard Stefani To cite this version: Frédéric Boussinot, Guillaume Doumenc, Jean-Bernard Stefani. Reactive Objects. RR-2664, INRIA. 1995. inria-00074026

Upload: others

Post on 24-Jan-2021

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

HAL Id: inria-00074026https://hal.inria.fr/inria-00074026

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

Reactive ObjectsFrédéric Boussinot, Guillaume Doumenc, Jean-Bernard Stefani

To cite this version:Frédéric Boussinot, Guillaume Doumenc, Jean-Bernard Stefani. Reactive Objects. RR-2664, INRIA.1995. �inria-00074026�

Page 2: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

ISS

N 0

249-

6399

ap por t de r ech er ch e

1995

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Reactive Objects

Frederic Boussinot , Guillaume Doumenc , Jean-Bernard Stefani

N˚ 2664Octobre 1995

PROGRAMME 2

Calcul symbolique,

programmation

et genie logiciel

Page 3: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,
Page 4: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� ��������������

�������� �� ���! #"%$'&�()(��!*�$,+.-0/�&��2131546&�7 �#8 $9&�7 � *� :-0; � 46*=<>" � ��*?4,� �A@ + �CB 4,*��

D�E�FHG�EJICKLK#MONQP RSICT2UJVWT0XZY6K�[F�T]\3^_V=Ma`6bWE�FHG�EJICKLK:ICc�\2F�deMJc�G0fMJdW\2MgT2FHG�\3UJ\3MJTD�E�Fih�M)cgjlk�mon,k

p ICb�b?F�E>cSqWM E�MrU�s=M)E)U�s=Mtd�u,NHvHv�wxPzy UJc�F�[WE�M|{�}H}H~�P�NH��b�I�GHMrX

�e���r�C���W�H�H� m�d�c>s=M�E)MCI�UJc�\]�_MOICbWb�E�F_I�U�s�`�XZY9X�c)M)K�UrF�KLb?F�d�M)d,c�XSICE)Mgd=F�c�XZVWbWbFHX�Mrq�c�FLMJ�9MJ�U)V�c�MxICc c�s=MJ\�EQFr�Sd�E�ICc�MH`=[WVWc�ICE�MO\]d=X�c�MiI�q�q9E�\]�_M)d�[,Y�I.T2FHG�\2UCICT�UrF�KLK�F�d�UJT3F,U��?`?qWM)��dW\�d�GG�T3F�[?ICT�\�d=XZcJICd6c)Xr�� ¡s=M�p�MCI�UJc�\]�_Mxy�[9h�MrUJcOj¢F,qWMJT0\]d6c�E)F6q9V�U�Mrqe\]d£c>sW\3X�b�ICbMJEi`'\2XQICd¤F�['h�MrU)c[�I�X�Mrq�¥¦F�E>KeICT]\2X�K�K:ICc�U�sW\]d=Gec�s�M|E)MCI�UJc�\]�_M|b?ICEJI�q9\2G�K¢��mod¤c�s�\3XQK�F,qWMJT§`?K#MJc�s=F,qWXgUiICd¨[M\�d,�_F��_Mrq£V=XZ\�d=Gx\]d=X�cJICd,cJICd=MrF�V=XSd=F�d��¦[WT3F,U��,\�d=G#X�MJd=q¢F�E�qWMJE�Xr`=�SsW\2U�s¤ICE)MO\�KLK#Mrq9\©ICc)M)T]Y�b�E�F��U�MrX�X�Mrq«ª©c�s�ICc \2Xr`?bWE�F,U�MrX�X�Mrq�q9VWE�\]d=GLc�s=MxUJVWE�E�MJd6c \]d=X�cJICd,cJ¬J­�K#F�E�MrF��_MJEi`�I�K#MJc�s=F,q¢UCICdWd�F�cM)�'MrU)VWc)M�K�F�E)M|c>s�ICd¤F�d�U�M#ICc�MCI�U�s¨\]d=X�c�ICd6ci�x ¡s=MLp�MiI�U)c�\]�_MLy�[9h�MrUJc�j¢F,qWM)T�\2XOq�M�X�UJE�\][M�qICd=q¢UrF�K.b?ICE�M�q:c�Fxc�s=MQ®�U)c�F�EQj¢F,qWMJT§­9c�s=MJd�I�bWE�F�c�F�coY,b?M�T!ICd=G�V�I�GHMO[?I�X�M�qlF�d¢c�sW\2X¡K#F6qWMJT\3XQ\�d,c�E�F,q9V=UrMrq­��Wd�ICT]T�Y¢\]c�XQM)�,bWE�MrX�X�\]�_M�bF��¯M)EQ\2XgX�s�F��Sd°F�d�c�s�MxM)��ICKLbWT3MxF�¥�I�[WE�F_I�q�UCI�X�cU�F�KLK�V�dW\3UiICc�\2F�deK#MrU�s�ICdW\2X�K£�±¢²a³´�µ|¶=��·��a� ®�UJc�F�E�Xr`=R¡F�d=UJVWE�E)M)d,c¡D�E�FHG�E�ICK.KL\]d=G'`¸y%['h�MrU)c�XC`,p�MiI�UJc�\��_M ®SbWb�E�F_I�U�s

¹2ºx»¼�½�¾r¿ »¼�À�Á½oÃ5ÄJÅ

Unite de recherche INRIA Sophia-Antipolis2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France)

Telephone : (33) 93 65 77 77 – Telecopie : (33) 93 65 77 65

Page 5: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

� �|������ ���� ��� ���C�

���²,��� �²x����� ICbWbWE�F,U�s=M�E9fMiI�U)c�\]�_MSX�V�bWbFHX�M�^aV=M T3MrX�UrF�KLb?FHX)ICd6c�X q � V�dxX�Y'X�c��MJK#M�b�ICEJICT]T��M)T2MrXd=M�X � M)�'M�UJVWc�MJd,c?b�I�X��I¡T3MJVWE0b�E�F�bWE�M�E�Y,c�sWK#Ma`)K:IC\3X�X>F�d6c q9\�E>\3G�fMrX0b�ICE�VWd=M�s=F�E�T2FHGHM�T3FHG�\2^aV�M ^_VW\q�fMJ�WdW\]c�qWMrX�\]d=X�cJICd,c�X¯G�T3F�[�ICV���� � M�K#F6q��M)T2MQqWM�X�y%['h�MJc�X�E'fMCI�UJc�\]¥¦X¡\]d6c�E)F6q9V�\�c q=ICd=X%U�M b�ICbW\2M)EM�XZc.V�dA¥¦F�E�K:ICT�\2X�K#M���[?I�X6fMJ�§F�[9h�MJc�X���¥¦F�d=q fM�X�VWELT2Meb�ICEJI�q9\2G�K#M�E'fMCI�UJc�\]¥Z���QICd=XLU�M:K�F,q��MJT2MH`T3MrX¡KAfMJc�s=F,qWMrX¡X�F�d,c ICbWbMJTJfMrMrX¡b�ICESq�M�XSF,q9E�MrX¡q � MJ��fM�UJVWc�\2F�de\]d=X�cJICd,cJICd¯fM�XSMJcSd=F�d:[WT2F6^_V�ICd,c�Xr`c�EJIC\]c9fMrXS\�KLK#M=fM�q'\©ICc�MJK#M)d,cQª¦q9VWEJICd,c¡T � \�d=XZcJICd6c%U�F�V�EJICd6c�¬J��� MQbWT�V�Xr`6VWd=M K��M)K#M KAfM)c�s�F6qWM d=MbM)VWc X � MJ��fM�UJVWc�MJE�bWT]V=X�q � VWd=M�¥¦F�\3X�q'VWEJICd,c�T3M¡K �MJK#M�\]d=X�cJICd,ci� � M�K#F,q!�MJT3M%qWM�X�F�['h�MJc�X�E'fMiI�UJc�\�¥5XM�XZc�q�fMrU)E>\�c�MJc�UrF�KLb�ICE'fM%ICV�K#F6q��M)T2M qWM�X ®�U)c�MJVWE�XC`Jb�VW\3XVWd�T!ICd=G_I�GHM�bWE�F�c�F�coY6bM�¥¦F�d=q�M=fM¯X�VWE U�MK#F6q��M)T2M�M�XZc \]d,c�E�F,q9VW\]ci��D�F�V�E�c�MJE�KL\]d=M)E�`iF�d#K#F�d6c�E)M¡T©I bWVW\2X�X�ICd=UrMSq � MJ�6bWE)M�X�XZ\3F�dLq9VLK#F,q!�MJT3M�I�c�EJI)�_MJE�X¡T � M)�'M)KLbWT2M�q � VWd=M UrF�K.K|VWdW\2UCICc�\2F�d�q'\#"=V=X,fM�Ma�$�¶W�C�r´��&%'�²�� ®�UJc�MJVWE�Xr`WD�E�FHG�EJICKLK:ICc�\2F�d�UrF�d=U)V�E�E�MJd6c�Ma`Wy%['h�MJc�Xr`9®SbWbWE)F6U�s=M�E'fMCI�UJc�\]�_M

Page 6: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� �

� ��� � ����� � � � � �

m�d�V=XZV�ICT0bWE)FHG�EJICKLK.\]d=G�T!ICd=G�V�I�GHMrXxª©¥¦F�E MJ�WICKLbWT2MH`"!�¬�`�F�d=M�F�¥�c>s=MgK:IC\]d¢E�MCI�X>F�d=XS¥¦F�E qWMJ��WdW\]d=G�b�E�F6UrMrq9VWE�MrXS\3X�c�FlICT�T2F��$#%��&'����F�¥ bW\2M�UrM�X F�¥ UrF6qWM��%\�c�s�F�VWc�E�MJ�SE�\]c�\�d�G.c�s�M)K£��®S¥!c�M)E[M)\]d=G�qWMJ�Wd=Mrq`9IObWE)F6UrM�q'VWE�MSs�I�X�h�V=X�c c�F�[M UCICT]T3Mrq�\]d=X�c)MCI�q#F�¥�UrF�b6Y,\]d=G�\�c)X�[F6q'Y_�9j¢F�E�MrF���_M)E bWE)F6UrM�q'VWE�MrXSICE�MQc�s=M [�I�X�\2UgVWdW\]c�X ¥¦F�E�K#F6q9V�T©ICE�\]coY£ª5M)�_MJd¢\�¥ c�s=MJY¢ICE�M�GHM)d=MJEJICT]T�Y#¥¦MJT�cgI�Xd=F�c�XZV)(#U)\2M)d,c ¥¦F�EQc�s�ICcQbWVWE�bFHX�Mi¬J�+*�XZV�ICT�T©ICd=G�V?I�GHM�XQbWE�F��,\2qWMxF�dWT]Y,����-�&+��.+�/�106b�E�FHG�EJICKL�KL\�d=G#UrF�d=X�c�E�V�U)c�X�2,c�s�M)E�M \2X�F�d�T�Y¢F�d�MOUrF�d6c�E)F�T43=F���`��SsW\2U�s¢\�d�UiI�X�M�F�¥�bWE)F6UrM�q'VWE�MQUCICT]T3XC`'\2XX�V=X�bMJd=qWMrqx\�d#c�s=M�UiICT�T2MJE�VWd,c�\]T=c�s=MSUiICT]T3Mrq.b�E�F6UrMrq9VWE�M¡c)M)E�KL\]d�ICc�MrXr­�c�s�\3X ��D�E�F,U�Mrq9VWE�M R%ICT�T �b�ICEJI�q9\2G�K�\3X%X�s=F��%d¢F�d��=G�VWE)MO{_�

execution of f body

f terminates

call of f

call of fis completed

caller

called function

caller issuspended

f starts

5�\3G�V�E�M�{62� ¡s=M D�E�F,U�Mrq9VWE)MgR%ICT�T�D�ICEJI�q9\2G�K

7�F�c�\2U�M�c�s�ICc c�s=M ��p�MJK#F�c�M�D�E�F,U�Mrq9VWE�M R%ICT�T �eª98�:;! ¬�bWE�F�c�F,U�F�T9<>=�?�\2X¯IOd�ICc�VWEJICT�MJ�,c�M)d��X�\2F�d�F�¥�c�s=MQD E)F6UrM�q'VWE�M�RSICT�Tb�ICEJI�q'\3G�K c�Fxq9\2X�c�E�\][WVWc)M�q#U�F�KLbWV�c�\�d�G'�,mod�c�sW\2XSUrF�d6c)M)�,ci`9c�s=MU)T]\2M)d,cS\2X¡c�s=M UiICT�T2M)E%�SsW\2U�s�UiICT�T2X¡c�s=MQX�MJE��_MJEi�9 ¡s=M@8�:;! b?ICEJI�q9\2G�K \2XSX�s�F��SdlF�d¢�=G�VWE�MQN,�

execution of server body

server terminates

call of the server

call of serveris completed

client

server

client issuspended

server starts

network

5�\2G�VWE�M�NA2' ¯s=Mgp�MJK#F�c�M D�E�F6UrMrq9VWE�MQRSICT]T0D ICEJI�q9\2G�K

BCBEDGFIH%JKJ�L

Page 7: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

w ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

j�ICd6Y MJ�6c�MJd=X�\2F�d=XQF�¥Sc�s=MLD�E�F,U�Mrq9VWE)MLRSICT�T b�ICEJI�q'\3G�K s�IJ�_M.[MrM)d qWMrX�\2G�d=M�q�c�F�ICT]T3Fr�X�MJ�_M)EJICTUrF�d6c>E�F�T�3=F���XC�'y�d=M F�¥0c>s=MS�WE�X�c¯MJ�6c�MJd=X�\2F�d#\3X c�s=M�������� # K#F6qWMJTF�E�\2G�\�d�ICT]T]YxbWE�F�bF��X�Mrq�[6Y���M)�%\�c�c <¸{H{�?�`�ICd=q:T©ICc�MJE�qWMJ�_MJT3F�bMrqe[6Yl®�G�s�I'<Â{�?���®�UJc�F�E�X�ICE�Mgb�ICE�ICT�T2M)T ICVWc�F�d=F�K#F�V=XI�GHM)d,c�Xr`9�SsW\2U�slICE�Mgq'\3X�c>E�\�[�VWc�Mrq�\�dlX�b�I�UrMOICd=q:M)�'MrU)VWc)M ICcSc�s=MJ\�E¯F��%d�EJICc�Mxª©c�s,V=Xr`6MiI�U�s¢I�UJ�c�F�ESE�MJbWE�MrX�MJd6c)XSIxq9\2X�c�\]d=U)c%U�F�d,c�E�F�T 3=F��g¬SICd=q�UrF�KLK�VWdW\2UCICc)MgI�XZY6d=U�s�E�F�d=F�V=X�T]Y#[6YlX�M)d�q9\�d�GK#M�X�X)I�GHM�Xr�� ¡s=MLX�MJd=q¤b�E�\�KL\]c�\]�_M�\3XOc>s=Mxd=F�dW�¦[WT2F6U��,\]d=G�ICd�ICT2FHG£F�¥%bWE�F,U�Mrq9VWE�MxUiICT]T 20\�d°c�s=M®�U)c)F�E�K#F,qWM)T�`aI UiICT�T2M)Eh�V�X�c����K.��%ICdeMJ�'M�UJVWc�\2F�dLF�E�qWMJE ª§I%K#MrX�X�I�GHMi¬0c�F�I UiICT�T2M�q#I�UJc�F�Ei`6ICd�q\�c|U�F�d,c�\]d6V�M�X �S\]c�s=F�VWc �%IC\�c�\]d=Ge¥5F�Egc�s�MxUCICT]T3Mrq¨I�UJc�F�E�c�FeE�MrU�MJ\]�_M�ª¦F�EObWE)F6UrM�X>X�¬%c>s=MxF�E�qWMJEi� ¡s,V=Xr`�c�s�M�UCICT]T2M)E�ICd=q¢c�s=M|UCICT]T3Mrq�I�U)c)F�E�XOICE)MOT3FHG�\2UiICT�T]Y�M)�'MrU)VWc)M�q�\]d�b�ICEJICT]T3MJT§`I�XgX�F,F�d°I�Xc�s=M�M)�'M�UJVWc�\2F�d�F�E�qWMJE�\2X�X>M)d,c�[6Ylc�s=MOUiICT]T3MJEi�� ¯sW\3X �! 'M)d=q�ICd=q 5=F�E)GHM)c �Lb�ICEJI�q'\3G�K£`'�%sW\3U�s\3X¯c�s=MQU�F�E�MQF�¥�c�s�M�®�UJc�F�ESK#F,qWMJT§`6\2XSX�s=Fr�Sd¢F�d��=G�V�E�MO�,�

agent

agent

order sent

caller continuesafter sending the order

5�\3G�V�E�MO�A2W ¡s=M� 9MJd=q�ICd�q 5=F�E�GHMJcSD�ICEJI�q'\3G�K

9MJ�_M)E�ICT0^_V=MrX�c�\2F�d=XSICE�\2X�M ¥©E�F�K c�s�\3X¡b?ICEJI�q9\2G�K 2

{_�%®S¥!c�M)E¯[M)\]d=G�X�MJd,ci`,�%s=M)d:�S\]T�T ICd¢F�E�qWMJE�I�UJc�V�ICT]T]Y�[M M)�'MrU)VWc)M�q#"N,�$��Fr�tc�FxGHMJc IOE�MrX�VWT]c¡¥©E�F�K c>s=MgUiICT]T3Mrq¢I�GHMJd6c%"�,�$��Fr�tc�FxqWMiICT?�%\�c�s ��� . �K& # #��K.+��F�E�qWMJE�XSX�MJd,c¡c�Fxc�s=M X�ICK#M�I�GHM)d,c%"

&¤M|ICE�M d=F��tGHF�\]d=Gxc�FxUrF�d=X�\2qWMJE¡c�s=MrX�M ^_V=M�XZc�\3F�d�X�\]d�c�VWE�d��5=F�E [M)\]d=G#M)�'M�UJVWc�Mrq`=ICd¤F�E)qWM)E���E�X�c s�I�X�c�FLE�MCI�U�s�c�s�M�UCICT]T2M�q�I�GHMJd6c�­�c�s6V�Xr`'s=MJE�MO\2XQI

d=MrM�q�c�Fe\]d=X�VWE)M�c�s�ICc|ICd¨F�E�qWMJEQ�S\�T]T �K�1�K.+�& � 0�0(' � �)�6��0>�� ��#%���eª¦MJT2X�M�bWE�FHG�EJICKLKL\]d=G��¯F�VWT2q[M�UrF�K#M�^aVW\]c�M�bWE)F�[WT3MJK:ICc�\2UC¬J��m�d�c�s=M�®�UJc�F�E0K#F,qWMJT§`>K#MrX�X�I�GHMrX�ICE�M�[WV "�M)E�Mrq�\�d,c�F*��� 0 �+�-,6�K��`¥©E�F�K �SsW\2U�s I�UJc�F�E�X�cJIC�_M#c�s=MJ\�E�\]dWbWV�c�Xr`�ICd=q«I.��� �#K. �K���OI�X�XZVWKLbWc�\2F�d¨X�cJICc)M�X�c�s?ICcxM)�_MJE�YK#M�X�X)I�GHMgX�MJd,cSc�F#ICd�I�UJc�F�E�\3X%G�V�ICEJICd,c�M�Mrqec�F�[MQM)�_MJd,c�V�ICT]T�Y#bWVWc¯\�d,c�F�\]c�X¡K:IC\�T][F��"< N�?��W®Sd\�KLbF�E�cJICd,cQb?F�\]d,cO\2Xgc�s�ICc�c�s=MJE�M�\2XOd=Fe�%I)Y ¥¦F�EOc�s�M.UiICT]T3MJEOc�F¢GHMJcO\]dW¥¦F�E>KeICc>\3F�d F�d¨�Ss�ICcE�MiICT�T]Yes�ICb�b?MJd=Xr`WICd=q��%s=M)dl\�cSs?ICbWbM)d=XC�A7�F�c>\3UrMgc�s?ICcS\�d�Ixq9\2X�c�E>\�[WV�c�M�q#UrF�d6c�MJ�,ci`,¥�IC\�E�d�M�X�XX�\]K.b�T�YLK#MCICd�X¡c�s�ICc¯c�s=M U�F�KLK�V�dW\3UiICc�\2F�ded=MJco�¡F�E��#\2X¡d=F�c�ICT]T2F��¯M�q�c�F�T2F,FHX�M�K#MrX�X�I�GHMrXr�

 �F�E�MJc�VWE>d¤IeE)M�X�V�T�cQ¥©E�F�K I�UiICT]T3Mrq¤I�GHMJd,c�c�Fec�s�MxUCICT]T3MJEi`?\2Xgd=F�c.I�XOX�\]KLbWT3MLI�X�\�d c�s=MD�E�F6UrMrq9VWE�MxR%ICT�T�b�ICE�I�q9\3G�K£`�XZ\�d=UrMOc�s�M)E�M�\3X�d=F#\�KLbWT]\3UJ\]c X�Y6d�U�sWE�F�dW\0/CICc>\3F�d�[M)co�¯M�MJd¢c�s=MJKICcgc>s=MOMJd=q�F�¥ UCICT]T3Mrq�I�GHM)d,c�M)�'M�UJVWc�\2F�d��1��F��¯M)�_MJEi`�c�s=M�[?MJd=MJ�Wc�\2X%c>s�ICc c�s=MOUiICT]T3MJE [WT3F,U��'X�SIC\]c�\]d=G�¥5F�Egc�s�MOE�MrX�VWT]ci`�F�dWT]Y¢�Ss=MJd�\�cQE�MiICT�T]Y¢d=MrM�qWX�\]ci�?® XZcJICd=q=ICE�q�X�F�T]VWc�\2F�d�\3X c�FeX>M)d=qICT3F�d�Gl�%\�c�s�c�s=M#F�E�qWMJExICd M)�,c�EJI�\]dW¥¦F�E>KeICc>\3F�d V=X�Mrq�[,Y�c�s�M.UiICT]T3Mrq¨I�GHMJd6cxc)FeE�MJc�VWE�d c�s=ME�MrX�VWT]c c)Fgc�s=M�UiICT]T3MJEi��moc�T2F,F��9X�T�\]�_MS�=G�VWE)M�w'`a\�d#�SsW\2U�sLc�s=M�UiICT�T2M)E�c�E�ICd=X�KL\�c)X \]c�X�\2qWM)d,c�\]c�Y|c�F

243CB5246

Page 8: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� ~

c�s=M�UiICT�T2Mrq�I�GHMJd,c�c�F|ICT�T2F�� \]c c)FgE�MJbWT]Y�ª©c�sW\2X�K#MCICd�X c>s�ICc�d=F�c¡F�d�T�Y ��XZ\�KLbWT2M � �_ICT]V=MrX¡ICE�M¯c�F[M�I�X�X�F,UJ\©ICc�Mrq�c�FLF�E�qWMJE�Xr`9[WVWcgICT3X�F ��sW\2G�s=MJE�F�E�qWMJE �LF�d=MrXr`'T]\��_M �����K. � ��6�K. ��/�K��­6c�s�\3X¡s?I�XqWMrM)b�\]KLbWT]\3UiICc�\2F�d=X ¥5F�E�X�MJKeICd,c�\2U�XC­,X>M�M6<¸{Cw ?¥¦F�E I�¥©V�T�Tq9\2X�UJV=X�X�\2F�deF�d¢c>sW\3X%I�X�bM�UJcJ¬J�

caller

called agent

order sent + identity

caller needs the result

caller gets the result

result sent back using identity

5�\2G�VWE�M w 2��gMJc�c�\]d=G�p�MrX�VWT]c�X ¥!E�F�K ®�GHM)d,c�X

®�Xgb�ICE�ICT�T2M)T]\2X�K \2Xg[�I�XZ\3U�\]d¤c�s�M 9M)d�q9�oICd=q9� 5=F�E�GHMJc b�ICEJI�q9\2G�K£`�c�s=MJE�MOK�V�X�cg[MLIe�%I)Yc�F�qWMiICT��S\]c�s�U�F�d�U)VWE>E�M)d,cQF�E�qWMJE�XQX�M)d,c c�Fec�s�M�X�ICK#MLI�GHM)d,ci�C5�\2G�VWE�Mx~eXZs=F���X�IeX�\]c�V�ICc>\3F�d�Ss=MJE�Mgco�¯F�q9\2X�c�\]d=UJc I�GHMJd6c�X�X>M)d=q�co�¯F�F�E�q�M)E�XSc)F.c�s�MOX�ICK#Mgc�ICE�GHM)c��'mod¢c�s=MO®�UJc�F�E�K#F,qWM)T�`c�s=M bWE�F�[WT2MJK \3XSX>F�T��_Mrqe[,Y�c�s�M%V�X�MgF�¥ KeIC\]T][?Fr�9MrX¡�Ss�\3U�s:[WV "�MJESK#M�X�X)I�GHM�Xr�

caller2

called agent

caller1

5�\3G�VWE)Mg~A21 9MJ�_M)E�ICT�RSICT]T2X¡c�FLI WICK#M ®�GHM)d,c

9MJ�_M)EJICTbWE�F�[�T3MJK#X¡ICE�M EJIC\2X�Mrqe[6Y#c�s=MQ®�UJc�F�ESK#F6q�M)T 2

� ® ¥§IC\]E�d=MrX�X#s6Y,bF�c�s=MrX�\3X#\3X£I�U)c�V?ICT�T]Y«d=F�c¢X�V)(#UJ\3MJd,c¢I�Xe\]c¢qWF,M�X:d=F�ce\]KLbWT�\2MrX�c�s�ICcc>EJICd=X�KL\2X�X�\2F�d¢qWMJT©IJY9Xxª©[MJc��¯M�MJd¢c�s=M�X�MJd=q9\]d=GLF�¥¡IxK#M�X>X�I�GHMxICd=q�\]c�X�bWT!I�U)\]d=Gx\�d,c�F:IK:IC\]T�[Fr�W¬SICE)M �+� &'.��6���xª©\]c F�dWT�Y:\�KLbWT]\2M�X¡c>s�ICcSc�s=MJY¢ICE)Mg�WdW\]c�Mi¬J�9m�d¢E�MiICT�XZ\�c�V?ICc�\3F�d�Xr`X>F�K�MJc�sW\]d=G�c�s?ICc�UCICd¢[MQqWMJT©IJY_M�q¢q9V�E�\�d�GLICd¢VWd6[F�VWd�qWM�qlICK#F�VWd6c F�¥�c>\�K#M�\3X�F�¥!c�M)dUrF�d=X�\2qWMJE�Mrq�I�X�Mr^aVW\]�_ICT2M)d,c�c�F�F�d�MSICT]T3Fr�¡Mrq�c�FSd=MJ�_M)E�F,UrU)VWE��JmodLX�s=F�E>ci`�¥§IC\�E>d=M�X>X0K#MCICd=X��dW\�c)M|[�VWc�VWd,[F�VWd=qWMrq`�[WVWc|�Ss�ICc�\2XOE�MiICT�T]Y X�F�V=G�s,cx\3XxI��,\�d�q¨F�¥S[F�VWd=qWMrq¤q�M)T!I)Yb�E�F�bM)E�coY6�

� D�E�FHG�E�ICK [MJs�I)�,\3F�E)X0K:I)Y�q�M)bMJd=qOF�dxK:IC\]T�[F���X�\0/�MrXr�Hj¢F�E�M�Fr�_M)E�`�F��_MJE 3=Fr�«bWE�F�[WT2M)K#XICE>\3X�M �Ss=MJd�V=XZ\�d=G�[F�VWd�qWM�q:X�\0/�M �WT2M�Xr­WF�d¢c�s=MQF�c�s=MJE¡s?ICd=q`9V=X�\]d=G�VWd,[?F�V�d=qWMrq��WT2M�XK:IJY�T2MCI�q:c�FxX�\]c�V�ICc�\2F�d=X��%s=M)E)M%V�d6[F�VWd=q�M�qLK#M)K#F�E�YlICT�T2F,UCICc�\2F�de[MrU�F�K#MrX¡d=MrM�q�M�q�

BCBEDGFIH%JKJ�L

Page 9: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

v ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

�  ¯s=Mgd=MrMrqe¥¦F�E�K#M�U�s?ICdW\3XZK�X¯c�F�Fr�_M)E>b�I�X�XSc�s=MQK:IC\�T][F��eK#MrU�s�ICdW\2X�K�K:I)Y�ICbWbMiICES\]dX>F�K�M%X�\�c>V�ICc�\2F�d=Xr`i¥5F�E�MJ��ICK.b�T3M¡c)FgqWMiICT=�S\]c�sxbWE�\2F�E�\]c�\2M�XSª§ICT!ICE�K#Xr`�¥5F�E \]d=X�c�ICd=U�Mi¬J�H ¡s=M� ,�� #%����� K#F6q�M�F�¥���� !����)<Â{�v�??\2X�ICd¢MJ�WICKLbWT2M F�¥�X�V=U�s�IOK�MrU�s�ICdW\2X�K£�

& M ICE�M¡d=Fr� GHF�\]d=GQc�F�\]d,c�E�F,q9V=UrM c�s�M¡d=F�c�\2F�dLF�¥�ICd.\]d=X�c�ICd6c�\]d6c)F�c�s�M� 9MJd=q9�oICd=q9� 5=F�E)GHM)cb�ICEJI�q9\2G�K£�,c)FxF�[WcJIC\]d¢I�d=MJ� b�ICEJI�q'\3G�K UiICT�T2M�q ��p�MCI�UJc�\]�_M�®�GHMJd,c �xb�ICEJI�q9\2G�K£�

� �� � ��� ��� ��� ������� �4� ��� �

m�dlc�s=M�E�MiI�U)c�\]�_M�ICbWbWE�F_I�U�s�`6bWE)F6UrM�X>X�M�XQª§I�X¡�¯MgUiICT]T?b�ICE�ICT�T2M)TX�Y'X�c�MJK�UrF�K.bF�d=MJd,c�X�¬ ICE�M�d�F�cICT�T2F��¯Mrq�c�F�M)�'M�UJVWc�M�ICc�c�s�M)\]E F��Sd:EJICc�Ma`�[WVWc%ICE�M�q9E�\]�_MJd.[,Y:I�T2FHG�\3UiICT ��[�I�X�\2U�U)T2F,U�� �O�%sW\3U�sqWMJ�Wd=MrX�I¢U�F�KLK#F�d¤c>\�K#Ma��modAF�c�s�M)E��¡F�E�q�Xr`c>s=M)E)M�ICE)M �.)� � � .+����SsW\2U�s«ICE�M � 0 �A� �10�c)F�ICT�TbWE�F,U�MrX�X�MrXr`�ICd=qAI�b�ICE�c>\3UJVWT!ICE�bWE�F,U�MrX�XO\2XOd=F�c#ICT]T2F��¯M�q¨c�F�MJ�9MrUJVWc�ML¥¦F�E�c�s=MLd=MJ�6c|\�d=XZcJICd6c�SsW\]T3M�c�s�M)E�M MJ�6\2X�c�X�ICd=F�c�s=MJE¡bWE)F6UrM�X>X��SsW\2U�s�\2X¡d=F�c�UrF�KLbWT2M)c�MrqL¥¦F�ESc�s=M UJVWE�E�MJd,c¡\]d=X�cJICd,ci�

9MJ�_M)E�ICT�K�F,qWMJT3XQICE�Mx[�I�X>M�q�F�d¤c>s=MOE�MiI�U)c>\��_MLICbWb�E�F_I�U�s�`��SsW\2U�s�K:IC\�dWT]Y�q9\ "�M)EQF�d c�s=M�SIJYebWE)F6UrM�X>X�M�X%ICE�MQU)E�MiICc�Mrq¢ICd=q�UrF�KLK�VWdW\2UiICc�M12

� mod�� ���� � � �����6�����1��� # �����������K��ª���8�:S¬�< v�?�`rb�E�F6UrMrX�X�MrX�ICE�M U�F�d�d=M�UJc�Mrqgc�s�E�F�V=G�s�U�s?ICdW�d�M)T2Xr`6c�F�¥¦F�E�K qWMJc�MJE�KL\�d�\3X�c>\3U¡d�M)c�XC�'R s�ICdWd=MJT3X%ICE�Mg\]dW�Wd�\�c�M ����E�X�cS\]d��C�WE�XZcSF�VWc ����T3MrXr­IOb�E�F6UrMrX�X¡UiICd�F�VWc>bWVWc¡K#MrX�X�I�GHMrX�\]d6c)F�U�s�ICdWd=MJT2Xgª§ICT]�SIJY9XSbFHX�XZ\�[WT2Ma`9I�XSU�s�ICdWd=MJT2XSICE�M\]dW�Wd�\�c�Mi¬�F�E¡\]cSUiICde\]dWbWVWc K#M�X>X�I�GHM�X ¥©E�F�K U�s?ICdWd=MJT3Xr`6[MJ\�d=GQ[WT2F6U��_Mrq��Ss�M)dlU�s�ICdWd=MJT3XICE)MxM)KLbWcoY_�?k I�U�s°U�s�ICdWd=MJT�s�I�X�ICcOK#FHX�c�F�d=M�bWE�F,q9V=UrM)E bWE)F6UrM�X>XOICd=q°ICcgK#FHX�c�F�d=MUrF�d=X�V�K�MJE�bWE)F6UrM�X>Xr`aICd=q�d�M)c�X�UiICdx[M�E�MrUJVWE�X�\]�_M)T]Y�qWM)��d=M�q�ª!c�s6V�Xr`iU�s?ICdWd=MJT3X�ICd=q�b�E�F��UrMrX�X�MrXSUCICd�[MQq9Y6d?ICK.\2UiICT�T]YeUJE�MiICc�Mrq=¬J�W ¡s=Mg�_MJYebF�\]d6c�F�¥�c�s=M��@8�: K�F,qWMJT?\2XSc�s�ICcb�E�F6UrMrX�X�MrXOICE�M:ICT2X�F�ICT�T2F��¯Mrq¤c�F�c�MrX�cQ¥¦F�E ���'� .). ��0 �!�����4' . �����)� & #K�. � � . ���.)� � � .+�!`�%sW\�T2M�bWE�MrX�MJE��6\]d=GOd�M)c%qWM)c)M)E�KL\]dW\2X�K£�

� mod�c�s�M : � 8��'8!�#"%$O¥¦F�E�K:ICT�\2X�K£`CbWE�F,U�MrX�X�MrX�ICE�M¯q9Y6d?ICK.\2UiICT�T]YOUJE�MiICc�MrqxICd=q�c�E�\2GHGHMJE�M�q[,Y¤[�E�F_I�qWUiI�X�cxMJ�_M)d,c�Xr�� ¡s=M : �@8&�'8!�#"'$¨\2XOc�s=ML�_M)E>d=M)T%F�¥QICdA\�d�q9V=X�c�E>\©ICT�bWE�F,UrM�X�XUrF�d,c�E�F�Tc�F6F�T�ª©V�X�M�q#c�F�bW\]T3F�c(�*)*+�)#,�-/.eUrMJK�MJd,c¡¥§I�UJc�F�E�\2M�X)¬�<10�?§�

� modQc�s=M ��' .����6# � .�� &'� 0 � . � &+�������32�< }�?�`CI�GHM)d,c�X0UrF�KLK�VWdW\2UiICc�M0V=X�\]d=G [WE�F_I�qWUiI�X�cX�\2G�d�ICT3X54��® c�MCI�U�sx\]d=X�c�ICd6ci`HI�X�\2G�d�ICT6\2X�MJ\�c�s�M)E�b�E�M�X>M)d,ci`�c�s�ICc�\2X�MJK.\]c�c�Mrqg[,Y�X>F�K�M¯I�GHMJd6c�q9V�E�\�d�Gc>sW\3X�\]d=X�cJICd,ci`�F�E|IC[=X�MJd,cgF�c>s=M)E>�S\3X>MH­�K#F�E�MrF��_MJEi`0ICT]T I�GHM)d,c�XQGHM)cQc�s=M|X�ICK#M�\�dW¥5F�E�K:IC�c>\3F�d#IC[F�VWc�c�s�M¡X�\2G�d�ICT9b�E�M�X>M)d=UrM¡F�E¯IC[=X>M)d=UrMgª!c�sW\2X0\3X�c�s�M�[WE�F_I�q�UCI�X�c�U�s?ICEJI�U)c)M)E�\2X�c�\2Ui¬J� ¯s=M)E)M%\2X¡d=Fxq'Y6d�ICKL\2U U)E�MiICc�\2F�d¢F�¥�I�GHMJd6c)X¡\�d768� �

 ¡s=MLE�MiI�U)c>\��_M#ICbWbWE)F_I�U�s¨¥¦F,U)V=X|F�d¨c�s=Mxd=F�c�\2F�d¨F�¥%T3FHG�\2UCICT¯c�\]K�Ma`0U�F�KLK#F�d¤c)F¢X�M)�_MJEJICTbWE�F,U�MrX�X�MrXr�?moc�d�ICc�VWE�ICT�T]Y�T2MiI�qWXOc�F¢qWMrUrF�K.bFHX�M#UrF�K.b�T3MJ��X�Y9XZc�M)K#XQ\�d,c�F�X�MJ�_M)EJICT �I#%���6����� �� #%��� � �'`6MCI�U�slF�¥?c>s=M)K qWM)��dW\�d�G�\]c�X�bWE�F�bM)E¯UrF�K.K#F�d#c�\]K�Ma�ap�MiI�U)c>\��_MS¥¦F�E>KeICT]\2X�K#X¡ICE�MS�¯MJT�TX�VW\]c�Mrq¤c�F¢bWE�FHG�EJICK c�s=MrX�MLE�MiI�U)c�\]�_M�ICE)MCI�Xr`��SsW\]T3M:X�cJICd=q�ICE�qAI�X�Y,d=U�sWE�F�d�F�V=XOK#M�U�s?ICdW\3XZK�Xª©T]\��_M ¥¦F�E�MJ�WICKLbWT2Ma`_K#MrX�X�I�GHM b�I�X�X�\]d=G_¬¯ICE�M�E)M�X�MJE��_Mrqe¥¦F�E¯\�d,c�MJE��oICE�MiI�XSU�F�KLK�V�dW\3UiICc�\2F�d=Xr�9;:=<�>@?�?BA'C'D DFE�GIHJG > DLKNM�O A'DJA'P MQ8R�SUTFVUTLW ? H�D=X PFC'D D DNYZ? G@[�DFE Y [�E�MF\ L;]_^

243CB5246

Page 10: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� =

����������� �������������������������������!

m�d,c�E�F,q9V=UJ\]d=G¨\�d�X�cJICd,c�Xe\]d6c�FAc�s�M 9MJd=q9�oICd=q'� 5=F�E�GHM)c:b�ICEJI�q9\2G�K£`�ICT]T3Fr��X�c�F«V=X�M�c�s=MJK c�F[F�VWd=qxqWMJT©IJY9X�F�¥F�E�qWMJE�c�EJICd=XZK.\2X�X�\2F�d=Xr�Hj¢F�E�M�b�E�M�UJ\2X�M)T]Y6`ic�EJICd�X�KL\3X�XZ\3F�dxF�¥�ICd#F�E�qWMJE UCICdL[ME�Mr^aVW\]E�MrqOc�F [M bWE)F6UrM�X>X�M�q#� & #K�. � � �'����� �����.+� � � . �ac>s=M�F�E)qWM)E�\2X�X�MJd6c��� ¡s=MrX�M F�d=MJ�¦\�d=XZcJICd6cc�EJICd=XZK.\2X�X�\2F�d�F�E)qWM)E)X��S\]T�T[M X�\�KLbWT]Y#UCICT]T2M�q .)� � � .+� � . ��� &'��� # �6�K#K���

 �FxbWE�MrX�MJE��_M�c>s=MgG�T2F�[�ICT]\�coY�F�¥ \�d=XZcJICd6c)Xr`,\]cS\2XSd�ICc�VWE�ICT?c�FxE�Mr^_VW\�E)M�c�s?ICc ICd�I�GHM)d,c qWF,M�Xd=F�c#bWE�F,U�MrX�X�K#F�E�M�c�s�ICd«F�d�M¢F�E�qWMJE�q'VWE�\]d=G�F�d�Me\�d�X�cJICd,c£ª5F�c�s=MJE��S\2X�MH`�F�d=M�I�GHMJd6c:UrF�VWT3qM)�'MrU)VWc)M£X>M)�_MJEJICTQF�¥O\]c�XL\�d=XZcJICd6c)X.�Ss�\�T2M¢F�c�s=MJE�XeUrF�VWT2q MJ�'M�UJVWc�M�d=F�d�MC¬J�� ¯sW\3X:X�F�T]�_M�X#c�s=MU�F�d�U)VWE>E�M)d�U)Y#bWE�F�[WT2MJK E�IC\3X�Mrq�[,Y�UrF�d=U)V�E�E�MJd6c�UiICT]T3XSc�Fxc�s�MgX�ICK#M|I�GHM)d,cI2�ICc MiI�U�s�\�d�X�cJICd,ci`F�dWT]YeF�d=M F�E�q�M)E¯KeIJYL[?M�bWE)F6UrM�X>X�M�qL[,YeICd�I�GHM)d,ci`6c�s=M F�c�s=MJE¯F�d=M�X¯[?MJ\]d=GOX�\]KLbWT]YxE�M�h>M�UJc�Mrq�� MJcSV=X¯UCICT]T�c�sW\2Xr` � � .������10 0 �)�K# �.)� � � .+� ��bWE�F�bM)E>c�Y6�6®Sd�\]K.bF�E�c�ICd6c bF�\�d,c¡\2X�c�s?ICc�I�UiICT�T2M)EI�GHM)d,c UCICdL\]KLK�Mrq9\!ICc�MJT�YLª©c�s?ICc�\3Xr`�\�dxc>s=M¡UJVWE�E�MJd,c�\�d�X�cJICd,cJ¬?�,d=F��«\]¥=\�c�X F�E�qWMJE�X�ICE�M¡E�Moh�MrU)c)M�qF�EQI�U�UrMJbWc�Mrq�

m�d�X�cJICd,c�XOICT]T2F�� c)F�qWMrU�F�KLbFHX�MLI�GHMJd6c�[?MJs�IJ�6\2F�E�Xg\]d,c�F�X�c�MJb=Xr�!��VWE>\�d=GlI�G�\��_MJd¨G�T2F�[�ICT\�d�X�cJICd,ci`0ICdAI�GHMJd6c�K:I)Y�[MxUCICT]T3Mrq¤F�E�d=F�ci­�\]d�c>s=M��WE�X�c�UiI�X�MH`?\]cOMJ�'M�UJVWc�MrX�\]c�X d=MJ�6c�X�c�MJb�`ICd=q�F�c�s�M)E��%\3X�Ma`�\�c E�M)K:IC\]d=X�I�XZT3MrM)b��i®Ab�ICc�s�F�T3FHG�\2UCICT'X�\]c�V�ICc�\2F�dO\2X0�Ss�M)dLICd�I�GHM)d,c�MJ�9MrU)V�c�\3F�dX�c�MJb¤q�F6MrXgd=F�cQc�MJE�KL\�d?ICc�MH­W\�d c�sW\2X UCI�X�Ma`?c�s=MLI�GHMJd6c��S\]T�T�d=MJ�_MJEg[MLIC[WT2Mxc�F�E�MiI�UJcgc�F£ICd6Yd=MJ� M)�'MrU)VWc>\3F�d°F�E�qWMJEi­d�F�c�\3UrMxc�s�ICc�\]d¨XZV=U�sAX�\]c�V�ICc�\2F�d=Xr`0G�T2F�[�ICT]\�coY¤F�¥%\�d=XZcJICd6c)XgbWE�MJ�_MJd6c�X� �'�#" ���10 � ��' � � � � c�F#c�M)E>K.\]d�ICc�MQ¥¦F�E c�s=MxUJVWE�E�MJd,c�\�d=XZcJICd6c�`?ICd=q�c�s6V�Xr`�c�F:GHFec�F�c>s=MOd=MJ�6c\�d�X�cJICd,ci��& MO�S\]T�T X�I)Y¢c>s�ICcQICd I�GHM)d,c s�I�X�c�s=M��I#����6�����I�4' �xbWE�F�bMJE�c�Y:\�¥ ICT]T�\]c�X�MJ�9MrU)V�c�\3F�dX�c�MJb=X�ICT]�SIJY9XSc)M)E�KL\]d�ICc�Ma`9ICd=qe\2X¡c�s,V=X�E)MCI�q9Y#c�F�E�MiI�UJc¡c�FLF�E�qWMJE�X%ICc�MCI�U�sl\�d=XZcJICd6c��

 ¡s,V=Xr`ac�s=M p�MiI�U)c>\��_M ®�GHMJd6c¯b�ICEJI�q9\2G�K�U�F�d�X�\3XZc�X¡F�¥ I�GHM)d,c�X¡E�MiI�UJc�\�d�Ggc�F�\]d=X�cJICd,cJICd=MrF�V=XF�E�qWMJE�XSICd�q.�_MJE�\]¥©Y6\]d=GQc�s=M ��F�d=M UiICT�T�bM)E \]d=X�cJICd,c ��ICd�q.c�s�M ��E�MCI�UJc�\]�6\]coY �QbWE�F�bM)E>c�\3MrXr�a ¯sW\3XT3MiI�qWX�c�F�ICd ICb�bWE�F_I�U�sA\]d¨�SsW\2U�sAX�Y'X�c�MJK#X�ICE�M:qWM�UrF�KLbFHX�M�q�\�d,c�F�E�MiI�UJc�\��_M:ICE�MiI�X��Ss=MJE�MI�GHM)d,c�X¯U�F�KLK�VWd�\3UiICc�M¡\]d=X�\2qWM¡c�s�M)\]ESICE)MCI [6YL\]d=X�cJICd,cJICd=MrF�V=X�F�E�qWMJE�Xr`9ICd=qL[M)co�¯M�MJd#q9\3XZc�\�d�U)cICE�MiI�Xr`'[,Y�V�X�V�ICT�VWd,[?F�V�d=qWMrqeqWMJT©IJYeF�E)qWM)E)Xr�9 ¡sW\2X¡\3X%X�s=F��%d�F�d¢�=G�VWE)Mgv,�

agent

agent

instantaneous order

reactive area 1 reactive area 2

agentunbounded delay order

5�\2G�VWE�MQvA2W ¡s=MQp�MCI�UJc�\]�_M ®�GHM)d,c%$SI�X�Mrq�®SbWb�E�F_I�U�s

7�F�c�\2U�M�c�s�ICc:KeIC\]T][?Fr�9MrX�ICE)M�V=X�MJT2M�X�X#¥¦F�EeE)MCI�UJc�\]�_M¤I�GHMJd6c)Xr`%I�XlF�E�qWMJE�Xed=MrM�q d=F�c�[MX�c�F�E�Mrq"2SICc�MiI�U�s \]d=X�c�ICd6ci` \]¥|ICd F�E�qWMJEe\2X�c>s=M��WE�X�c:F�d=M�I�qWq9E)M�X�X>M�q«c�FAI¤cJICE)GHM)clI�GHM)d,ci`c�s=MJd�\]c UCICd¢\]KLK�Mrq9\!ICc�MJT�YL�WE�M \]ci­'F�c>s=M)E>�S\3X>M�\]cS\2X�X�\�KLbWT]Y#E�M�h>M�UJc�Mrq�'7�F�c�\3UrM�ICT2X�Fxc�s�ICc%c�s=M¥§IC\]E�d=MrX�X#I�X�X�VWKLbWc�\2F�d F�¥gc>s=M�®�UJc�F�E�K#F,qWMJTS\3Xxd=F�K#F�E�M�d=MrM�qWMrqA\�d�X�\3q�MeE�MiI�U)c�\]�_M¢ICE�MiI�Xr`�Ss=MJE�M \�d=XZcJICd6c�ICd=M�F�V�X¡F�E�qWMJE�X%ICE�M�V�X�M�q0�

BCBEDGFIH%JKJ�L

Page 11: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

0 ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

®SdO\]KLbF�E�cJICd,c�b�E�F�[WT2M)K \]dQb�ICEJICT]T3MJTHbWE�FHG�EJICKLKL\]d=G�\2X�c)F�I)�_F�\2qO\]d6c�MJE��¦[WT2F,U��6\]d=G�[?MJco�¡MrM)dK�VWc�V?ICT�UCICT]T3XC� & M M)d�q�c�sW\2X X�M�UJc�\2F�d�`a�S\]c�slICd�MJ�WICKLbWT2M�X�s=Fr�S\�d�GOc�s=M�V=X�M�F�¥�c�s=M ��F�d=M UiICT�TbM)ES\]d=X�c�ICd6c ��b�E�F�bM)E�coY#c�FLI)�_F�\2q¢\�d,c�MJE��¦[WT2F6U��,\�d�GxX�\�c>V�ICc�\2F�d=Xr� &¤M�U�F�d�X�\3q�M)ESco�¯F.G�E�ICbWsW\2UCICTF�[9h>M�UJc�X���� ICd�q�����X�s=Fr�SdeF�d#�=G�VWE)M =,`ac�s�ICc%ICE�MST]\�dW�_Mrq`6ICd�q.K�V�X�c�K�Fr�_MSc�FHGHMJc�s=MJEi�ak I�U�sF�[9h>M�UJc�E)MCI�UJc�Xxc�F¨I����� �F�E�qWMJE�ICd=q«\]K.K#Mrq9\!ICc�M)T]Y¤c>EJICd=X�KL\]c�X�\�c#c�F�c�s=M�F�c�s�M)E:F�[9h>M�UJci�R�Y'U)T2M�X���[?MJco�¡MrM)d���� :UiICT]T3X|ICE�MeICV�c�F�K:ICc�\3UiICT]T�Y¢[WE)F��_M)d¨[MrUCICV�X�MxF�¥Sc�s=M���F�d=MLUiICT�T bM)E\�d�X�cJICd,c �gK#MJc�s=F,q|b�E�F�bM)E�coY?­a¥¦F�E¡MJ��ICK.b�T3Ma`a\�¥�����E)M�UrM)\]�_M I����� �F�E�qWMJEi`a\]c�c�E�ICd=X�KL\�c)X \]c c�F���#�SsW\2U�s£\]d�c�VWE�d�`�c�EJICd=XZK.\]cSc�s�M�F�E�qWMJE c�F����_­=[WVWc�c�s=M�c�EJICd=X�KL\2X�X�\2F�d�U)Y'UJT3M�XZc�F�b=X�c�s=MJd�`I�X��������� �K�MJc�s=F,qLs�I�X ICT�E)MCI�q9YL[MrM)d¢MJ�'M�UJVWc�Mrq.¥5F�ESc�s=MQU)V�E�E�MJd6c \�d�X�cJICd,ci�

move

move

object O1 object O2

move

move

5�\2G�VWE�M =A2� ¯�¡F � \�dW�_Mrq � EJICbWsW\2UCICT�y�[9h>M�UJc�X

� ��� �����>� � � �|��������

&¤MlICE�M�d�F���qWMJ�WdW\]d=G�I�K#F6qWMJT [�I�X�MrqAF�dAc�s=M#p�MCI�UJc�\]�_M�®�GHMJd6cLb�ICE�I�q9\3G�K£`�ICd=q¨UiICT�T2Mrq������������� � � ����������� ���6��0 � ª98 ���¨¬J�modAc�sW\2XOK#F,qWM)T�` F�['h�MrU)c)X�M)d�UCICb=XZVWT©ICc)M�q=ICc�I£X�s?ICE�M�q[6Y°I�GHMJd6c�XC`�UiICT�T2Mrq¤K#M)c�s�F6qWXC`?F��Sd=Mrq¤[,Y¤c�s�M.F�['h�MrU)c���j¢MJc�s=F,qWXOUiICd¨[ML\�d,�_F��_M�q [6Y�\�d�X��cJICd,cJICd=MrF�V=XSF�E�qWMJE�Xr`9s�IJ�_MOc�s=M ��F�d=MOUiICT]T0bM)E%\�d=XZcJICd6c ��bWE�F�bM)E>c�Y6`WICd=q�ICE�M \�d,c�MJd6c�Mrqec�Fx[ME�MiI�U)c�\]�_Ma�  ¡sW\2XxK�F,qWMJT¡\2XLU)VWE>E�M)d,c�T]Y¨X�c>V=q9\2M�q«ICd=q«qWMJ�_MJT3F�bMrq¨VWd=qWMJE#U�F�d,c�EJI�UJcx�S\]c�s«c�s=M��,�)��! �.�"$#.&%'#.& �(*) UrF�KLb�ICd6Y,+��,moc�X ¥¦F�E�K:ICT0X>M)K:ICd,c�\3UrX�\2XSqWMrX�UJE�\][?MrqL\�d <Â{Cw ?��5�\]E�X�ci`��¡Me\]d,c�E�F,q9V=UrM.c�s�MeK#F6qWMJT�­c�s�M)d«X�MrUJc�\3F�d w�qWMrX�U)E>\�[MrXxI£bWE)F�c�F�c�Y,bM�T!ICd=G�V�I�GHM

[�I�X�Mrq�F�d:\�c�­a\�d:X�MrU)c�\2F�dl~,`_�¯M�V=X�MSc�s�MST©ICd=G�V?I�GHM%c)F�M)d�U�F,qWM�Ig[�E�F_I�qWUiI�X�cSUrF�KLK�VWdW\2UCICc>\3F�dK#M�U�s�ICd�\3X�K£­6�Wd�ICT]T]Y_`6¥©VWc>VWE�MS�¯F�E��9X ICE)MgUrF�d=X�\2qWMJE�M�q#\�dlX�MrU)c�\2F�d.-,-W�

/�0�1 � �32�465 � ���87 �92 � ���;:=<>2 � � ?2

®Sd � ���������_MJd=UiICb=X�VWT!ICc�MrX�q=ICcJI�X�s?ICE�M�q�[6Y.ICT�TW\]c�X ����� ����� ��`r�%sW\3U�s#ICE)M�b�ICEJICT]T2M)T�ICd=q�UrF�d=U)V�E��E�MJd6cLc�E�MiICc�K#MJd6c�XxF�d«c�s�M�X�Mlq=ICcJI,� ® ��' � � �!��qWMJ�Wd=MrX�I�E�MiI�U)c�\]�_M¢ICE�MiI,`�ICd=q«\2X|K:I�qWMlF�¥F�[9h>M�UJc�X c�s�ICc|ICE�MxE�VWd�\�d b�ICEJICT]T3MJT ICd=q¤XZs�ICE�M�c�s=MLX�ICK#M�c�MJKLbF�EJICT�E�MJ¥¦M)E)M)d=UrMa�� ¡s=MJE�MLICE�Mc�s,V=Xgc�s�E�M�M�T2MJ�_M)T2X�20X�Y'X�c�MJK�XC`?F�[9h�MrUJc�Xg\]d¨X�Y'X�c�MJK#Xr`0ICd=q�K�MJc�s=F,qWX�I�X�X�F,U)\!ICc�Mrq�c�FlF�[9h�MrUJc�Xr­c�s=MQ�_M)Y:b?F�\]d,cS\3XSc>s�ICc�c�s=MQX�ICK#Mgd=F�c>\3F�d=X�F�¥ ICd .)� � � .+��ICd=q¢F�¥ I �8�'� ���SGHFLc�sWE�F�V=G�slc�s=Mc�sWE�MrM�T3MJ�_MJT3X�2@ X [ GIGIM;OBA�X [ YZ? [ G >IA HJX�HFX�GIM ?DC > D ? H�D=X PFC'D D D�Y=? G@[�DFE Y [ E�M ? ^EGF D D A'C [�X AIHLC [%DZX MKJMLM GNLM;X DPO�QRF 3�S�J�TVUMWGXYW LZWP[�\�]_^ J

243CB5246

Page 12: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� }

� k��'M�UJVWc�\2F�d�F�¥=I�K#MJc�s=F,q%\2X0q'\��,\3q�M�q \�d,c�F \�d=XZcJICd6c)X�2�F�d=M�UiICd�X�bMiIC�gF�¥,c�s=M��WE)X�c�\�d=XZcJICd6cF�¥ c�s=M K�MJc�s=F,q`6F�¥�c>s=MgX>M�UrF�d=q�\]d=X�c�ICd6ci`WICd=qlX�FLF�d��' ¯s=MgX)ICK�M K#M)c>s=F6q#UiICdWd=F�cS[ME>VWd X�MJ�_MJEJICT c�\�K#MrXeq9V�E�\�d�G¤F�d=M�\�d�X�cJICd,ci�¡j¢F�E�M�Fr�_M)E�`%I¤K#MJc�s=F,q UiICd ��& �%�)�K. ��\�c�XMJ�'M�UJVWc�\2F�d�`'�%IC\]c�\�d�G.¥¦F�E�ILd=M)� �8�'� ���J`?ICd�q£MJ�'M�UJVWc�\2F�d¢�S\]T�T�E)M�X�V�K�MQ\�d�c�s�M�U)V�E�E�MJd6c\]d=X�c�ICd6ci`a�%s=M)d#c�sW\2X�bWs�I�X�M��S\]T�T=[M�E�MiI�U�s=Mrq�ª©c�s,V=Xr`HbWs�I�X�MrX¡UrF�VWT2qeI�X¡�¯MJT�T�[MSd�ICK#M�q�-� �K# �@�.+� � � . �� �_¬J�

� k��'M�UJVWc�\2F�d�F�¥¯ICd�F�[9h�MrUJc�¥¦F�E c�s=MOUJVWE�E)M)d,c�\�d�X�cJICd,c�\3XSc�MJE�KL\]d�ICc�Mrqe�Ss=MJd�ICT�T \�c�X�K#MJ�c>s=F6q�X�s�IJ�_Mg�WdW\2X�s=MrqLc�FxM)�'MrU)VWc)M�¥¦F�E¯c�s�ICcS\]d=X�c�ICd6ci�

� ® d=MJ� \]d=X�c�ICd6c�cJIC�_M�X�bWT©I�UrML�Ss=MJdAICT]T¡F�['h�MrU)c�XQs�I)�_M#c�MJE�KL\�d�ICc)M�q�c�s=MJ\�E�MJ�9MrU)V�c�\3F�d¥5F�E¡c�s=M UJVWE�E�MJd,c�\]d=X�cJICd,ci­9IOd=MJ� b�s�I�X�M�cJIC�_MrX¡bWT!I�U�M��Ss=MJd¢ICT]TK�MJc�s=F,qWX�MJ\�c�s�M)E¯s�I)�_M��dW\3XZs=M�qLc�F�MJ�'M�UJVWc�MS¥¦F�E¯c�s=M�UJVWE�E�MJd,c�\]d=X�cJICd,c¯F�E�ICE�M X�V=XZb?MJd=qWMrqx�SIC\]c�\]d=GO¥¦F�E�Igd=MJ�6cb�s�I�X�Ma�

 ¡s=MJE�MJ¥¦F�E�Ma`,\]d=X�cJICd,c�X ICd=q�b�s�I�X�MrX¡bWE�Fr�6\2qWMOXZY9X�c)M)K#XS�S\]c�s�I � 0 �A� �10"��' .����6# � .)��K. � �������'� �.)���� 2�c�s�MxX�Y9XZc�M)K£`�\]c�XQF�[9h>M�UJc�Xr`0ICd=q�c�s=MJ\]EgK#MJc�s=F,qWX ICT�T�E�V�d�c�F#c�s=MxX�ICK#MxG�T2F�[�ICT U)T2F,U���`ICd=qed=FLUrF�KLb?F�d�M)d,c�\2X¡¥©E)M�M c�F�cJIC�_MQX�F�K#MOI�q'�_ICd=UrM�F�d¢c>s=M F�c�s=MJE�Xr�5�\3G�V�E�M�0�X�s=F���X¡c�s=MQX�c�E�V�U)c�V�E�M�F�¥�ICd¢F�['h�MrU)ci`6K:I�qWMQF�¥�c�sWE)M�M�b�ICE�c)X�2

� Ixq=ICc�IOb�ICE�cSq�M)�Wd�\�d=G|F�[9h�MrUJc�q=ICcJI,­

� ICd¢\]d,c�M)E>¥§I�U�M b�ICE�c�`,¥¦F�E�UCICT]T�\]d=GLF�['h�M�UJcSK#MJc�s=F,qWXr­9F�d=MOUiICd¢X�MrMg\]c I�X�K:I�qWMQF�¥ �;� & � �� & � ��� .)� � 2�c)FeUiICT�T¯I�K#MJc�s=F,q`�F�d=M�bWV�X�s=MrX�c�s�MxU�F�E�E)M�X�bF�d=q'\�d=GL[WVWc>c�F�d�`��Ss�\3U�s�E�MJ�K:IC\]d=XxqWMJbWE�MrX�X�Mrq�VWd,c�\]T¡d=MJ�,c�\�d�X�cJICd,ci­K#F�E�MrF��_MJEi`�ICT]T¡[�VWc�c�F�d=X.ICE�M�ICVWc)F�KeICc>\3UiICT�T]YE)M)T2MCI�X>M�qlICc�c�s=M�[M�G�\]dWdW\]d=G�F�¥�MiI�U�s�d=MJ� \]d=X�cJICd,ci­

� I:U�F,qWM�b�ICE�c�`�KeI�q�MxF�¥¡X�MJ�_MJEJICT�bW\3MrUrM�X F�¥SUrF,qWMH`?MiI�U�s F�d=MLqWM)��dW\�d�G.c�s�M�[?F,q9Y�F�¥%IK#MJc�s=F,q�� ¯s=MLICE�E�Fr� qWMJbW\2U)c)M�q¢�S\]c�s�MCI�U�s�K#M)c>s=F6q¢[F,q9Y¢X�s=Fr��X �Ss=MJE�M�MJ�9MrU)V�c�\3F�d\2XSUJVWE�E�MJd,c�T�Y#X�c)F�bWbM�qL\�dl\�ci�

data part

interface part

code part

M1 Mk

val1val2

...

...

...

5�\2G�VWE�M�0A2'®Sd�y�['h�M�UJc

5 � ���K7 ��� �����D2

 ¡s=MJE�MQM)�,\3XZc�X�c�s�E�M�M��,\�d�qWX¡F�¥�K#MJc�s=F,qeUiICT�T2Xr­

BCBEDGFIH%JKJ�L

Page 13: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

{�� ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

� mod � ��' . ���6# � .�� & � UiICT�T2Xr`ac�s=M�UiICT]T3MJESqWF,MrX d=F�c¯�SIC\]c ¥¦F�E¡c�s�M�UCICT]T3MrqLK�MJc�s=F,qxc�FOc�MJE�KL\]�d?ICc�MH­6\]c�h�V=XZcSX�MJd=qWX%ICd¢F�E�qWMJE ICd=q�UrF�d,c�\�d,V=MrX�c�FxMJ�'M�UJVWc�Ma�

� mod ��' . ���6# � .�� & ��UCICT]T2Xr`?c�s=MLUCICT]T2M)E�s�ICT�c)XgVWd,c�\]T�MJ\]c�s=MJEgc�s�M.F�E)qWM)E�\3XQE�Moh�M�UJc�Mrq`?F�Ei`0\�¥I�UrUrM)bWc)M�q`6c�s�M�UiICT]T3MrqeK#M)c>s=F6qLc�MJE�KL\�d?ICc�M�X�¥¦F�ESc>s=MgUJVWE�E)M)d,c�\]d=X�c�ICd6ci�

� ���0 � '6����UiICT]T3X�ICE)MOI�X�Y,d=U�sWE)F�d=F�V=XSUiICT�T2X¡�Ss�\3U�s£ICE�MOqWMJT!I)Y_Mrqec�F�c�s=M�d=MJ�,cS\�d�X�cJICd,ci�m�d:c�s=M�co�¡F��WE)X�c¡UiI�X�MrXr`9c�s=M�UiICT�T2M)E%UCICdl[?M�\]dW¥¦F�E�K#Mrqx�Ss=MJc�s=MJE�c�s�M�F�E)qWM)E%X�MJd6c¯\3X%I�U�UrM)b�c�M�qF�ExE�Moh�M�UJc�Mrq ª©c�s�\3XO\]dW¥¦F�E>KeICc>\3F�d \3X�K#MiICdW\�d�G�T3MrX�XO¥¦F�ELq�M)T!I)Y_MrqAUCICT]T2X|�%sW\3U�s ICE�M�bWE)F6UrM�X>X�M�qF�dWT]Y#ICc¡d=MJ�6c \]d=X�cJICd,cJ¬J�HD�ICEJICK#M)c)M)E�X�K:I)YL[MSc�EJICd=XZK.\]c�c�Mrq�q9V�E�\�d�GOUiICT�T2X¡ICd�q.c�s�M)YxK:I)YL[MF�¥�ICd,Ye�,\�d=q0­_c>s=M)Y#UiICd¢MJ�_M)d�[MQF�[9h>M�UJc�X¡F�E�K#MJc�s=F,qWXr�5�\2G�VWE�M�}LX�s=Fr��X�c�s=M�M "�MrU)cQF�¥ ICd I�UrU�MJbWc�Mrq¢UCICT]T�F�¥¯IxK�MJc�s=F,qed�ICK#Mrq���\]d�F�[9h�MrUJc �)2

[WVWc�c)F�d��L\2X b�V=X�s=Mrq#ICd=q�MJ�'M�UJVWc�\2F�deF�¥c�s=MSK#MJc�s=F,qx[?F,q9Y#I�X�X>F6UJ\©ICc)M�qLc�F��LGHF,MrX�c�FxIQd=M)�bF�\�d,c�X�s=Fr�Sd�[,Y�c>s=MOICE>E�F����=y�d¢c�s=M F�c�s=MJESs�ICd=q0`,�=G�V�E�M�{��.XZs=F���X I�E�Moh�MrU)c)M�q#UCICT]T0c)FLICdICT�E)MCI�q9Y#qWF�d�MSK�MJc�s=F,q�ª©c�s=MSUrF�E�E�MrX�bF�d=q9\]d=GQ[WVWc�c�F�dL\2X¡qWMJbWE�MrX�X�Mrq=¬K2�\�c¯s�I�X�d�FOM�"�M�UJc�ICc�ICT�Tª©E�MrUCICT]Tc�s�ICc�ICT]T[WVWc�c�F�d�XSICE�M EJIC\2X�M�qlICcSc�s=M [M�G�\]dWdW\]d=G�F�¥ MCI�U�s�d�M)� \]d=X�c�ICd6cJ¬��

M1...

...

M ...

...

M1...

...

M ...

...

becomes

object O object O

call of method named M in object O

5�\2G�VWE�MQ}A2W®�U�UrMJbWc�Mrq 9MJd=q�c�FLIxj¢MJc�s=F,q

M1...

...

M ...

...

call of method named M in object O

object O

5�\3G�V�E�M�{�� 2�p�Moh�M�UJc�Mrq 'M)d=q#c�FLILj¢M)c�s�F6q

� �D7!� �&2

y%['h�MrU)c)X UiICd#[?M�q'Y6d�ICKL\2UCICT]T]YxU)E)MCICc�Mrq#I�X ��0 � . �K��F�¥0MJ�6\2X�c�\]d=GQF�d=MrX��a�6® U)T2F�d=M�F�¥ ICdeF�['h�MrU)c� \3X|I.d=MJ� F�['h�MrU)cQ�Ss=FHX>M�K�MJc�s=F,qWX ICE�MLUrF�bW\2M�XQF�¥�c>s=FHX�MxF�¥ � �? ¡s=MxUJT2F�dW\�d�GeF�bM)E�ICc�\3F�d J P M D DNA'>ID D D� [JX�G D DLM X DVO M ?� C'DPO A'P M : Q <� G@[�DFE Y [�E�MF\ W�� ]

243CB5246

Page 14: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� {H{

\3X X�s�F��Sd�F�d��=G�VWE)Mx{H{_� 7�F�c�\2UrMOc�s�ICcS\]d�c�s=MQU)T2F�d=M�F�['h�MrU)c�`�q=ICcJILICE�M�d=F�c U�F�b�\3Mrq�ICd=q�ICE�MVWd=qWMJ�Wd=Mrq�ª!c�s=M�� XZY6K�[F�T!¬J`WICd=qec�s?ICc¡K#M)c>s=F6qL[F6q'\3MrXSICE�M E�MrX�MJci�

M1 Mk

val1val2

...

...

...

M1 Mk...

...

...

creates

O’ is a clone of O

object O object O’

5�\3G�VWE)MO{H{62= ¡s=M�R�T2F�d=MQy%bMJEJICc�\2F�d

��� ��� � � 5 � ���K7 �'2

j¢M)c�s�F6qWX UiICde[M�q9Y,d�ICKL\3UiICT�T]Y#I�qWqWMrqLc�F�F�['h�M�UJc�Xr�6 ¯s=M M "�MrU)c¯F�¥�I�q�q9\�d�GxIgK#M)c>s=F6qxc�F.ICdF�[9h>M�UJc�\2X X�s=F��%deF�d#�=G�VWE�Mg{�NA2'I d=MJ� [WV�c�c�F�dx\2X¡I�qWq�M�qL�S\]c�s:I�d=MJ� E)M�X�MJc�\�d�X�cJICd=UrMSF�¥c�s=MK#M)c�s�F6q#[?F,q9Y�ª©d=F�c>\3UrM�c�s�ICcS[WV�c�c�F�dlICd=qeK#M)c>s=F6q#d�ICK#M�X%ICE�M d=F�cSd=MrU�MrX�X�ICE>Y�c�s�M�X)ICK�Mi¬J�

M1 Mk...

...

M1 Mk...

...

becomes

X

object O object O

method M

add method M to object O under name X

5�\2G�VWE�M�{�NA2�®�qWq£IxjlMJc�s=F,q& s�M)d I�qWq9\]d=G¨I�K#M)c�s�F6q`�\�¥Qc�s=MJE�M�MJ�6\2X�c�X:I�K#MJc�s=F,q¨�S\�c>s c�s�M�X�ICK#M¢d�ICK#MH` c>s=M)d

ICd6Y°I�UrU�MrX�XOc�F�c>s=MLF�T3q�K�MJc�s=F,q�[?MrUrF�K�MrXg\]KLbFHX�X�\][WT3M�ª!c�s6V�Xr`�c�s=MLF�T2q�K#M)c>s=F6q�[M�UrF�K#M�XVWd�I�UrU�MrX�X�\][WT2MC¬��

� ��� � ��� � /�0>1 � �

 ¡s=MJE�MeMJ�,\3X�c)XLICd �.)�/�10F�['h�M)c�`��S\]c�s«F�dWT]Y¨F�d=M:K�MJc�s=F,q­?c�sW\2X�K#M)c>s=F6q \3XxUrF�d6c>\�d,V=F�V=X�T]YM)�'MrU)VWc)M�q�[,Y�c�s=M¯X�Y'X�c�MJK ICd�qxMCI�U�s#MJ�9MrU)V�c�\3F�dLF�¥=\]c qWMJ�Wd=MrX�I%d�M)�«G�T2F�[�ICTW\]d=X�cJICd,ci�'�%V�E�\�d�GF�d=MS\]d=X�cJICd,ci`�F�[9h�MrUJc�X ICE�MSUJE�MCICc)M�qLICd=qxK#MJc�s=F,qWX�ICE�MSUiICT�T2Mrq­�MJ�9MrUJVWc�\2F�dLF�¥?UiICT]T3MrqxK�MJc�s=F,qWXUCICd UiICV=X�M�UJE�MiICc�\3F�d�F�¥�d=MJ� F�[9h�MrUJc�XQICd=q�UCICT]T3X F�¥�d=MJ��K�MJc�s=F,qWXr`Wc�s�ICc��S\]T]T�[M�M)�'MrU)VWc)M�q\�d�c�s�MgX�ICK#MO�%I)Y6��®�d=MJ�tbWs�I�X�MQ\3XS\2X�X�V=Mrq��Ss=MJd�ICT]T0K#M)c>s=F6q�XSM)\]c�s=MJE ICE�M|X�V=X�bMJd=qWMrq`9F�Es�I)�_Mx�Wd�\3X�s�M�q�c�F:M)�'MrU)VWc)MO¥¦F�E c�s=M�UJVWE�E)M)d,c \�d=XZcJICd6c��� ¡s=MxUJVWE�E)M)d,c�\�d�X�cJICd,c�\2X�c�MJE�KL\�d�ICc)M�q�Ss=MJd¢ICT]T0UiICT]T3MrqeK#M)c>s=F6q�X s�IJ�_M�c)M)E�KL\]d�ICc�Mrq.c>s=M)\]ESMJ�'M�UJVWc�\2F�d�¥5F�ESc�s�ICc¯\�d=XZcJICd6c�­ac�s=MJd�`6c�s=M\�d�\�c�\!ICTK�MJc�s=F,qL\3XSUiICT]T3Mrq¢ICd=F�c�s�M)E¯c�\�K#Ma`9qWM)��dW\�d�GxI�d=M)� \�d�X�cJICd,ci`WICd=q�X�FxF�d�¥5F�E�M)�_MJEi�

BCBEDGFIH%JKJ�L

Page 15: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

{�N ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

 ¡sW\2X¡UrF�d=UJT�V�qWM�X c�s=M�p�MiI�U)c>\��_MQy�[9h�MrUJc�j¢F6q�M)TqWMrX�UJE�\�b�c�\3F�d��a ¡s=M�d=MJ�6c%X�MrU)c�\2F�d�G�\]�_MrX�IX�Y,d6cJIC�lICd=q�q�M)�Wd�M�X%IObWE�F�c�F�coY6bM�T!ICd=G�V�I�GHMg[?I�X�M�qlF�d�c�s=M 8 � � K#F,qWMJT§�

� �� ���¢� ��� � � � �

 ¡sW\2X�X>M�UJc�\2F�d�G�\]�_M�X%IOX�Y,d6cJIC�L¥¦F�E¯c�s=M 8 ��� K#F6qWMJT��6 ¡s=MST!ICd=G�V�I�GHM qWMrX�U)E>\�[Mrq.\2X [�VW\�T]c¯F�d8(.3)! �� "�� .,! ª98 !�¬�< ~�?��%sW\3U�s�\2X�\�c�X>M)T]¥�[�I�X�Mrq�F�d,!�`?ICd=q�G�\]�_M�XQI.�%I)Y¢c)F�UrF6q�M�X�Y'X�c�MJK�XqWMrX�\3G�d�M�q I�UrU�F�E�q'\�d=G c�F�c�s�MeE�MiI�U)c�\]�_M�ICbWbWE)F_I�U�s��¡y%V�E�\]d6c)M)d,c�\2F�d \2X ¶W� c�F¨G�\]�_M�I�¥©VWT]T3=MrqWGHM�qLT!ICd=G�V�I�GHMa`_[�VWc0hZV=X�c�c�F�qWMJ�Wd=M�I � # �1���1�4'��)��c�s�ICc¯UCICd:[MSV=X�MJ¥©VWTWc�FQ\�d,�_MrX�c�\2G_ICc�M�c�s=M8(��� K#F,qWMJT§��& M#ICE�M#I)�%ICE�MLc�s�ICcQc�sW\2X%b�E�F�c�F�coY6bM�T!ICd=G�V�I�GHMx\3XQd=F�cQV=X�MJE��¦¥©E�\2M)d�q9T�Y6`�ICd�q�¡M bWT!ICd�c�F�[WV�\�T2q�I�E�MiICT?T!ICd=G�V�I�GHM [�I�X�Mrq�F�d�c>s=M 8(��� K#F6q�M)T��

/�0�1 � ��� �� ��� � �D7��K2

 ¡s=M�q�ICcJI|b?ICE�cQF�¥¡ICd�F�['h�MrU)c \2XgILX�c�E>V=U)c>VWE�M �Ss=FHX�MO��M)T2qWX UCICd�F�dWT]Y�[MxI�UrU�MrX�X�Mrq�[,Y¢c�s=MF�[9h>M�UJc � X�K#M)c>s=F6q�Xr� ��MJ�WdW\]c�\2F�d�F�¥�ICd£F�[9h�MrUJc �xs�I)�,\�d�G|��M)T2qWX������������������x\2X¡�SE�\]c�c�MJd 2

���� ��! #"_�%$���'&������������(&

�)�*&!��� ��� +"_�%$

k��WICKLbWT2M 2

���� ��! #"-,%.!/�)%0�1�$.2)� ��'.! � & 3*+&

�)�*&!��� ��� +"-,%.!/�)�0�1�$

®Sd�F�[9h>M�UJc �x\3X%X�\�KLbWT]Y#qWMrU)T!ICE�Mrq�[,Y�2

���� ��! �4�5�6 ?�7&

m�dlc�sW\2X¡UiI�X�MH`��xs�I�X¡c�F�[MQqWM)��d=M�qlI�XSUJT3F�d=MQF�¥�ICd=F�c>s=M)E%F�[9h>M�UJc�ª¦X�MrM�[M)T]T3Fr� ¬J�®t�=MJT3q8�UiICd�[MOI�UrUrM�X�X>M�qe[,Y:F�[9h�MrUJc � X K#M)c�s�F6qWX�VWd=q�M)E¯c�s=M d�ICK#M9�:. �13*#";8:$6� ¡s=MQF�['h�M�UJc¡d?ICK�Mrq<��0�=�.�� s?I�X�ICd¢MJK.b�c�Y#q=ICcJIOb?ICE�ci`=ICd=qe\2X¡bWE�MrqWMJ�Wd=Mrq�

5 � ���K7 �>� �� � � ���D7��K2

 ¡s=MQqWMJ�WdW\]c�\3F�d:F�¥�I�K#M)c>s=F6q �lI�X�X�F,U)\!ICc�Mrqec�FLICd¢F�['h�MrU)c��xs�I�X¡c>s=M�¥¦F�T�T2F��%\�d=G�¥5F�E�K 2

� 3 �?3*#"_�7� �'$A@�����

B

243CB5246

Page 16: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� {��

j¢M)c�s�F6q#[?F,q9\2M�X%ICE�M KeI�q�MgF�¥ 8 ! XZcJICc�MJK�MJd,c�Xr�6®tK#M)c�s�F6qL\3X%UCICT]T3Mrq �� �\]d�\]c�X¡[F,q9Y_`WICd=q\�c)Xgd�ICK#Mx\3XB� ����A)�0��� '��� ICE�\©IC[�T3MrXOqWMJ�Wd=Mrq�\�d°IeK#M)c�s�F6q�[F6q9Y�ICE)M|T2F,UCICT�c�F�\]c�ICd�q¨ICE�M\�d,c�E�F,q9V=UrMrq�[6Yxc�s�M6�%0����_MJY6�¯F�E�q�a ¯s=M�F��Sd�M)E F�['h�M�UJc¯F�¥�c>s=M¡K#M)c>s=F6qx\2X�UCICT]T3Mrq =� �1A��`6ICd=q\�c)XOd�ICK#M.\2X�=� �13�����3)%0Z�� 9�C5=F�ExMJ�WICKLbWT2Ma`�c>s=M.¥5F�T�T2F��S\]d=G�K#MJc�s=F,q£bWE>\�d,c�XO\]c�Xgd?ICK�M#MiI�U�sc�\]K�M \]c¡\2XSM)�'MrU)VWc)M�q"2

� 3 �?3*#" �%0�=�.�� � .!*� �)� �.!��5�$3@�&�#"�&�& $3@

6��:.2)� ��+"��� 0��� %=#���� �� ����3)%0Z�� �$ & B=3 ��6 &

BB

7�F�c�\2U�M�c�s=M =3 &!6@8 !¤X�c�ICc�M)K#MJd6cc�s�ICc�X�c�F�b�X0MJ�9MrU)V�c�\3F�dQ¥¦F�E�c�s=M�U)V�E�E�MJd6c�\]d=X�cJICd,ci­�MJ�9MrU)V�c�\3F�d�S\]T�TE�MrX�cJICE�c¯¥©E�F�K c�sW\2X�bF�\]d6c�`_�%s=M)dlc�s=M�K#M)c�s�F6q#�S\�T]TM)�'MrU)VWc)M%¥5F�ESc�s=M�d=MJ�6c%c�\�K#Ma�

p�M)K:ICE���ICT2X�F�c�s�ICc�c>s=M)E)M \2X0c�s�M bFHX�X�\][W\]T�\]coY�c)F�qWM)��d=M d�F�dW�¦E�MiI�U)c�\]�_M F�[9h�MrUJc�X?�Ss�FHX�M�K#MJ�c�s=F,q�d�M)�_MJE0c�MJE�KL\]d�ICc�M?¥5F�E0c�s=M�UJVWE�E)M)d,c�\�d=XZcJICd6c�`CICd�MJ�WICKLbWT2M�F�¥6�%sW\3U�sQ�¯F�VWT3qQ[M .�*� �)� :.���5�S\]c�s=F�VWc c�s=M =3 &!6x\]de\]ci�� 6V=U�s:F�[9h>M�UJc�XSICE)M�q�M)�Wd�\�c�MJT]YxM)E>E�F�d=MrF�V=X \]d#c�s=M p�MCI�UJc�\]�_M y%['h�MrU)cj¢F6qWMJT��

� �D7!� �&2

 ¡s=MQU)T2F�d=M��� ��:F�¥�ICd¢F�['h�M�UJc ��13*.\2XSUJE�MCICc)M�q#[6Y#c�s=MQqWMJ�WdW\]c�\3F�d42

��1��) "���1A* ���� �� $ &

y%['h�MrU)c��� ��L\3X¡T2F,UCICT�c�F�c�s=M�[WT2F6U��#\]d��SsW\2U�sec�s�M�q�M)�Wd�\�c�\2F�dec�IC�_M�X¡b�T©I�UrMH�®Sd ICT�E)MCI�q9Y°qWMrU)T!ICE�Mrq¨F�[9h>M�UJc��� ��¤\2XxqWMJ�Wd=MrqAI�XLI�U)T2F�d=MeF�¥ ��13*�[,Y¨MJ�9MrU)V�c�\�d�G�c�s=M

X�cJICc�MJK#M)d,cI2

.�=���1�!)� "���13*+���� ��'$�&

��� ��� � � 5 � ���K7 �'2

 �F#I�qWq¢IOK#MJc�s=F,q �#c�FxF�[9h>M�UJc �xVWd=qWMJE¡d?ICK�M���ª©�SsW\2U�se\2X�I�X�c�E>\�d=G_¬�\3X¯�SE�\]c�c�MJd 2

0�*�*�0�= "��#� � ����$ &

& s�M)d��L\2X¡c�s=M d�ICK#M F�¥ ��`WF�d=MQX�\]K.b�T�YL�SE�\]c�MrX�2

0�*�*#"_�#� �'$�&

�Y2 <��� ��� 7��K7��82 ��� ���D2

®�X�Y,d=U�sWE�F�d=F�V�X�K#MJc�s=F,q¢UCICT]T3XQICE�M�bMJE�¥¦F�E�K#MrqeV=X�\]d=GLc�s=M�=� !)�*�XZcJICc�MJK�MJd,ci�'® b�ICEJICK#M)c)M)E\3X I�X>X�F6UJ\!ICc�M�q#c�F#ICd¢MJ�9MrU)V�c�\3F�d£F�E�qWMJEi­6\�cS\2X�I�bF�\�d,c�MJESF�¥�coY,b?M���.!*��'`WICd=q��� "!�!LqWM)d�F�c�M�X

BCBEDGFIH%JKJ�L

Page 17: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

{Cw ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

I�b�ICE�ICK�MJc�MJE��SsW\2U�sL\3X�d=F�c V=X�MJ¥©VWT��rmo¥�c�s=MSUiICT]T=\3X I�UrU�MJbWc�Mrq`ic>s=M¡b�ICEJICK#MJc�MJE�\3X�c�EJICd=XZK.\]c�c�Mrqc�Fgc>s=MSUiICT�T2M�qxK#MJc�s=F,q`aICd=qL\]d.c>s=M¡K#M)c>s=F6q�[F,q9Y6`�\�c�\2X �,d=Fr�Sd:I�X�0���/��6®SdlI�X�Y6d�U�sWE�F�d=F�V=XUCICT]T0c)F�I�K#MJc�s=F,q�F�¥�F�[9h>M�UJc���`'�Ss=FHX>M�\]d6c)M)E�¥�I�U�M d�ICK#M�\2X 2)%0Z� �6`,�S\]c�s�b?ICEJICK#M)c�MJE 0���/�`\3X¯�SE�\]c�c�MJd 2

=� !)�*+"_�7� )�0Z� �'� 0���/:$�&

k��WICKLbWT2M 2

=� !)�*+"_����� �.!*& !)� :.!��5 '���� "!�!�$�&

 �FLGHMJcS\�d�¥¦F�E�K:ICc�\2F�d�F�d�I�UrU�MJbWcJICd=UrM F�E�E�Moh�M�UJc�\2F�d�F�¥�ICd�I�XZY6d=U�s�E�F�d=F�V=XSUiICT]T§`WF�d=M V=X�MrXc�s=M =� �)�*��� �=�b�E�\�KL\]c�\]�_MH��R¯F6qWM �� � �&�����AK�MiICd=X#c�s�ICcec>s=M¢K�MJc�s=F,q«\3XeV�dW�6d�F��Sd�`¡ICd�q� !���� ��� ����Lc�s�ICc%c�s=MOUiICT]T0\2X¡E�Moh�M�UJc�Mrqe[M�UiICV=X�M c�s=M K#M)c>s=F6q:s�I�X ICT�E)MCI�q9Y#[M�MJd¢UiICT�T2Mrqq9VWE�\]d=G�c�s�MgUJVWE�E�MJd,cS\�d�X�cJICd,ci�' ¯s=M�E)M)c�V�E�d¢UrF6qWM \2X I�X�X�\2G�d=M�q�c)F�ICd . )� .�_ICE>\©IC[WT2MOG�\]�_MJd�I�X¥¦F�VWE�c>s¢ICE�G�VWK#MJd6c�­_¥5F�E�M)��ICKLbWT2M12

=� !)�*��� �= "��#� )�0��� �'� 0 ��/ � �� �=� :1A :$ &

:=< � ���37!�K7 �K2 ��� ���D2

m�d£I�X�Y,d=U�sWE�F�d=F�V�XSI�UrU�MJbWc�Mrq�UiICT]T§`6c�s=M UiICT�T2MJE¡�%IC\�c�X ¥¦F�E¡c>s=M UCICT]T3Mrq�K#MJc�s=F,q.c)FOc�MJE�KL\�d�ICc)M�X¥¦F�E¡c>s=M�U)V�E�E�MJd6c \�d�X�cJICd,ci�a®tX�Y,d=U�sWE�F�d�F�V=X�UiICT]T�c)FxIgK#M)c>s=F6q#F�¥�F�[9h�MrUJc ��`_�%s=FHX�MS\]d6c�MJE�¥§I�UrMd�ICK#M�\2X 2)%0Z�� �6`6�S\�c>seb�ICEJICK#MJc�MJE 0���/�`6\3X¡�%E�\�c>c�M)d42

�A0�1�1 "_�7� )�0Z� �'� 0���/:$�&

 �F¢GHMJcO\]dW¥¦F�E�K:ICc�\2F�d¤F�d I�U�UrM)b�cJICd=UrM.F�E�E�Moh�M�UJc�\2F�d¨F�¥�I�X�Y6d�U�sWE�F�d=F�V=X�UCICT]T�`F�d�M.V=X>M�XQc�s=M�A0�1�1 �� �=ObWE>\�KL\]c�\��_Ma­a¥¦F�E�MJ��ICK.b�T3M�2

�A0�1�1�� �= "��#� )�0��� �'� 0 ��/ � �� �=� :1A :$ &

� � ��� <�� � ��� ���D2

® q�M)T!I)Y_Mrq�UCICT]T�¥¦F�E�c�s�Mgd=MJ�6c�\]d=X�c�ICd6cS\2XSK:I�qWMOV=XZ\�d=Gxc�s�M =� �)�*�)� 38� #bWE�\]KL\�c�\]�_Ma�, ¯s=M)E)Mg\2Xd=F#U�F�E�E)M�X�bF�d=q'\�d=G�bWE�\]K.\]c�\]�_M�c)F.GHMJc�\]dW¥¦F�E�K:ICc�\2F�d�IC[F�VWcQI�UrU�MJbWcJICd=UrMQF�E�E)M�h�MrUJc�\3F�d£F�¥�c�s=MUCICT]T�`9I�X \]c¡q�F6MrX d�F�c�UrF�d=UrM)E>d�c�s�MSU)V�E�E�MJd6c�\]d=X�cJICd,ci�a® qWM)T!I)Y_MrqeUiICT]T=c�F�I K�MJc�s=F,qLF�¥0F�['h�MrU)c�W`9�Ss=FHX>M�\]d6c)M)E�¥�I�U�M�d�ICK#M�\3X )�0��� �_`6�S\]c�seb?ICEJICK#M)c�MJE 0���/=`9\3X¯�SE�\]c�c�MJd 2

=� !)�*�) A8� #"_�#� 2)%0Z�� ���;0���/�$ &

5 � ���K7 � ��� ��� � ���

®tK�MJc�s=F,qeUiICd�q9Y,d�ICKL\3UiICT]T�Y#U�s�ICd=GHMQ\�c)X¡\�d,c�MJE�¥§I�UrM�d�ICK#M�[,Y�MJ�9MrUJVWc�\]d=GxI�E�MJd�ICKL\�d=GxXZcJIC�c�MJK�MJd,ci�'5=F�ESMJ�WICKLbWT2MH`9\]c¡\2XSU�s�ICd=GHMrqe\]d ) �� [,Y�2

�& !)%0Z�� "� ) �� �$�&

243CB5246

Page 18: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� {�~

p�M)d?ICK.\]d=GHX|ICE�MeX�bMrU)\!ICT]T�Y�V=X�MJ¥©VWT�c)F�E�M�XZc�E�\2U)c.I�U�UrM�X>XOc�F�K#M)c>s=F6q�Xr� 5=F�E�c�s�ICc�bWVWE�bFHX�Ma`�IK#M)c�s�F6q�UCICd�E)M)d�ICK#M�\]c�X�MJT�¥,[6Y|I¡d=MJ�¨d�ICK#M��SsW\2U�sO�S\]T]Ta[M�UrF�K.K|VWdW\2UCICc�MrqQF�dWT�YQc�F�F�['h�MrU)c�XICT�T2F��¯Mrq�c�FxUCICT]T\�ci�)5=F�ESMJ��ICK.b�T3Ma`'UrF�d=X�\2qWMJE¡c�s�M%¥5F�T�T2F��S\]d=G�K#MJc�s=F,q"2

� 3 �?3*#"_�7� 6 ��:1�.���$A@�& !)%0Z�� "-0 ��/:$�&�����

B

y%d�MOGHMJc�X I�E�M�XZc�E�\2U)c�Mrq�I�UrUrM�X�XSc)F|c>s=M�K#MJc�s=F,q`6[6YlUCICT]T]\�d=Gx\]cS�S\]c�s�I�d=MJ� d�ICK#M�I�XSb?ICEJIC�K#M)c�MJE#ª¦F�d=MxX�VWb�b?FHX>M�X�c�s=MJE�MO\2X�I#�SIJY£c)FeUJE�MCICc)M�d=M)� ¥©E�MrX�s�d�ICK#M�X)¬J­�c�s=MJd�`�c>s=M�K#M)c�s�F6q�S\]T�T�d=F�cS[M�I�UrU�MrX�X�\][WT2M�[,Yec>s=MgF�T2q�d�ICK#M 6 ���1�.��,`6[WVWc�F�d�T�Y:[6Y:c�s=FHX�MQ�6d=Fr�S\]d=Gxc�s=M d=M)�d�ICK#MH�

� ��� � ��� � /�0>1 � �

 ¡s=M .)�/�10F�[9h>M�UJcLqWMJ�Wd=MrXOc�s=M:X�Y9XZc�M)K MJd6c�E>Y¤bF�\�d,ci­0\�cLFr�Sd=X#I�X�bM�UJ\©ICT¯K#M)c�s�F6q`�ICT2X�FUCICT]T2M�q . ) .! �.30�19`9�Ss=FHX�M�U�F�d,c�\]d6V�F�V=X�M)�'MrU)VWc>\3F�d¢q�M)�Wd�M�XSc�s�MgG�T2F�[�ICT�\]d=X�cJICd,c�Xr��& s=M)d¢\]c�\2Xd=MrM�qWMrq`9F�d=M UiICdeb�I�X�X b�ICEJICK#MJc�M)E)X�c�FOc>s=M�X�Y'X�c�MJK¢`aV�X�\�d�GOc�s=M X�cJICd�q=ICE�q � 0 ��/�� � 0 ��/3��� !K#M�U�s�ICd�\3X�K£�� �F%qWM)��d=M�c�s=M�\]dW\�c>\©ICTHK#MJc�s=F,q%�%\�c�s�c�s=M�b�ICE�ICK�MJc�MJE�X 6%0���0Z��s�I�Xc�s=M�¥¦F�T]T3Fr�S\�d�GX�Y,d6cJIC� 2

.2)'.� :.30�1 " 6�0���0Z�'$3@�����

B

k��WICKLbWT2M@2

.2)'.� :.30�1 " . )� 0���/:� � � ?%0�����0 ��/ ������$3@�&�#"2.���7&�& .���$3@

6��:.2)� ��+"�� !) . ):=A �0A)� �*�� �� .�$ &=3 ��6 &

BB

� � ��2 �&2

m�d�X�cJICd,c�X¡K:I)Y:[?MQqWMrU�F�KLbFHX�Mrqe\]d6c�F�b�s�I�X�MrXr�' ¯s=M�d�F�c�\3F�d£F�¥ I�b�s�I�X�Mg\2XSX�c>E�F�d=G�T]Y�E�MJT!ICc�M�qc�F�c�s=MSbFHX�XZ\�[W\]T]\�coYx\�d 8 ! c�F|qWM�UrF�KLbFHX�M IgE�MiI�U)c>\3F�d:\�d,c�F�X�MJ�_MJEJICT�K.\2UJE�F��¦E�MiI�U)c�\2F�d=Xr`aV�X�\�d�Gc�s=M =� :=!6� !)�*LX�c�ICc�M)K#MJd6c�� &¤M c�s,V=XSU�s=F,FHX�M c�Fxq9\]E�M�UJc�T]YLV=X�M c�sW\2X 8 ! X�c�ICc�M)K#MJd6c�`'ICd�qeGHMJcc�s=M c��¯F�¥¦F�T]T3Fr�S\]d=G�bWE�\]KL\�c�\]�_MrX�2

�  ¯s=Me[F6F�T2MiICdAc�M�XZc .�=���?�0�=� " )'$#\2Xxc�E�V=M:\�¥QICd=q«F�dWT]YA\]¥�c�s=M�X�Y'X�c�MJK \�d«\]d b�s�I�X�Md,VWK�[MJE�)�ª©c�s=M�\]dW\]c�\©ICT�bWs?I�X�M�s�I�XSd6V�K�[M)E�{�¬J�

� $ YeMJ�'M�UJVWc�\]d=GOc�s�M = �=!6 �)�*xX�cJICc�MJK#M)d,ci`WIOK#M)c>s=F6q:X�V=X�bMJd=qWX�\�c)XSM)�'MrU)VWc>\3F�d��

BCBEDGFIH%JKJ�L

Page 19: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

{�v ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

5=F�E�MJ�WICKLbWT2MH`9F�d=M �%IC\�c�X¯¥¦F�ESc�s=M�bWs?I�X�M�d,VWK�[MJE�NO[,YeMJ�'M�UJVWc�\]d=GOc�s�M�¥¦F�T]T2F��S\]d=G�T2F6F�b 2

�&�#"�&�& $3@.!� "2.�= ��?%0�=� "_�%$�$ �"�� �03� &= :=�6 �)�* &

B

® d=MJ� bWs�I�X�M¡\2X�\3X�XZV=M�qL[,Yxc�s=MSX�Y'X�c�MJK �%s=M)d:MiI�U�seUiICT�T2Mrq.K#MJc�s=F,qWX�M)\]c�s=MJE�\3X¯U�F�KLbWT2MJ�c�MJT�Yxc�MJE�KL\]d�ICc�Mrq`iF�E s�I�X�c�MJE�KL\�d�ICc)M�q�\]c�X�M)�'MrU)VWc>\3F�dL¥¦F�E c�s=MSUJVWE�E)M)d,c�\�d�X�cJICd,c�ª5M)�'M�UJVWc�\]d=G�I=A �!6¢X�cJICc�MJK#M)d,cJ¬J`WF�E \3XQX�V=XZb?MJd=qWMrq¤ª¦MJ�'M�UJVWc�\]d=GLI = :=�6 �)�*eXZcJICc�MJK�MJd,cJ¬J�W® d=MJ��\�d=XZcJICd6c\3X�\2X�X�V=Mrq�[,Y�c�s=M�XZY9X�c)M)K �Ss=MJd�I.d=MJ�tbWs�I�X>MOcJIC�_MrX%b�T©I�UrMO�SsW\]T2Mgd=F:X�V=X�bMJd=qWMrqeK#M)c�s�F6qE�MJKeIC\]d=Xr��j¢F�E�MrF��_MJEi` c�s=M#bWs�I�X�M#d6V�K�[M)E�\3XxE�MrX�MJc�c�F°{lICcLc�s�M.[MrG�\�dWd�\�d=G�F�¥ MiI�U�s«d=M)�\�d�X�cJICd,ci�

� ��� � � �������������

&¤MLICE)M�GHF�\�d�G�c�F#U�F�d�X�\3q�M)E�co�¡F:M)��ICKLbWT2M�XSc�F#X�s=Fr� c>s=MOMJ�6b�E�M�X>X�\��_MQbF��¯M)EQF�¥ c�s=M 8 ���K#F6qWMJT��'mod¢c�s=MO�WE)X�c�F�d=Ma`�F�d=M�q�M)�Wd�M�X�X�F�K#MQ�6\]d=q�F�¥ �JI�U)c>\��_M �eF�['h�MrU)c�XSc>s�ICc UCICd�MJ�9MrUJVWc�M\�d°ICd°ICVWc�F�d=F�K#F�V=X �SIJY_�0 ¡s�MxX�M�UrF�d=q�MJ�WICKLbWT2MxX�s=Fr��X�s�F�� c�Fe\]K.b�T3MJK#M)d,cQI�[WE�F_I�q�UCI�X�cU�F�KLK�V�dW\3UiICc�\2F�deK#MrU�s�ICdW\2X�K£�

�� � ��� � / 0>1 � � 2

*�X�\]d=G�c�s=M =� �)�*�)� 38� �X�c�ICc�M)K#MJd6c�`?IeK#M)c�s�F6q�UCICd°U�F�d,c�\]d6V�F�V=X�T]Y�UiICT]T \]c�X�MJT]¥�¥¦F�E�c�s=Mxd=MJ�6c\�d�X�cJICd,ci��®Sd F�[9h�MrUJcxF��Sd�\�d=G�X�V�U�s«I�K�MJc�s=F,q�\2XLICd �6���� �OF�['h�MrU)c|c�s�ICcxMJ�9MrUJVWc�MrXO\�d ICdICVWc�F�d=F�K#F�V=X��SIJY_`��S\�c>s=F�VWcOc>s=Mxd=M�Mrq¤¥¦F�E�ICd=F�c�s=MJExF�['h�M�UJc�c�F¢UiICT]T¡F�d=M:F�¥S\]c�XOK#M)c>s=F6q�Xr�5=F�E M)��ICKLbWT3Ma`ic>s=M�¥¦F�T]T2F��S\]d=G bWE�FHG�EJICK qWM)��d=M�X�ICd:I�UJc�\]�_MSF�[9h>M�UJc��g�SsW\2U�s#ICc MCI�U�sL\]d=X�cJICd,ci`bWE�\]d6c)XSI�K#M�X�X)I�GHMH`WICT]c�s=F�V=G�s�\]c�X � �)�K#MJc�s=F,q�\2XSF�dWT]YeUiICT]T3MrqeF�d=UrM [6Y:c�s=M�\�d�\�c�\!ICTF�[9h>M�UJcI2

� 3 �?3*#" �%0�=�.�� � �� �) $3@�&�#"�&�& $3@

6��:.2)� ��+"���� �)�� �$ &=� !)�*�)� 38� #" =� �13�+� � ����A)�0��� � �� �!�!:$'&=3 ��6 &

BB

.2)'.� :.30�1 " $3@��1��) " ��0�=�.������%$ &0�*�*#"_�#� �� �)'$ &=� !)�*+"_�7� ��� �) �� �� �!�!:$�&

B

243CB5246

Page 20: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� { =

� �K2 � � ��� � ���&7 �K2�� �37 ��� ��2 �

&¤M¢�%ICd6c:c�F�\]KLbWT2M)K#MJd6c:I��_MJE�YA[�I�X�\2U¢d=F�c�\2F�d F�¥xI�[WE)F_I�qWUCI�XZceMJ�_M)d,ci` �S\]c�s F�dWT]YAc��¯FbWE�\]KL\�c�\]�_MrX�2

� 0��0%.! �� � �)� #" �:$�[WT3F,U��'XSU�F�d,c�E�F�TVWd,c�\]T?MJ�_MJd6c �L\2XSGHM)d�M)EJICc)M�q�� /� !)� ��0� � � �� !)� #" ��$�GHM)d=MJEJICc�MrX#M)�_MJd6c �=`��SsW\2U�s s?I�X�c�s=M�M�"�M�UJcec)F¤\�KLK#Mrq9\©ICc)M)T]YE)M�X�V�K�M MJ�9MrUJVWc�\2F�d�F�¥�ICT]T?K#MJc�s=F,qWX��%IC\]c�\�d�GO¥¦F�E ���

7�F�c�\2U�M¡c>s�ICc�c�sW\2X�\2X�I¯E)MCICT'[WE�F_I�qWUiI�X�c�UrF�K.K|VWdW\2UCICc�\2F�d�K#MrU�s�ICdW\2X�K�ª©c�s=M¯I�GHM)d,c�GHMJd=M)E�ICc�\�d�GICd�M)�_MJd,cSs�I�X¡d=F��,d=Fr�ST3MrqWGHMQF�d¢c�s=MQI�GHMJd6c�X¯c�s�ICc ICE�M [WT2F6U��_Mrqe�%IC\�c>\�d=G�¥5F�ES\�c�¬¡ICd=qed�F�c IX�\]K.b�T3M�K�V�T�c�\2UiI�X�cLª©\�d��SsW\2U�s�c�s=M�MJ�_M)d,c�GHMJd=MJEJICc�F�EQ�¡F�V�T3q�s�I)�_Mxc�F:�6d=Fr� ICT]T�c�s=MLI�GHMJd6c)XI)�%IC\�c>\�d=Gxc�s�M�MJ�_MJd6cJ¬��

 ¡s=M�\]K.b�T3MJK#M)d,cJICc�\2F�d�\2X¡[�I�X>M�q:F�d¢c�s=M�¥¦F�T]T3Fr�S\�d�G�b?F�\]d,c�X�2

� k��_MJd6c)XLICE�MeF�['h�MrU)c�X��%sW\3U�s°s�I)�_Meco�¯F¤I�X�X>F6UJ\©ICc)M�q¤K#MJc�s=F,qWX��� �) ��0� & �� �� !)� �ICd=q� ��0%.! �� � �)� =�

�  ¯s=M��� !)� ��0� � � �� !)� OK#M)c�s�F6q:X�M)c)XSI��=MJT3q:F�¥�c�s=MQF�[9h>M�UJcSGHMJd=MJEJICc�Mrq��  ¯s=M)E)MgICE)M�co�¡F�b�s�I�X�MrX�2'MJ�_MJd6c�X%ICE�MQGHM)d=MJEJICc�Mrqeq'VWE�\]d=GOc�s=M �WE�XZcSF�d=Ma`WICd=q¢IC[=X�MJd=UrM�XF�¥ M)�_MJd6c)X�ICE�M bWE�F,U�MrX�X�Mrqeq9V�E�\�d�GOc�s=M X�MrU�F�d�q�F�d=Ma�

�  ¯s=M � ��0%.! �3� �)� ¡K#MJc�s=F,q�c�MrX�c�XUrF�d6c�\]d,V=F�V=X�T]Y�c�s=M�F�['h�M�UJc0��M)T2q­)\]¥6c�s�M X>M�UrF�d=qgb�s�I�X�M\2X¡E�MiI�U�s=Mrq�ª©c>s=M M)�_MJd6c¯\3X¯c�s6V�XSIC[=X�MJd,cJ¬J`6c�s=MJd�c>s=M�K�MJc�s=F,qeMJ�'M�UJVWc�MrX¡I�q�M)T!I)Y_Mrq�UiICT�Tc)F%\]c�X�MJT]¥W¥¦F�E�UrF�d6c�\]d,VW\�d�G%c)F%�¯F�E��LICc�d�M)�,c�\�d�X�cJICd,ci­iF�c>s=M)E>�S\3X>MH`C\�c�c)M)E�KL\]d�ICc�MrXr��7�F�c�\2U�Mc>s�ICcSMJ�_M)d,c�X�ICE)MgMJ�WICKLbWT2MrXSF�¥ �JI�UJc�\��_M �xF�['h�M�UJc�Xr�

��M)E)Mg\2X¡c�s=M UrF6qWM�2

���=² �C�� ®Sd¢MJ�_MJd6cS\2X�ICd¢F�['h�MrU)c%�S\�c>s�F�dWT]YeF�d�M��=MJT2qeUiICT�T2M�q /& !)������, ��! #"��0�=�.�� � �� !)� :$. )� /& !)(&

�)�*����� ��! #"��0�=�.�� �3� !)� :$

 �F¢GHMJd=M)E�ICc�MeICd«MJ�_MJd6c�K#MiICd=XOc�F�I�X�XZ\3G�d /� !)�c�s�M.d,VWK�[MJE�F�¥�c�s=MLUJVWE�E�MJd,c�\�d�X�cJICd,ci`�SsW\2U�s�\3XQX�c�F�E�Mrq¢\�d�c�s�M . )�=3 �0A)� � ���� �#�_ICE�\!IC[WT2MH�= ¡sW\2X%�6ICE�\©IC[�T3M�\2XQICVWc�F�K:ICc�\2UCICT]T�Y£X�M)c[6Y�c�s=M�X�Y'X�c�MJK ICc�c�s=M�[M�G�\]dWdW\]d=GSF�¥�MCI�U�sxG�T2F�[�ICT'\�d=XZcJICd6c�`iICd�qOc�s,V=Xr`�bWE�MrX�MJd=U�M�F�¥�ICT]TWMJ�_MJd6c�X\3X�ICVWc�F�K:ICc�\2UCICT]T�Y#E�MrX�MJc¡�Ss=MJd¢I�d=MJ� \]d=X�c�ICd6c¯cJIC�_M�X¯bWT©I�UrMa�� 3 �?�3*#"��0�=�.�� � �� !)� ���& !)� ��0� � � �� �)� :$A@�� �+"�&�& $A@�:.3 �13*#";/& !)'$ �� %. ):=A �0A)� ��� ���� �+&=3 &!6 &

BB

BCBEDGFIH%JKJ�L

Page 21: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

{=0 ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

��VWE�\]d=GxbWs�I�X�M.{_`�c�s=M � �%0�.� � �� !)� LK#M)c>s=F6q:U�F�d,c�\]d6V�F�V=X�T]Yec�MrX�c�X¡c>s=MgMJ�_MJd6c c�Fx[MgGHMJ�d=MJEJICc�Mrq`9ICd=qL\�¥�\�c s�I�X�d�F�c�[MrM)d:GHM)d�M)EJICc)M�qL�Ss=MJd�b�s�I�X�MQNgcJIC�_MrX�bWT!I�UrMH`6\]c¡UiICT�T2X�\]c�X�MJT]¥�¥5F�Ec�s=M�d=MJ�,cg\]d=X�cJICd,ci��& s=MJd � �%0�.! �� �� !)� �qWMJc�M�UJc�X�c�s�ICcQc�s=MxMJ�_MJd6c�\3XQGHM)d�M)EJICc)M�q`�\]c�UCICT]T3X|IK#M)c�s�F6q��Ss�\3U�sxs�I�X�c�s�M¡X�ICK#M¡d�ICK#M¡c>s�ICdx\�c)X�M)T]¥Z`HICd=qx�SsW\2U�sL[?MJT2F�d=GHX�c�F�ICd�F�['h�MrU)c�b�I�X>X�M�qI�X ICE�G�VWK#MJd6ci`WICd=q#c�s=MJd�\]c¡c�MJE�KL\�d?ICc�M�XC�9R¡F6q�M�¥¦F�E � ��0�.� �3� !)� x\2X�2

� 3 �?�3*#"��0�=�.�� � �� !)� � � ��0%.! �3� )� :$A@��0 � ���� ��! �4�5�6 ���� ��"V!�%�, ��! �4�5�6� �$30 ��/+&�� �+"�&�& $A@.!�+" .�= ��?�0�=� "_��$�$3@=� !)�*�) A8� #" =� �13�+� �� ���A)�0Z� � �� �! !:$ &=A ��6 &

B �1�=� .!�#";�:.3 �1A*+";/& !) $ ��� �.2):=3 �03)� �� ���� �:$A@=� !)�*+"V����7� �� ���A)�0Z� � �� �!�!:$�&�& 3 ���)(&

B �1�=� = �=!6 �)�*+&B

B

7�F�c�\2U�M�c�s�ICc�c�s�M¡K#M)c�s�F6qLUrF�d6c�\]d,V=F�V=X�T]YxMJ�9MrU)V�c�M�X�c�s�M =� :=�6 !)�*�XZcJICc�MJK�MJd,c��SsW\]T3MSbWs?I�X�M N\3X¯d=F�cSE�MiI�U�s=Mrq¢ICd=q�c>s=MgMJ�_MJd6cS\2X¡d=F�c%GHM)d�M)EJICc)M�q�

�e² ²6���'���©¶ ¶���� ���=² �� R¡F,qWMQU�F�E>E�M�XZb?F�d�q9\�d�Ggc�F�/� �) ��0� & ��3� !)� +"P ��� �$S\3X�2

=� !)�*#"V ��� � �& !) ��0� � ��3� �)� '���� "!�!�$ &

7�F�c�\2U�M�c�s�ICc�c�F%GHM)d=MJEJICc�M ICdxICT]E�MCI�q'Y GHM)d=MJEJICc�MrqQM)�_MJd6cs�I�X�d=FSM�"�M�UJc I�X?c�s=M �& !)� ��0� � � � �)� K#M)c�s�F6q \3XMJ�9MrU)V�c�M�q�ICc0K#FHX�c�F�d=UrM�q9VWE�\]d=G¡F�d�M \]d=X�c�ICd6c ª ��F�d=M�UiICT�T_bM)E\]d=X�cJICd,c ��b�E�F�bM)E�coY�¬J�

� ���3��� �� �§¶=�A� ���=² �� ® K#M)c�s�F6q¨�%IC\�c>\�d=G�¥¦F�E:ICd M)�_MJd6c ��` [M�G�\]d=Xx[6Y I�qWq9\]d=Gc�F ��ICd¢\]d=X�cJICd�U�MQF�¥ � ��0�.� �3� !)� xVWd=q�M)E Ixd=MJ� =� ����& 3 Ld�ICK#MH­9c�s=MJd�`9\�c UiICT�T2XS\]cSV=X�\]d=G#IX�Y,d=U�sWE�F�d=F�V�X�UCICT]T§­�\�¥�\�c�E�MJc�VWE>d=X�q9VWE>\�d=GSb�s�I�X�M�{_`�c�sW\2X0K#MCICd�X�c�s�ICc�c�s�M¡MJ�_M)d,c�\3X�GHMJd=MJEJICc�Mrq`ICd=q�c>s=M�0 ��0�.� �3� !)� ¢X�c�ICc�M)K#MJd6c c�MJE�KL\]d�ICc�MrXr­�\]¥¡\]cgE�MJc�VWE>d=Xgq'VWE�\]d=G�bWs?I�X�MLN,`c>s=MxM)�_MJd,c\3X�UrF�d=X�\2qWMJE�Mrq¢I�X�qWMJ�WdW\]c�M)T]Y:IC[=X�MJd6c%¥¦F�E�c�s=MQU)V�E�E�MJd6cS\]d=X�c�ICd6ci­6c�s�M)d�c>s=MgK#MJc�s=F,q�E�MJd�ICK#M�X\�c)X�M)T]¥0\]d =� ����� A #ICd=q�MJ�'M�UJVWc�MrXSI =3 &!6#X�cJICc�MJK#M)d,c¡c�F�c)M)E�KL\]d�ICc�MSc�s�MgUJVWE�E�MJd,c�\]d=X�cJICd,ci­6\]dc�sW\2X�UCI�X�Ma`aF�dWT]Y�c�s�MSM)�_MJd,c �%\�T]TWbFHX�X�\][WT]Y�UiICT�T=\]ci`i�%s=M)dLc�s�M¡MJ�_M)d,c��%\�T]T9[MSGHMJd=MJEJICc�Mrq�6R¡F,qWMU�F�E>E�M�XZb?F�d�q9\�d�GOc�F�0�%0�.� � �� !)� +"V ��� �$�\3X 2

@��0 �>�2?�0 � ��=� �� �� A � ) ����0��� "2$ ����=�0 � &0�*�*�0�= "V ��� +� � �%0�.� � �� !)� � =� ����& 3 �$ &�30�1�1 "V ��� �-=� �� �� A � =� �1A�:$ &� J P M ��������������� @Y D=X A'>ID D C M A'YFC D ? [�DLM�� C M ?BP D=[ O M [ [�D=O A'P M����� �!#"�$ Y D=X A'>ID D X D�%F> M ? X P [ C [�X A M C

?BA'C'> DFE ? ^

243CB5246

Page 22: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� {�}

.!�#"2.�=���?%0�=� "_�%$�$A@=�0Z� � " � ?�0 � ��$�=3 ���* �6(" �� ���3)%0Z� �$ &�� �)�0Z� " =� �� �� A :$ &=3 &!6 &�� �)�0Z� " =�0 �� �$�&

BB

7�F�c�\2U�Mxc�s�ICc c�s�M�F�[9h>M�UJcg\2qWMJd6c>\�coY¨ª =� �13�'¬¡\3X c�s=M�b�ICE�ICK�MJc�MJEQF�¥�c�s�M�X�Y,d=U�sWE�F�d=F�V�X�UiICT]T�c�Fc�s=MQM)�_MJd,ci`�ICT]T2F��S\]d=G�\]cSc�F�E�MJbWT]Y�c�F�c>s=MgF�['h�MrU)c�`_�%s=M)d:c�s=MQM)�_MJd,cS�S\]T�T[M�GHMJd=MJEJICc�Mrq¤ª©c�s�\3XU�F�E>E�M�XZb?F�d�qWX.c)F¤�=G�VWE�M�w_¬J� 7�F�c�\2UrM�ICT2X�F¤c>s�ICce\]d UiI�X�M�K#M)c�s�F6qAd�ICK#M¢\3X:U�s�ICd=GHMrq \]d6c)F=� ����& 3 =`0\]c�\3X�E)M�X�c)F�E�M�q°ICcxc�s=M#M)d�q¨F�¥�MJ�9MrU)V�c�\3F�d ª§IC¥©c�MJEOs�IJ�6\]d=G¢[M�MJdAX�IJ�_M�q¨V�X�\�d�G�c�s=M=A ���* �6x¥©VWd=UJc�\2F�d�¬J�Hj¢F�E�M�Fr�_M)E�`a�Ss=MJd.c>s=M�M)�_MJd,c�\2X�GHM)d=MJEJICc�Mrq#q9VWE�\]d=G �WE�X�c�\]d=X�cJICd,ci`�UiICT]T�F�¥c�s=M =� �� �� 3 |K#MJc�s=F,qe[,Yec�s=MQMJ�_M)d,c�s�I�X¡d=FLM�"�M�UJcQI�XSc�sW\2X¡K#MJc�s=F,qeqWF,M�XSd�F�c�M)�,\2X�c�\�dlc�s=MF�[9h>M�UJci�

� ��� �����>� � � �|��� ����t� � ��� J�=� � �� � � � �

 ¡s=M#p�MCI�UJc�\]�_Mey�['h�M�UJcLj¢F,qWM)T�\]d6c>E�F6q'V=U�Mrq¨IC[Fr�_M�E�MJT�\2MrXOF�d I¢G�T3F�[?ICT�d=F�c>\3F�dAF�¥%\�d=XZcJICd6cX�s�ICE�Mrq�[,Y°ICT�T E�MiI�U)c�\]�_MLF�[9h>M�UJc�Xr�?modAI�q9\2X�c�E�\][WVWc)M�q¢UrF�d6c)M)�,cO�S\]c�s b?F�c)M)d,c�\!ICT�T]Y¢T3F�d�G'` ICd=qM)�_MJd«IebWE>\3F�E�\�V�d6[F�VWd=q�M�q�U�F�KLK�V�dW\3UiICc�\2F�d�qWM)T!I)Y'Xr`0E�MiICT�\0/)\]d=G¢I:G�T3F�[�ICT \]d=X�cJICd,cgK:IJY�[MU�FHXZc�T�Y6��j¢F�E�M bWE�MrUJ\3X�MJT]Y_`9c�s=M bWEJI�UJc�\2UCICT]\�coY:F�¥ ��\�d=XZcJICd6c�ICd=M�F�V�X���E�MiI�U)c�\2F�d=X¡\]d¢c�s=MQp�MiI�U)c�\]�_My%['h�MrU)cxK#F,qWMJT§`�I�X|�%\�c�s F�c�s=MJELX�Y6d�U�sWE�F�d=F�V=X�¥5F�E�K:ICT�\2X�K#X�X�V=U�s I�X���� � . , .&%'`����� � , .�`M)c)UH�]`'q�M)bMJd=qWX¡F�d¢c>s=M�\]dW¥¦F�E>KeICT�E�V�T3MQF�¥�c�s,VWK�[ec>s�ICcSE�MiI�U)c>\3F�d=X%F�V=G�s6c�c)F|[M ¥§I�X�c�MJd=F�V=G�sc�FAUiICbWc�VWE�M�ICT]T E�MJT3MJ�_ICd,ceMJ�_M)d,c�F,UrU)VWE>E�M)d�U�MrX.\]d c>s=M¢X�Y'X�c�MJK¢� mo¥xI¤E)MCI�UJc�\2F�d \]d6�_F�T]�_MrX¢IbWE�\2F�E�\�VWd,[F�VWd=qWMrq�UrF�KLK�VWdW\2UCICc>\3F�d¢q�M)T!I)Y'Xr`�c�s�M)d¢c�s�\3XSE�V�T3M�F�¥�c�s,VWK�[¢�%\�T]T�F�[,�6\2F�V=X�T]Y�[M�6\2F�T!ICc�M�q0� D�E�FHG�EJICKLKL\�d�G��S\�c>s¨E�MiI�U)c�\]�_M#F�[9h�MrUJc�X�\�d q9\3XZc�E�\][WVWc�Mrq�XZY9X�c)M)K#XOc�s,V=X�UiICT]T3X�¥¦F�EX�F�K#MOI�q�q9\�c>\3F�d:c�F�c�s=M K#F6qWMJT��

®�X�sW\]d,c�M�q#ICc \�d# 9MrU)c>\3F�dlN,`a�¡M UiICd�qWMrUrF�K.bFHX�M�IOX�Y'X�c�MJK \]d6c�FQE�MiI�U)c�\]�_MQICE�MiI�Xr`a�Ss=MJE�MI�GHM)d,c�X¯U�F�KLK�VWd�\3UiICc�M¡\]d=X�\2qWM¡c�s�M)\]ESICE)MCI [6YL\]d=X�cJICd,cJICd=MrF�V=X�F�E�qWMJE�Xr`9ICd=qL[M)co�¯M�MJd#q9\3XZc�\�d�U)cICE�MiI�X|[,Y¨V=XZV�ICT�V�d6[F�VWd=q�M�q¨q�M)T!I)Y°F�E�qWMJE�Xr��modAc�sW\2XxX�MrU)c>\3F�d�`0�¯M�q9\2X�U)V�X�XOc�sW\2XOK#F,qWM)T¯\�dK#F�E�Mgq�M)cJIC\]T�`'ICd�qe[WE�\2M 3�Y�UrF�KLK#M)d,cSF�d�\]c�X¡\]KLbWT2M)K#MJd6cJICc>\3F�d��

����� � ��� � �������2�� � � � 0 7 ��� ���� ��� ��� < ��� � ��� 7��� ����� 2

&¤MxUrF�d=X�\2qWMJE �WE�X�c�c�s�MO[�I�X�\2UOK#F6q�M)T�`'�S\]c�s�q9\2X�c�\]d=UJc�E�MiI�U)c�\]�_MxICE�MiI�X�\�d,c�MJE�UrF�dWd=MrU)c�Mrqe[,Y�IU�F�KLK�V�dW\3UiICc�\2F�d�\]dW¥©E�I�X�c�E�V=UJc�VWE)Mg�S\]c�s�VWd6[F�VWd�qWM�q¢UrF�KLK�VWdW\2UiICc�\3F�d qWMJT©IJY9X#ª©c�s=M|GHM)d=MJEJICTUCI�X>Mg\]d�q9\2X�c�E�\][WVWc)M�q#X�Y'X�c�MJK�X)¬J�

R¡F�KLK�VWdW\2UiICc�\3F�d [MJc��¯M�MJdQF�[9h>M�UJc�X?E)M�X�\2q9\]d=G�\�d�c��¯FSq9\2X�c�\]d=UJc?XZY6d=U�s�E�F�d=F�V=X�ICE�MiI�X?\2X�ICT2X�F[6YxK#MiICd=X�F�¥�I�X�Y6d�U�sWE�F�d=F�V=X ICd=q#X�Y,d=U�sWE�F�d�F�V=X�UCICT]T2Xr�am�d:ICd:I�X�Y,d=U�sWE�F�d�F�V=X�UCICT]T§`ac>s=MSUiICT�T2M)EqWF,M�X�d=F�c �%IC\�c ¥¦F�E c�s=M|UCICT]T3Mrq¢K#M)c�s�F6q�c�FLc�MJE�KL\�d?ICc�MH`�h�V=XZcQI�X��S\]c�s¢c�s�M�=� !)�*�bWE�\]KL\�c>\��_Ma�*SdWT]\��_M%ICdLI�X�Y,d=U�sWE�F�d=F�V�X�UCICT]T9�%\�c�s�c�s=M�E�MiI�U)c�\]�_M =� !)�* bWE�\]KL\�c>\��_Ma`)s=F��¯MJ�_M)Ei`�c�s=M�MJ�9MrU)V�c�\3F�dF�¥=c�s=M�\�d,�_F��_Mrq|K#MJc�s=F,qOqWF,MrX0d=F�c�cJIC�_M bWT©I�UrM��S\�c>sW\�d|c�s=M X�ICK#M \]d=X�cJICd,ci`C[WVWc�\]d=X�c)MCI�q|ICc ICd

BCBEDGFIH%JKJ�L

Page 23: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

N � ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

ICE�[W\]c�EJICE�Y#¥©VWc>VWE�MQF�d=MH� 5=F�E�c�s=M�X�ICK#MgE�MiI�X�F�d�`�I|XZY6d=U�s�E�F�d=F�V=X�UiICT�T�[M)co�¡MrMJd�c��¯F#q9\3XZc�\�d�U)cE�MiI�U)c�\]�_M�I�M)EJI�X%M)�,c�MJd=qWX¡Fr�_M)EQICdl\�d=q�M)c�MJE�KL\]d�ICc�MSd,VWK�[M)E¯F�¥�\]d=X�cJICd,c�Xr�5WE�F�K c>s=M�bF�\�d,c0F�¥'�6\2MJ�¤F�¥'c�s=M�E�MiI�U)c>\��_M�K#F,qWM)T�`�X�Y,d=U�sWE�F�d�F�V=X?UiICT]T3Xc�F�E�MiI�UJc�\��_M�F�['h�MrU)c�X

F�VWc�X�\2qWM�c�s�M�F�E�\2G�\�d�ICc>\�d=GlICE�MiI�c�MJE�KL\�d�ICc)Mgc�s=MxMJ�'M�UJVWc�\2F�d�F�¥�c�s�MxUCICT]T�\]d=G#K�MJc�s=F,q¢¥¦F�EQc�s=MU)V�E�E�MJd6c�\]d=X�cJICd,ci�a ¯s=MSUiICT�T2M)E��S\]T]TWE�MrX�VWK#M¡MJ�9MrUJVWc�\2F�dx�Ss=MJd.c>s=MSX�Y,d=U�sWE�F�d�F�V=X�UCICT]T=E�MJc�VWE�d�Xr`ICc�I�q9\ "�M)E�MJd,ci` I�bWE�\2F�E�\SVWdW�,d=Fr�Sd�` ¥©V�c�VWE�M#\�d=XZcJICd6c���7�F�c�\2U�M�c>s�ICcL\�cL\2X|bFHX�XZ\�[WT2Me\]d«c�s=ME�MiI�U)c�\]�_M¢K#F6qWMJTSc�F bWE�MrU)\2X�MJT�YAK#MiI�X�VWE�Ma` \�d c�MJE�K#XLF�¥O\]d=X�cJICd,c�XL\�d c�s=M¢UiICT�T2MJE � XLE�MiI�U)c>\��_MICE�MiI,`,c�s�Mgq9V�EJICc�\2F�d�F�¥�I�X�Y,d=U�sWE)F�d=F�V=XSUiICT�T����

mod�c�sW\2X?K#F,qWM)T�`�c�s=M�X�MJK:ICd6c�\2UrX0F�¥=UiICT�T2X0\2X ��c�\]K#M�q �'`J\�� MH��UCICT]T2X�X�b�ICd|X�M)�_MJEJICTª§ICc�T2MCICc F�d=Mi¬\�d�X�cJICd,ci�? ¡sW\2Xg\2Xg�Ss?ICc�q9\2X�c�\]d=G�VW\2X�s=MrX UCICT]T3X��S\�c>sW\�d°I�E�MiI�UJc�\��_M#ICE�MiIe¥©E�F�K UiICT]T3XQ[?MJco�¡MrM)dq9\ "�M)E�MJd,c�E�MCI�UJc�\]�_M�ICE�MiI�Xr�a®ST]c�s=F�V=G�s�`�X�MJK:ICd6c�\2UiICT�T]Y_`�c�s=M c�\�K#M¯U�F�d=XZ\3qWMJE�Mrq�\3X�bWV�E�M)T]YOT2FHG�\2UCICTª©\]d=X�cJICd,c�Xeq�M)E�\]�_M¢¥©E�F�K c�s=M�F�bMJEJICc�\2F�d�ICTOX>M)K:ICd,c�\3UrX�E>VWT3MrXeF�¥|c�s=M�K�F,qWMJT�ICd=qtICE�\2X�M I�Xc�MJE�KL\�d�ICc)M�q�F�EQX�c)F�bWbM�q�UrF�KLbWVWcJICc>\3F�d=X)¬J`,\]c�\2X%bFHX�XZ\�[WT2M c�F.E)M)T!ICc�Mgc>sW\3XST2FHG�\2UCICT�c>\�K#Mg�%\�c�sbWs,Y9X�\2UiICT0c�\]K#M�\]d�F�E�qWMJE�c�FxK:IC\�d,cJIC\]d�E�MiICT��¦c�\]K#MOX�Y,d=U�sWE)F�dW\ /iICc�\2F�d��W ¡sW\2XSUCICd¢[M|I�U�sW\3MJ�_Mrq[6Y�ICd�U�s=F�E�\]d=G�c�s�MO\�d�\�c�\!ICT�F�['h�MrU)cQ\�d 9MrUJc�\3F�d w�c)F�I.c>\�K#M�q9E>\��_MJd¤XZ\3G�d�ICT�XZV=U�s I�XOI�E)MCICT]�c�\]K�M%U)T2F6U��?`6ICd=qx[,YLM)d�X�VWE�\]d=G�c�s�ICc MiI�U�s�E�MiI�UJc�\3F�d�`i\�� Ma�aMiI�U�s�\]d=X�cJICd,ci`�\�d:I�E)MCI�UJc�\]�_M�ICE�MiI�\2X[F�VWd=qWMrq�\]dOc>\�K#Ma�� ¡s=M�c�\]K#M�G�EJICd6V�T©ICE�\]coYgF�¥'\�d�X�cJICd,c�X�\]dxI¡E)MCI�UJc�\]�_M�ICE)MCI�\2X?c>s6V=X�M�X>X�M)d,c�\!ICT�T]YG�\��_MJd�[,Yec�s�M%[F�VWd�qeF�d�c�s�M)\]ESMJ�9MrUJVWc�\2F�dec�\]K#MH�

 ¡s=M \]dW¥¦F�E�K:ICT=E�VWT2M F�¥�c�s,VWK�[:E�M)¥5M)E�E)M�qLc�FLIC[F��_MQUCICdlc�s=MJde[M X�\�KLbWT]YLX�cJICc)M�qlI�X ��c�s=MX�K:ICT�T2MrX�cQqWM)T!I)Yl[?MJco�¡MrM)d¢co�¯FeUrF�d=X�MrU)VWc>\��_M�F,UrU)VWE>E�M)d�U�MrX�F�¥�c�s=M�X�ICK#M�MJ�_MJd6c coY6bM�X�s�F�VWT3q[MgG�E�MiICc�MJE¡c�s?ICd�c�s=M�c�\]K#M�G�E�ICd6VWT!ICE�\]c�Y:F�¥�\]d=X�cJICd,c�X��'�

����� � ��� � �������2 � � 0 7�� ��� � � � � ���,< � � � ��� 7!� � ��� 2

 ¡s=MSX>M)K:ICd,c�\3UrX�F�¥U�F�KLK�VWd�\3UiICc�\2F�dx\�dLVWd,[F�VWd=qWMrq9�§qWMJT©IJY�MJd6�,\]E�F�dWK#M)d,c�X�qWMrX�UJE�\][?MrqxIC[F��_ME�MK3=M�UJc�X c�s=M�I�X�X�VWKLbWc�\2F�dec>s�ICcSc�s=M bWE�FHG�E�ICK.K#MJE¡s�I�X¯d=Fx�6d=Fr�ST2M�qWGHMQF�¥Z`=F�E�qWF,M�X¡d�F�cSE�MJT�YF�d�ICd,Ye�,d=F��ST2MrqWGHMgF�¥ U�F�KLK�VWd�\3UiICc�\2F�d�qWMJT©IJY9X¯c�s�ICcSK:I)Y:F,U�UJVWES[MJc��¯M�MJdeE)MCI�UJc�\]�_MOICE�MiI�Xr�m�d�T!ICE�GHM�q9\2X�c�E>\�[WV�c�M�qlX�Y9XZc�M)K#Xr`Wc�sW\2XS\3X�\]d�GHM)d=MJEJICT�c>s=MOUiI�X�Ma`��S\]c�s¢c�s=MOV�d6[F�VWd=q�M�q�q�M)T!I)YI�X�X�VWKLbWc>\3F�d:IC[=X�c>EJI�U)c>\�d=G�I�X�X�V�K.b�c�\3F�d�X�IC[F�VWc�c�s�MS\�KLbWT]\3UJ\]c�[?MJs�IJ�6\2F�E¡F�¥c�s=M�UrF�KLK�VWdW\2UiIC�c�\2F�d�\�d�¥©EJI�X�c�E>V=U)c>VWE�MSI�XS�¯MJT�T�I�XSbF�c�MJd6c�\!ICT=¥§IC\]T�V�E�M�K�F,qWMrXgª©¥!E�F�K c�s=M�d=F,qWMrX�\]d�c�s=M X�Y'X�c�MJKF�ES¥©E�F�K c>s=M U�F�KLK�VWd�\3UiICc�\2F�de\]dW¥©EJI�X�c>E�V=UJc�VWE�Mi¬J�imod�MJd,�6\]E�F�dWK#MJd6c�X �S\]c�s�IxUrF�KLK�VWdW\2UCICc>\3F�d\�d�¥©EJI�X�c�E>V=U)c>VWE�Mgb�E�F��,\3q'\�d=GL[F�VWd=qWMrq�U�F�KLK�V�dW\3UiICc�\2F�d�qWM)T!I)Y'Xr`?s=Fr�¡MJ�_M)E�`�\�cQ\3XQbFHX�X�\][WT3M�c�FE�MJ�Wd=M�c�s=M [�I�X�\2Ugq'\3X�c>E�\�[�VWc�Mrq|K#F,qWMJT�[,Y:X�Y6d�U�sWE�F�dW\0/)\]d=G�q'\#"�MJE�MJd6c¯E�MCI�UJc�\]�_MOICE)MCI�Xr�

mod�c�s�M�X�Y6d�U�sWE�F�dW\0/�MrqxK#F6qWMJT�`�E�MiI�U)c�\]�_M ICE�MiI�X¡F�bMJEJICc�MS\]d�b�ICE�ICT�T2M)T�[WVWc c�s=MJ\�E MJ�9MrU)V�c�\3F�d\3X|X�Y6d�U�sWE�F�dW\0/�Mrq¤X>F�c�s�ICc�c�s�M)\]EOE�MiI�UJc�\3F�d�XOF,U�UJVWExq9V�E�\�d�Gec�s=MLX�ICK#M#G�T3F�[�ICT¯\�d�X�cJICd,ci�0 ¡s=MX�MJKeICd,c�\2U�XxF�¥ UiICT]T3Xx[M)co�¯M�MJd¨E�MiI�U)c>\��_MlICE�MCI�Xx\2XLI�XxbWE�MrX�M)d,c�MrqAIC[F��_Ma` MJ�9UrM)b�cxc�s�ICcxc�s=MJYICE�Mgd�F���G�V�ICEJICd,c�MrM�q�c)FLICE�E�\]�_M�ICc�c�s=MJ\]E�qWMrX�c�\]d�ICc�\2F�d¢ICc�c�s=M d=MJ�6c%\�d=XZcJICd6c�� 5=F�ES\]d=X�c�ICd=U�Ma`�Ss=MJd�IxX�Y,d=U�sWE�F�d=F�V�XSUCICT]T0\2X¡K:I�qWMQc�FLI�E�MCI�UJc�\]�_MOF�['h�MrU)cS\]d�Ixq9\ "�M)E)M)d,cSE�MiI�U)c>\��_M|ICE�MCI,`W\�cc�E�\2GHGHM)E)X¡I E�MCI�UJc�\2F�d:ICc�c�s�M¡d=MJ�6c�\]d=X�cJICd,c�¥¦F�T�T2F��%\�d=GQ\�c)X \]dW\]c�\!ICc�\3F�d�� � \]�_M)�%\3X�Ma`�c�s�M¡E�MrX�bF�d=X�Mc�FxI�X�Y,d=U�sWE)F�d=F�V=X UCICT]T��S\�T]T�ICE�E�\]�_MQICc¡c�s=M�UiICT]T3MJE¡\]dec�s�MS\�dW\]c�\!ICTICE�MiI�M)��I�U)c>T�YLco�¡FO\]d=X�c�ICd6c�XIC¥©c�MJE�c�s=M \�dW\]c�\!ICc�\2F�dLF�¥=c�s=MSUiICT�T�� ��\2X�c�E�\][WVWc)M�q�MJ�'M�UJVWc�\2F�d=X�\]dxc�s=M¡XZY9X�c)M)K ICE�M¡c�s,V=X�G�T2F�[�ICT]T�Y

� HLDNC> D ?BA [�DZX MV[ >IA?BY�� X M ? A'D O [ > D A [ > D ?BDVO M A�X�G D X K��N[ C'> [��LGIM C ^ P M D A'P M X [ GIG C M A'YLC D ? [ A'P M X�G D X K� [ C'> [��FGIM PLD G@O ?�A'P MGD Y O �=M C*D 3> D ?BA [�D A ? M G@[ %=? M;O ?B> D=X M A'P M > D >IA'> [ A'>ID D D�3A'P M�X [�GIG ^

243CB5246

Page 24: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� N_{

U)T2F,U��_M�q`�[�VWcOUrF�KLK�VWdW\2UiICc�\3F�d�ICd�q£E�MiI�UJc�\3F�d°ICE�MxF�dWT]Y¢\]d=X�cJICd,cJICd=MrF�V=X��S\]c�sW\]d�I�E�MiI�U)c�\]�_MICE�MiI,�

R¡F�KLK�VWdW\2UiICc�\3F�d°[?MJco�¡MrM)dAE)MCI�UJc�\]�_M�ICE�MiI£cJIC�_MrXLM)��I�UJc�T�Y F�d=M�UJT3F,U��¨c�\2U����� ¡sW\2XxX�Y,dW�U�sWE�F�dW\0/rM�q�K�F,qWMJT�E�MJbWE�MrX�M)d,c�X F�d=MLMJ�6c�E)M)K#Ma`�\�d �SsW\2U�s¤MJ�'M�UJVWc�\2F�d=X \�d c�s=M��Ss=F�T2MxX�Y'X�c�MJK\3X�UrF�d,c�E�F�T]T3Mrq�[,Y¢IxG�T2F�[�ICT�UJT3F,U��#�Ss=FHX�MQG�EJICd,VWT©ICE>\�coYe\2XSG�\]�_M)d¢[,Y�c>s=MgXZVWK F�¥�c�s=M [F�VWd=qWXF�d¢UrF�K.K|VWdW\2UCICc�\2F�d:qWM)T!I)Y'XSICd�qeF�deE)MCI�UJc�\]�_MgICE)MCIOE�MiI�UJc�\3F�d:c�\]K�Ma�9y�c�s=MJE�E�MJ�Wd=MJK#M)d,c�X ICE�MbFHX�X�\][WT3M¯�Ss=MJE�MH`�¥¦F�E \�d=XZcJICd=UrMH`HUCICT]T3X�[MJc��¯M�MJd#q9\ "�M)E�MJd,c¡ICE)MCI�X ICE�M�qWMJT!I)Y_Mrq.¥¦F�E X�F�K#M¡���9Mrq`�6d�F��Sd�d,VWK�[MJE F�¥�U)T2F,U��.c>\3U��'Xr`WICT�T2F��%\�d=G.IO�Wd=MJE¡G�EJICd,VWT!ICE�\]c�Y#F�¥0c>\�K#MS¥¦F�E¯c�s=M�E�MiI�U)c�\2F�d:F�¥E�MiI�U)c�\]�_M�ICE�MCI�XC�

� �� ���� � ����� � � � �D2 ����� 0 � � �� ����� � ����� /�0>1 � � 2

 ¡s=M ��\3X�c>E�\�[�VWc�Mrq£p�MiI�UJc�\��_M#y�[9h>M�UJcOK#F,qWM)T ª�� 8 ���¨¬gq9\2X�UJV=X�X�Mrq IC[?Fr�_M�UiICd¨[MxE�MiI�q9\�T]Y\�KLbWT2MJK�MJd,c�M�qLV=X�\]d=GLI�X�c�ICd=q=ICE�q:q9\3XZc�E�\][WVWc�MrqxbWT©ICc>¥¦F�E�K�X�V=U�s�I�XSF�d=MQU�F�d=XZ\3X�c)M)d,c¡�S\]c�s:c�s=MRSy p $¡®�X�bM�UJ\]�=UCICc>\3F�d <¸{�~ ?��' ¡s�\3XSMJd,cJIC\�T2XSqWMJE�\]�6\]d=G�\]d6c)M)E�¥�I�U�M X�\2G�d�ICc�VWE)MgqWMrX�UJE�\]bWc�\2F�d=X�¥¦F�EE�MiI�U)c�\]�_M�F�['h�M�UJc�X�\]d�c�s�M�RSy p $¡® mod,c�M)E>¥§I�U�M���MJ�WdW\]c�\2F�d � ICd=G�V�I�GHM�ª������ ¬�`6ICd=qLbWE�F��,\2q9\�d�GICd�ICbWbWE�F�b�E�\©ICc)M%[�\�d=q'\�d=GQ[M)co�¡MrMJd¢I�E�MiI�U)c�\]�_M�ICE�MCIxICd�qe\�c)XSM)d,�,\�E�F�d�K�MJd,ci�

 ¡�¯F�E�M)T!ICc�Mrq�I�X�bMrU)c)X�K�V=XZc¡[MgUrF�d=X�\2qWMJE�Mrq�\]deE�MiICT�\0/J\�d=G�c>s=M�T©ICc�c)M)EI2

{_� K:ICd�I�G�\]d=G'`9\§� Ma�'GHMJd=MJEJICc�\]d=GxICd=q�UrF�T]T3MrU)c>\�d=G'`9UiICT�T2X¡\]d�ICd=q�F�V�cSF�¥�I�E�MiI�U)c>\��_M�ICE�MiI,`N,� b�E�M�X>M)E��,\]d=GOc�s=M X�MJK:ICd6c>\3UrX¡F�¥�E)MCI�UJc�\2F�d=X¡\]d=X�\2qWMQIOE�MCI�UJc�\]�_MOICE)MCI,�

k�X�X�MJd6c�\!ICT]T�Y6`,c)FxU�F�KLbWT]YL�S\�c>sec�s=M X�MJK:ICd6c>\3UrX¡F�¥�UiICT]T3XSMJ�,bWT©IC\]d=Mrq�IC[F��_Ma`9c�s=M M)�'MrU)VWc>\3F�dlF�¥MCI�U�sLE�MiI�UJc�\3F�dx\]d=X�\2qWM%I%E�MiI�UJc�\��_M%ICE�MiI%K�V�X�c�[M�c�E�MiICc�MrqLI�X I�X�\]d=G�T2MSICc�F�KL\2USI�UJc�\2F�d�`�q9V�E�\�d�G�SsW\2U�s¢c�s=MQM)d,�,\�E�F�d�K�MJd,c¡�,\3X�\][WT2M�¥!E�F�K�c�s=M�ICE�MCI¢ª©\�� Ma�WX�M)c�F�¥�\�d=UrF�KL\�d�GxUCICT]T3X�F�E�E)M�X�bF�d=X>M�X¥©E�F�K�bWE�MJ�,\3F�V=X¯X�Y,d=U�sWE�F�d=F�V�X¡UiICT�T2X�¬�K�V�X�c¡E�MJK:IC\�d:VWd=U�s�ICd�GHM�q�

 ¡sW\2X�\2X¡MJ�WI�UJc�T]YeXZ\�KL\]T©ICE¯c�FOc�s=M UrF�d=X�c�E>V=U)c>\3F�d�`6q�M)cJIC\]T2M�q#\�d <¸{ = ?�`,F�¥�IO�6\]E�c�V�ICT�K:I�U�sW\]d=Mc�F�MJ�9MrUJVWc�MObWE)FHG�EJICK#X��SE>\�c�c)M)d¢\]d�c>s=M ��� � . , .&%#X�Y6d�U�sWE�F�d=F�V=X bWE�FHG�E�ICK.KL\]d=GLT©ICd=G�V?I�GHMH�m�d�qWM�Mrq`6I�b�ICE�c>\3UJVWT!ICE�q�M�GHMJd=MJEJICc�MrqxUCI�X�M%F�¥?E�MiI�UJc�\��_M�ICE�MCI��¯F�VWT3qL[M�c�s?ICc�F�¥�IQX�\�d�G�T3M¡E)MCI�UJ�c�\]�_M�F�['h�MrU)c¯c�s�ICc%U�F�VWT2q`6Ma� G'�]`6[M%b�E�FHG�EJICKLK#M�qLV=X�\]d=GxIOXZcJICd=q=ICE�q#X�Y,d=U�sWE�F�d�F�V=X�T!ICd=G�V�I�GHMX�V=U�s�I�X ���2� . , .�%�F�E�� � �2� , .��

� � � � � � �� � � � � ��� � � � � �� � ���

 ¡s=M�p�MiI�UJc�\��_M£y%['h�MrU)c:j¢F6q�M)TS\2X#I£d=MJ��¥¦F�E�K:ICT]\3X�K c�s?ICc.K#MJE�GHMrX�ICd F�['h�MrU)c:ICbWbWE)F_I�U�sc�FHGHMJc�s=MJE��S\]c�sOc�s�M d�F�c�\3F�d.F�¥�I�G�T3F�[�ICT,\]d=X�cJICd,ci��y%['h�MrU)c�K#M)c�s�F6qWX ICE�M M)�'M�UJVWc�Mrqg\]d�b�ICE�ICT�T2M)T�`ICd=q«ICE�M#UCICT]T2M�q¨V=XZ\�d=G�\]d=X�c�ICd6cJICd�M�F�V=X�F�E�qWMJE�XO�Ss�\3U�s ICE�M�I�X�Y,d=U�sWE)F�d=F�V=X�UiICT�T2X�bWE�F,UrM�X�X>M�qICc�c�s=M�X�ICK#M�\�d�X�cJICd,cec�s=MJY ICE�M¢\3X>X�V=Mrq�¡®�bWE�F�c�F�coY6bM¢T!ICd=G�V�I�GHM�[�I�X�Mrq F�d c�s�M 8 ���K#F6qWMJT2X s?I)�_MS[M�MJd#qWMrX�\3G�d�M�qLICd=qx\]KLbWT3MJK#M)d,c�MrqO\]d 8 .3)! �� " �/. !��a ¡s=M%M)�,bWE�MrX�X�\]�_M�bF��¯MJEF�¥�c�s=MOp%ygj K#F6qWMJT0\2XS\]T�T]V=X�c�E�ICc�M�q:[6Y�\]KLbWT2M)K#MJd6cJICc>\3F�d¢F�¥ IL[WE�F_I�qWUiI�X�c UrF�KLK�VWdW\2UCICc>\3F�dK#M�U�s�ICd�\3X�K£� 5�\�d?ICT�T]Y_`Cc�s=M MJK�[M�qWq'\�d=G%F�¥=c�s=M�8(��� K#F6qWMJT,\�d,c�FQI�q9\3XZc�E�\][WVWc�Mrq�¥!EJICK#M)�¯F�E��ª�� 8 � �¨¬ s�I�X¡[M�MJd�q'\3X�UJV=X�X>M�q�

BCBEDGFIH%JKJ�L

Page 25: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

NHN ��#����6��# ����� & �����.��1��� & 0 0 � &����� �� &����K. ����� ��� .���� ��# .�� #����+� ����� .)

& F�E��QF�dOc�s=M � 8 ��� K#F6q�M)T�\2X0UJVWE�E)M)d,c�T]YSVWd=qWMJE��SIJY_� & M�bWT©ICdQc�F¡E)MCICT]\ /rM�c�s=M � 8 ���K#F6qWMJT�I�X�qWMrX�UJE�\�[Mrq�\�d� 9MrUJc�\3F�d#v [6Y|\�d,c�MrG�EJICc�\]d=G�c�s=M;8 ��� K#F,qWM)T�F�d.c)F�b�F�¥�I�RSy�p $¯®<¸{�~ ? ICd=q�y � D <Â{���`�� ?�UrF�dW¥¦F�E>KeICd,c q9\2X�c�E�\][WVWc)M�q#bWT©ICc>¥¦F�E�K ª¦UiICT�T2M�q "&� 8!� ¥¦F�EQ �MJT2M�UrF�KL�K�VWdW\2UiICc�\3F�d�X y%['h�MrU)c p�Mr^aV�M�X�c%$ E�F��_MJEJ¬�<¸{���?�`�E�MJV=X�\]d=Gx�¡F�E>��ICT�E�MiI�q9Y¢UiICE�E�\2Mrq¢F�VWc ¥¦F�E c�s=MM)�'MrU)VWc>\3F�d«F�¥�E�MiI�UJc�\��_M:F�[9h>M�UJc�X�\]d I£q9\2X�c�E>\�[WV�c�M�q M)d,�,\�E�F�d�K�MJd,c�[�I�X�MrqAF�d«c�s=M ! � ( , ��F�bM)EJICc>\�d=G|X�Y9XZc�M)K KL\2U)E)F��_M)E�d�M)T <Â{ =I?��

& MgICT2X�FOb�T©ICd:c�Fg\]d6c)M�G�EJICc)MSc�s=M � pSyQj K#F6qWMJT=�S\]c�s:IOX�c�V�q9YLF�¥#� #%��� /��� �A��0>�4'¡UrF�d=q9\]�c�\2F�d=Xr`6c�F�[MQIC[WT3M�c�FxX)ICc�\3XZ¥©Y#X�FxUCICT]T2M�q ��^aV�ICT]\]c�Y:F�¥�X�MJE��,\3UrM�X �OE�Mr^aVW\]E�MJK#M)d,c�X�ª©¥©E�F�K IOc>\�K#ME�MJT©ICc�Mrq`WI�XS�¯M)T]T�I�X¯¥©E�F�K I�¥©VWd=UJc�\2F�d�ICT=�,\3MJ�SbF�\�d,cJ¬�<Â{�N�?��5�\]d�ICT�T]Y6`a�¡M�bWT!ICdec�F|qWM�XZ\3G�d£Igc�E�V=M�XZY6d,cJIC�L¥¦F�E¡c>s=MSbWE�F�c�F�coY,b?MST!ICd=G�V�I�GHM bWE�MrX�MJd6c)M�qx\]d

X�MrU)c�\2F�d¢w'�= ¡sW\2X¡T©ICd�G�V�I�GHMH`=UCICT]T2M�q 8 !����L`9�¡F�VWT2qe[M [WVW\]T�c%F�d¢c�s=M c�F�b¢F�¥�!����L`=ICd=q�\�c�¡F�V�T3qe\]KLbWT2M)K#MJd6c 8(��� E�MiI�UJc�\��_MQF�['h�M�UJc�X%I�XS�¡MJT�T�I�XS[WE)F_I�qWUCI�XZcSUrF�K.K|VWdW\2UCICc�\2F�d��

��� �C� � � � ��� �

<¸{�? �x�6®�G�s�I,� � ����� #K��� � � ���6��05� ��� � . �K& # #��K.+�� � ��� & � �1��� . �. �� �#K � & � ���*��' � � �!� ���j�m�  D E)M�X�XC`�{�}U0Hv,�

< N�? �x�9®�G�s�I,` ��'5WE�F�T�V�d=q` & F6F��F�VWd=G�� \]K¢`9p��WD�ICd,�SICEi`=®��'D ICc�c�MJE�X�F�d�`WICd=q �|�1 6c�VWE>�K:ICd���®S[=X�c�E�I�U)c�\2F�d�ICd=q£jlF,q9VWT!ICE�\]c�Y:j¢MrU�s�ICdW\2X�K#X¡¥¦F�E R¡F�d�U)VWE>E�M)d,c�R¯F�K.b�VWc�\]d=G'� mod��VWT'®�G�s�IQICd=q�D�MJc�MJE &¤MrG�d=MJE ICd=q�®S�,\�d�F�E�\ �F�d=M /iI)�%I,`aM�q'\�c�F�E�`����K����� #���� �#�������� .)��.�� � . ��&'#K#%��.+������������� � #K/�K.+� ����� # � � #%� � � �. ��`>b�I�GHMrX����9N_{_�� ¡s�M¡j�mZ ¨D�E�M�X>Xr`a{�}H}H�,�

< ��?.y � Dtp�MJ¥¦MJE�M)d�U�Mxj¢F,qWMJT 2�®SE)U�sW\�c)M�UJc�VWE�Ma�Om�c�V��¦c�\2X�F �C\2M�UxE�MrUrF�K.K#MJd=q=ICc�\2F�d¢�?� } �_�,`?\]dW�c�MJE�d�ICc�\2F�d�ICTX�cJICd=q�ICE�q¢{��6=�w_vC�oN,`�n'ICd,V�ICE�Y£{�}H}H~,�

< w ? �x� $¡MJE�E�Y ICd=q �x� �gF�d,c�sW\2MJEi�z ¡s=M«k�X�c�MJE�M)T� 6Y,d=U�sWE)F�d=F�V=X¤D�E�FHG�E�ICK.KL\]d=G � ICdW�G�V�I�GHM�2 � MrX�\3G�d�`- 'M)K:ICd,c�\3UrXr`)moKLbWT3MJK#M)d,cJICc�\2F�d�� � �K �K. ���;� ��� � ��� &)� �K#�� #�� � #%� � � �. ��`{�}9ª§NH¬K2I01=��W{�~HN,`?{�}H}HN,�

< ~�?@5¯��$¡F�V=X�XZ\�d=F�c���p�MCI�UJc�\]�_M�R 2�®Sd°k �,c�MJd=X�\2F�d¨F�¥�R c�F�D�E�FHG�EJICK p�MiI�U)c>\��_M. 6Y'X�c�MJK#Xr���� � � " � #%� � #������/��� � .���� ,��)��#K/�K. ����`WN_{6ª¦w_¬K2 w �,{��6w_NU0,`0{�}H}_{_�

< v�?@5¯� $¯F�V=X�X�\]d=F�ci��pefM�X>MCICVW�£qWMOD�E�F,U�MrX�X�V�X�pefMCI�UJc�\]¥¦Xr��  M�U�sWd�\3UiICT�p�MJbF�E�cQ{�~U0U0,`�m 7�pSm�®�`{�}H}HN,�

< =�?�n�� p��¡R¡F�E>[W\�d����#�A� ��#�� � � �� �#K � & � ��� ��� ��0>/���1��� .)��� � # � � #%� � � �. ���+�����6.)/-�&+���� � #����!�)�1� � � # �I����� &'#%��� � 0�0>��� 6V�de �MrU�sWdW\2UiICT�p�M)¥¦MJE�MJd=UrM � \][WEJICE�Y6� 6b�E�\�d�GHM)E ��M)E>T©I�G'`{�}H}_{_�

<10�? �x�'��F�V�K�MJd=Ua` �.� ��ICE�U)\]d�`_ICd=qxD � ��V=MJY'qWF�d��'*Sd� 6Y9XZc��MJK�M¯qWMSR¯F�d6c�E �F�T3ML�HR¡F�KLK:ICd=qWMpefMiI�U)c�\]¥ 6c>E�\3UJci�0m�d � # �����"��� ��� ���9`{�}H}�w'�

< }�?@5¯� $¯F�V=X�X�\]d=F�c#ICd=qAp���qWM 6\]K#F�d=MH�¨ ¡s=M# � 6Y,d=U�sWE)F�d=F�V=X � ICd�G�V�I�GHMH�« �M�U�s�dW\3UiICTp�M)bF�E�c¯p�pS�oNH~_{��'`'m 7�pSmZ®�`�j�ICE�U�s�{�}H}H~,�

243CB5246

Page 26: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

����������� �������������� NH�

<¸{�� ?.y � D�p�MJ¥¦M)E)M)d=UrMxj¢F,qWM)T 2 5=F�VWd=q�ICc�\3F�d�Xr�|moc�VW�¦cQ\3X�F �C\2MrU|E)M�UrF�KLK�MJd=q=ICc>\3F�d��?� } �_N,`0\�d��c�MJE�d�ICc�\2F�d�ICTX�cJICd=q�ICE�q¢{��6=�w_vC�oN,`�n'ICd,V�ICE�Y£{�}H}H~,�

<¸{H{�?.R � ��MJ�S\]c�ci�"��\3MJ�S\]d=GQR¡F�d,c�E�F�T1 ,c�E�V=UJc�VWE�M�I�X�D�ICc>c�M)E>d=X�F�¥�D�I�X�X�\]d=G�j¢M�X�X)I�GHM�Xr� � � & #K. �10� ����#�� � ��/�10�� .+� ��0�0> ����. ���J` 09ª§�H¬K2¸�HNH���9�Hv�w'`0{�}1=1=,�

<¸{�N�?�n�� $g� ,c�M)¥�ICdW\§�LR¡F�KLbWVWcJICc>\3F�d�ICT ®�X�bM�UJc�XQF�¥�� F £\]dAICdAy�['h�M�UJc $SI�X�Mrq���\2X�c�E�\][WVWc�Mrq 6Y'X�c�MJK ®SE�U�sW\]c�MrU)c�V�E�MH����# ��� .+� �K#K. �1��� . �10� � #�I� ����� � . ���K�%��� .)���� � � � ��� & � ��#� ' � � � � ���/24�. ���10>. �/���%�� ��� `1 9MJbWc�MJK�[M)E�{�}H}H�,�

<¸{���?�n�� $g� 6c�MJ¥§ICdW\�`aICd=qLD �a®SV1/J\]K�F�V�Ei`aICd=q 5¯� �QICd=G� 0EJICd�`_ICd=q � � � I /iICE�q`9ICd�q 5¯� ��F�E�d�`ICd=q �|��D�MJE�M)[?I�X��6\]d=Ma� ® p�MCICT]�§ ¡\]K�M ��D�k�F�d«c�F�b F�¥ c�s=MlR�s=F�E�V�X�K.\2UJE�F��¦�_M)E>d=M)T�� �MrU�sWdW\2UCICTp�MJb?F�E>c�7�  ��D�®�® �� � 9® ��  � p ��w,{ =H},`0R 7�k� Q`9n'ICd6V�ICE>Y�{�}H}H~,�

<¸{Cw ?.R � � ICd=MJ�_M ICd=q 5¯� $¯F�V=X�X�\]d=F�ci�� ¡�¯F� 9MJK:ICd6c�\2UrX�¥¦F�E I � ICd�G�V�I�GHM�F�¥Wp�MiI�U)c�\]�_M�y�[9h�MrUJc�Xr� �MrU�sWdW\2UCICTp�MJb?F�E>cSp�pS�oNH~_{H{_`'m 7�pSmZ®�`�j�ICE�U�s�{�}H}H~,�

<¸{�~�?.y%['h�MrU)c j�ICd�I�GHMJK�MJd,c � E�F�VWb��� ¡s=M R¡F�KLK#F�d�y�['h�M�UJc�p�M�^_V=MrX�c $�E�F��_MJEI2C®SE�U�sW\]c�MrU)c�V�E�MICd=q 6bMrU)\]�=UiICc�\2F�d�� �K� ��I�K&����K.+� ��� ����� ����`&� MrU�MJK�[MJEQ{�}H}_{_�

<¸{�v�?|®��?y�d=M /iI)�%I,`�n�� D���$�E�\2F�ci`�ICd�q¢kS� 6sW\][�I)Y,ICK:I,��y�['h�M�UJc��oy�E�\2M)d,c�Mrq¢R¡F�d=UJVWE�E�MJd,c�D�E�F��G�EJICKLKL\�d=G�\�d¢® $%R � �_{_� � #������ � � � �'� �;��� �32 � � ����`'b?I�GHM�X�NH~U0��9NHvU0,`�{�}U0Hv,�

<¸{ =�?|p�� $¯M)E�d�s�ICE�q¢ICd=q � ��� I /iICE�q�ICd=q 5¯����F�E�d ICd=q�n�� $ � 6c�MJ¥§ICdW\���moKLbWT2M)K#MJd6cJICc>\3F�dlF�¥I 6Y6d�U�sWE�F�d=F�V=X¯k��9MrU)V�c�\3F�d£j�I�U�sW\�d�MgF�d�c>s=MOR s=F�E�V=X K.\2UJE�F��¦�_M)E>d=M)T���mod � # �I������� �. � ���� � ��� � � �,� ���10 ���" ���$� ' � � �!� � ��' ��� � ���&�� �)� �10 �� �=� ����� �� ��� ` � M�UrMJK�[M)E {�}H}H�,�

<¸{=0�? �|� *Sd=G_ICEgICd=q�p�� $ � 6KL\�c>s�� 9k � 5 29 ¡s=MQD�F��¯MJE�F�¥ 6\]KLbWT�\2UJ\�coY�� 2���%� � .�� � ' � �+�10>/�� � ��� & � �1��� .W`6b�I�GHMrXQ{=01=��9N �_~,`0{�}H}_{_�

BCBEDGFIH%JKJ�L

Page 27: Reactive Objects · N˚ 2664 Octobre 1995 PROGRAMME 2 Calcul symbolique, programmation et ge´nie logiciel ! #"%$'& ()( !* $,+.-0/ & 2131546& 7 #8 $9& 7 * :-0; 46*=" *?4,

Unite de recherche INRIA Lorraine, Technopole de Nancy-Brabois, Campus scientifique,615 rue du Jardin Botanique, BP 101, 54600 VILLERS LES NANCY

Unite de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES CedexUnite de recherche INRIA Rhone-Alpes, 46 avenue Felix Viallet, 38031 GRENOBLE Cedex 1

Unite de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY CedexUnite de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

EditeurINRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

ISSN 0249-6399