=Paper= {{Paper |id=None |storemode=property |title=Generating Executable MAS-Prototypes from SONAR Specifications |pdfUrl=https://ceur-ws.org/Vol-627/coin_6.pdf |volume=Vol-627 |dblpUrl=https://dblp.org/rec/conf/mallow/Kohler-BussmeierWM10 }} ==Generating Executable MAS-Prototypes from SONAR Specifications== https://ceur-ws.org/Vol-627/coin_6.pdf
     0��������� ���������� ����������� ������
      ���������� ���� ����� �������������
     0������ ���������������� 0������� ������������������ ������ 0����
                0��������� �� �������� ���������� ��� �����������
                      ��������������� ��� ������� �������
              0�����������������������������������������������



      0�������� ���� ������������ �������� ��� 0���������� ����������
      ��� ��� ������������ �������������� ��� � ������������� ������� �� ���
      ������������ ��������� ��������� ������� ���� ���� ���������� ������������
      ���� ��������� ������������� ��� ��������������� ������������� ��� ����
      ����� �� ������ � ����� ��������� ������������ ��������� ��� �����������
      �������������� ����� ������ ��� ���� ��� ���������� ������ �� �����
      ��������� �������� ��� ��������� ������������ ����������� ��� ��� 0��
      ��������� �����������
0 ������������
��������������������� �������� ����������� �� � ���������� ����� ������������ ���
������ ������ ���� ����������� ��������� ������������� �������������� �������� ���
���������� ��� �������� ����������� ������� ���� ����� ��� �� ���������� ��� �����
��������� ��� ����� ������ ��� ��������� �� ��� ����� ����� ����� ��� ������������
�� ������������ ��� ��� ����� ����� ����� ��� ������� ��������������������� ��������
������ ��� ������������ ����������� ��� ����� ��� ������������� ������� ����� ���
�������� ���������� ���������� ����������� �� ���� �� ����������� ��� ����� ����
������� ���������� �� ������������ ��� ����� �� ��������� ���� �� ���������
    ��� ��������� ���� �� ����� �� ��� ������������ ����� 0���� ����������������
��� ������������� ����� �� ���� ��������� �� ������ �� ���� ����� �� ���� �� �
���������� ������� ��� ��� ������������ �������������� ��� ��� �������� ������
��������� �������� ���� �� ������� �� 0�����
    ����� �� ��� �� ��� �� � ����� ����������� �� ��� ���������� ���������� ������
���� �� ���� � ������������ �������� ���� ���������� �������� �������� ����������
�������� ���� ������� �������� ��� ��������������� ��������� ��� ������ ��������
���� �� � ������ ��� ������� ��� ������������ ��� �������������� �� ��� ����
������� ���������� �������� ���������� ������������� ��� �������� ����������� ��
� ����� ������������ �� ��� ���������� �� ���� ����������� �������� ���������� ��
����� ��� ����������� ���������� �� � ������ ����������� �� ���� ��� �������
���� ������������� �� �� �� ����� �� �������� �� ��� ��������� 0���������� ��
�� ������������� ������� �� ����� ��� ���� ����������� ������� �� ��� ����������� ��
�� ���� �� �������� �������� ��� ���������� ������������� ���� ��� 0����������
�������������� ��� ����� ����������� �� ���� �� ���� �� ���� ����������� �� ���
��������� ���� �� ����� ����������� ���������




                                      82
    ����� 0����������� ��� ����� �� ����� ���� �� ���� ������ ���������� �����
���� ��� �� ��� ������������ �������� ��� ��� ���������� ���������� ���� ������
����� ��� ������������ ������ ������ �� ��� ����� 0����������� �� �������
��� ���� ���� ���������� ��������� ���� ���� ������ ��� ����������� ��������� ����
����� ���� ��� ���� ����� ��� ����� ������� ��� ��������� ��������� ��� �����
���� ����������� �������� ����������� ��������� ����� �������� �� ������ ���������
����������� �� ������������ ������ ��� ��������� �� 0���0���� ����� � ������� ��
���������� ���� ����� �������� ��� ������������ ������� ��� ��� ���� ������ �� ���
��������� ����������� ����������� ����������� �������� ���� ��� �����������
��������� ���� ������� ���� ������� ���� ������� �� ������� ��� ���������� �� ���
����� ���� ���� ������������� ����� ��� ���� �������� �� ��� ��������������
����������� ��������� ����� ������ ����� ������ �� ������� ����������� ����
���� �� � �������� ���� �� � ������������� �� ��������� ���� ��� ����� �� ����
��� �� ����� ��� ������� � ���������� ��� 0������������ ������������� ���
���������� �� ������ ������0���� ��� �� ������� � ���������������� ���������
�� ���� ������
    ��� ����� �� ���������� �� �������� ������� � ������ �������� ��� ������ �����
�������� �������� ��� �������������� ������� ������ 0����� ������� � ���������
��� ������0���� ���������� �������� �� � ������ �������� ��� ����������
������ �� ����������� ��� ��������� �� ��� ������ ������� 0����������� ��� ����
����� ���� � ����������� ������ ���������� �� �� ������ �������� ������� ���� ������
���� ��� ����������� ��� ��� �������������� ������������ ������� � ��������� ��� ���
��������� ���������� ��������� �� ������� �� �� ��������� ���� 0������������
��� ���������� ������ ����������� ��� ������� �� ��� �������������� ����������� ����
���� ���������� ������������ ���� ��������� ������������� ��� ���������������
�� �������� ������� ���� �� ������� � ������ �� ����� ��� ����� ���� � ����������
�� ������� ��
� ��� ���������� ����������� ������ �����
�� ��� ��������� �� ���� � ����� ������������ ���� ��� ��������� ���������� ������
0����� � 0���������� ����������� ��� � ���� ��������� ���� � ��� �� �����������
������ ������� ����0������ ��0���� ����� ���� �� ����� � ������ ���� ��������� ���
���������� ���������� �� ����� ������� 0�������������� ���� �� ���� � ������� �� ���
������������ ���������� ��� ��� � ��� �� �������������� ����� � �������� ����������
�� ��� ��������� ��� �� ����� �� ���� ��� ����������� ���������� ��� ������� �� ����
    �� 0���� � ������ ������������ �� ������������� �� � ���������� ������� ��
������������ ������ ��������� � ���� �������� �� ����������� ��� ��� ��������� �� ����
������� �� ������� ������ ������ � ����������� ��� ������������ ������� ��� 0����
����������� ������0 ��� ���������� ����� ��� ��� �������� ������� � ���� ��� ���
����� ���� �� ����� ��� ���� ���� �� ��� ����� ��������� ��� ������������ ������� ���
��������� ������ �0���0� ��0���� �0�� 0�������0� ����� �� ����� �� ����� ����������
����� ������ �0�����0� �������0 ����� ��� ����� ���������� ���������� ������ ��
0
    �� ���� ��� ����� ����� �� �� ���� ������� ��� ������������ ������� ��� ���������
    ������ ����� � ���� ��� ������� ��� ��� ��� � �� ���� ������




                                       83
                         ���� �� � ��������� �����������

���� ��������� �� ���� � ��������� ��� ���      ��������� �� ���� �������� ��������
������� ���� �� �������� �� � �������� ���� � ���� ����������� ������������
��� ��������� ��� ��� �� ��� ��������� ������� �� ���������� �������� �����������
��� �������� �� ��� ���� �� ��� ��0���� �0� ��������� �� ��� �������� � �������
���� ����� ��� ��� ��������������� �0� � �0� �� ��� ��� �������������� ���
�� ������� ����������� ���� ���� ��������� ����� ���� ������������ �� ����� ��
���� � ������� ���������� ����� ���������� ����������� �� ������� ����� ���� �����
���������� ��� �������� ������� ��� ���� ������������ ��� ������� ���������� ��
��� �� �� ������� ��� ���� ���������� ���� ������� ��������� ��� �������� �� ���
���� ������ ������ ������ ����� �������� ���� �� � ������������ ��� �����������
�����������
    0���� ������ �� ��� ��������� �� ����� ����� ���� ���� �� �������� �� � ����� p
��� ���� ���� �������������� ���������������������� �� �������� �� � ����������
t� ���� ���� ����� �� ��������� �� ��� ��� �� ����� ����� ��� ������ �� ��������� ���
���� ��� ��� {Prod , Cons} ��� ��� ����� �� ��� �������� 0�������0� ���� ����������
t �� ��������� �� ��� ��� ��� D(t) ���� �������� ��� ����������� ������� ���
������ �� ��� ������� �� ���� ��� ������������� PC ��� PC3 ����� ��� ������ ��
���� �� ��� ����� �� ������ ��� ��������� ��� ��� �������� ����� ��� ����������� ���
��� �������������� �� ������ ���������� ���� ���� �� P ∪ T �� �������� �� ���
�������� O��
�
  ���� ���� ��� ���� ��������� ����� ��������� �� �� ���� ���� ����� ����� ��� ���� ���
  ��������� ��� ��� ��������� �� �������� �� ���� ������� ��������� ��� ���� ������
  ���� � ����� ������� �� ������� ����������� ������ ��������� � ���� ��������
�
  ��� ���� ����������� ������� ����� ��� �������� �� ���� ��������� � ������ ����� � ���
  �������� �� ��� �������������� �������� ���� ��������� ����� ��� ��� �������� ����
  ����������
�
  ������������ ���� ��� �� ���������� �� �������� ������������ ������� ������������
  ���� ������ ��� ����������� ����� ���������� ���������� � ������� �� ������ � ���
  ���� ����� ��� �������������������� ������� �� ������ ����� �� ��� ������� �� �������




                                       84
    �� ��� �� ���� ���� ���� ��� ������ ������� �� ����� ����� ���� ��� ����� ������
����� ��� 0���� ���� ������� ���� ��� ������� ������� �� ����� ����� ����
��������� ��� �� ��������� �� � ���� ������� ���� �� ��� ����� ��� ������� �����
�� �� ������������ ��� Org ���� � ������ ���� ����� ������� �� ��� ����� ��� ����
��� � �������� ���������� �������� 0��� ���������� ��� ����� ���� �� ��������� ��
��� ���� ��������� ������� ���� ������� ��� �� ����� �� ��������� � ���� ��� ����
������ ���������� ��� � ���� ���� ���� ��� ������ �������� �������������
    �� ������� ������� 0����������� ��� �������� ���� �������������� ������
�������������� ����� �������� ����� ������������ �� ��� ����� ����� ��� ��������
���� ��� �������� �� ����� ������� ����� ����� �� � ������� ����������� ���
����� ���� �������� ��� ����������� �� ��� ����� �������������� ������ �� 0����
��������������� ��� ��� ��������� �� ��� �������� � ���� ��� ���� �� ��� �����
������� ��������� �� ������ ���� � 0���� ����� �� ��0������ �� ������ �� ��������
������� ��� ���� ���� �� ���� ��� ���������� �� ��� ���� ���� ������ �� ��� �����
n ��� ������� �� ������ ����� ����� ���� ������ �� ������ k < n ��� ��� �� ������
�����
� �������������� �������� ������� ����������
�� ��� ��������� �� ��� ���������� �� � ����������� ������ �������� ���������
�� � 0�����������
0�� ���������� ��������
��� ����� ���� �� ����� ������� ���� ���� �������� �� � 0���������� �� �����
����� ��� ��������� ������ ������ �� �0������������ �������� ����� ������ ���� ��
����������� �� ������ � ����� ��� ���� ���������� ���� � 0���������� ��������
������ � ���������� ������




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

   �� ��� ������� �������� � ������ ������������� �� ��� ���������� �� ���
������������ �0������ ��� ��� � �����0��������� �� ��� ������������� ��������
  �� ��� ����� ��� ����� �� ���� �������� ���� ��� ������ ����� ��� ������� � �����
  ����� ���������� ��� �������������� ������ ���������� ���� ������������ ������� ���
  ����������� ����� ��� �������������� ����������




                                      85
���� ��� ���������� � ���������� ���������� ����� ��� �� �0������������ �����0
����� ��0��� �� ������������ �� ��� �������� ������� ��� �0��� ���� �0�
�������� ��������� ���� ��� ��� �� ����� ��� �������������� ������ �� ����� �����
����� ����� ��������� �0�� ���� ���������������� ��� ������ ���������� ����
���� �� �0� ��� �� �� ��������� �� ���� �� � ����� ������ �� ��� ���� �������
��� ���������� �������������� ��������� �� ��� ���������� �0�� ���� ��� �� ���
�� �0� ��� ����� ��� ������������ ��� ���� �� � ��� ���� �� �� �����������
���� ��� ����� ������������� �� ��������� ��� ��� ������� �� � ����� ��������
��� ���������� �0�� �� � ������������ ������ �� �������������� �������� �� ���
�������� ������������ ��� ��������������� �� ��� �� ����������� �� ��� �����
��� �0� � ���������� ��������� ��� �������������� ����������� �0�� ����� ��
������ ���� �� ��������� �������� �� �� ������������ ��� ���� ������������� ��
�������� ����� ������ ���� ����� ��� ����� ����� ��� ��� �� ������ �� �� ����
�� ������ ���������� �������� �� ��� ������������ ����� ����� ��� ��������� ����
��� ����������� �� ��� ������������� ��� ����� ���� ���� ��� �����0� ���� ���
���������� �� �������� ������������
    �� ��������� �� ��� �������� ��� ���������� ����������� ��� ���� ��� �������
����� ��� ����� ����� ���� ��� ������ ��� �������� ������� �� ����� ��� ���
������ ��� ������� ������ ��� �������� ������� �� �� ������������ ���� ������
�0��� �� ��� ���� ���������� ��� �� ���� ������� ���������� �������� �� ����
� ������ �� ������� ������� ���� �������� ������ �� ������� �� ��������� �����
������� �������������� ��������� ���������� �������������� ������� �� ��� ��� �� ���
�� � ����� ������������������ ��� �� � ������ ������� ������� ��� �� �������
������������� ���� ��������� �������� ��� ���������� ����������� ���� � �������
����������� ���� ������
0��     �������������� ��������
0����������� �� ������������� ������ ������0� ����������� �� ����������� ���
����� �������������� �������� ���������� �� ����� ��� �� ������������� �����������
���������� ������ �� �������� ��� ���������� �������� ��������� �� ���������� �����
���� ������
 � ���� ��0������� ����� ��� ������ �� ��� ������ �� �� �������� ����������
    ��������� �� � �������� ������� �������� ���� �� ������� �������������� ����
    �� �� ������� ���� ���������� ���� �������������� ��� ������� ��� ��� ����
    ����� ��� ��������� �������� � ���� ��� ��������� �� ������� � �������� �� ���
    ��������� ���� ���� �������� �� ��� ���������� ����������
 � ���� ���� ��0������������������� ����� � ���� ��� ���� ������� � �������
    ���� ��� �� �� ����� ���������� ��� ��� ������������� ���� ��� ��� ����
    ������� �� �� �� �� �������� �� �� ��������� ������ ������� ������������ �� �����
�
    ���� ���� ���� � ��������� ����� �� ����� ��� ��� ������� 0� ������� � ��������
    ���� ���� ��� �� ������ ����������������� ����� � ����������� �������� ���� ��
    ������� ��� ���� �� ����������� �� ���� ������� ��� ���� ����� ������������� ��� ���
    ������� ���������� ��� ������ �����0���0�� ����� ��� ���� ��������� ��� 0�������
    ���� ����� �� ����������� �������� ��� ����� �������������




                                        86
   ��� ��� �� ��� ������ � ���������� �� ����� �� � ��������� ������ ����
   ������� �� ��� ���� ���������� ��� ������ ��������� �� ��� ���� ��� ���� �����
   ����������� ��� ��� ������������� ����� ���� ��������� ����������� ���� ����
   �������� ������� ��� ���������������������� ������� �� ������������� ���
   ���� ���������� �� � ���������� ������� �� ��� ���� ��� ��� ��� �� ������
   ��� ���� �����
 � ���� ���� ���������� �� ��� ���� ���� �� � ��� ��� ������� ���� ���������
   �� ����������� ������� ���� ���������� ���� ���� ��������� ������� ���������
   ���������
 � ���0�0���� �0���������� �� � ������� �������� �� ����������� �� ������ � ��
   ������� ���� ���������� ���� ���� �������� ������������� ��� ���������� ���
   ����������
   ������������ ���������� �������������� �������
 � ����������� �������������� ����������� �� ��������� ��� ��������� �� ���
   ��� �� �������� ��������� �� ���������������� �� �������� ������� �� ���
   ������������ �������������� ����� ������� �������������� ������������ ��
   ��������� ���0��� ���� ������ � ����������������� ���������� �� � ������ ���
   ����������� �� �������� �� ��� ����� ��������� ������������� �� ��� ��������
   �������� ����� ��� ����� ���������� �������� ����������� ��� ���������� ����
   ��� �� �������� ��� ��� �� ������� ��� ������� �� �� �������������� ���������
   �� ��������� � ���� ������� ����� ��� ������ ����������� �� ���� ��� ������
   �� ������� �� ���� ������
 � �0������������ �0�����0�������� �� ��������� �� ������� �� ���������������
   ��� ������ �� ������� �� � ������ ������������ ���������� �� �� ������� ��� ��
   ��� ��������� ���������� �� �������������� ����� ���� ��������� ������ ���
   �������� �������������� ������ �� ��� ������ ����� ��������������� ��� ���������
   ��������� �� ��� ����� ��������� ������������ ��� �� ����� ���� �� ��� ����
   ���� � ��� ���������� �� ��������� ��� ���� ������� ��� ��� ������������ ���
   �� �������
0�0 ������������ ������
�� ����� �� ������ � ��� ��� ���� �� �� ������������ ��� ������ ��� ������� �� ��
�0���������� ����� ����� ���������� ��� ��� ������� �� � ������ ��� ���������
���� ����� �� ����������� ��� ��� ���������� �� ��� �������������� ������ ����
����� �������� ��������� ����� ��� ���� ��� ��� ���������� �� ��� ��������������
���� ���� ����� �������� ��� ���� ��������� ��� ����������� ��������� ����� ���
������� ���������� ��� ���� � �������������� �� ��� 0���������� ������� ���� ��
����������� �� ��� ��� ���� �� ������ ��
    ������������� ��� ������������ ����� �� ����������� ��� ��� ������� ���� �����
��� �� ��� �������������� �������� ������� ���� ���� ���������� ������������ ���
�
    ��� ��� ���� ������ �� �� ��� ������� ��� ����� ���� ���� ���� ��������� ����� ����
    ��� ���� ������ ������ ���� ����� �������




                                        87
                          ���� �� ��� ������������ �����

���� ���� ��������� ��� ����������� �� ��� ������ ���� �� ������ ��� ��� �������
������ ����� �� ����������� ��� ���������� ��� ����0��� ������� �� ��� ��������
����� ��� ��� ������� ������������� ����� ���� ���� ��� ����������� ��� ��� ����
�0��� ��������� ����� ��� ��� ������������� ��� �������� ��� ������������ �����
���������� �������� ���� ������ ��� ���� ��������� ��� ��� O ��� ���������
���� ���� �� ������� ����� ����� ���� ������ �� � ������� ��� �� ����� ��� ���
�������� ������ ��� � ������� �� ���� �� ��� ��� O ����� �� ���� ����������� ���
�������� ���� ��� ���������� �0��
    �� ��� ������������ ��� �������� ������� �� ��� ���� ��� ������ �� ��� �� ������
���� ���� ���� ������ ��� ��� �������� ���� �� ��� �� ��� ���� ���� �� ���� �����
��������� �� ��������� ���� ���������� ������������ ��� ���� ���� ����������
��� ���� ��������� �� ��� ������ ������� ������� ����������� ��� ������� ��
��� ���� ��������� ����� ��� ���������� �� ����� �� �������������� ��� ������ ��
����������� �� � ������ ��������� ����� �������� ��� �������� ������������ �� �
����������� ���������� ����� �������� ����������� �� ������ ������� �� ���� �� ����
���� �� ���������� ������� ������0��� ����� � �������� ��������� ���� ���������
� �������� ����������� ��� ������������ ������� �� ����������� ��������� ���
�
  ���� ���� ��� ��������� �� � ������ ����� ������������ ��� ������������ ��� ��� ��
  �� �������� ���� � ���������� ������������� ��� ���� ������ �� ��� ��������� ��
  �� ������������ ����� �� ���� �� ������ �� ������� � ������������ �0�� �� ��� ����
  �����������
    ��� �������� ������� ����� �� ���� �� ����������� �� ��� ���� ���������� ���
  ���� �� ������� ������������ �� ���� ��� ����������� ��������� �� ����� ���� ���������
  ������� ���� ������� �� ��� ������������ ����� ��� ��������� �� �� ������������ �����
  ��� �� ���� ������������ ���� �� ��������� ���� ��� ������ ����
�
  ���� ��� �� �������� ���������� �������� �� ���������� ���� ��� ������������




                                       88
���� �� ��� ����� ����������� ������ ��� ��������� ����� �� ��� ���� ����� ���
���� ���� ��������� ��� ������� �� ������� ��� ���������� �� �����������
� ���      0���������� ����������
���� �������� �� � 0����������������� �������� �� � ������ ���� ���� ��� �� ��
�������������� ��������� ��� �� �������� ���� ���� �0� �� � ������ ��������
�� ������������ �������� ���� ��� ��� ������� �������� ��� ���������� �0�� ��
� ����� ���� �� ��� �������������� �������� �� ���������� �� �������������� ���
������������ ����������� �� �� ������� ��� ����0�� ���� �� ��� �������� ����������
���� ������� ��� ���� �� ��������� �� ��� ���������������� �������� ����
���������� ���� ���� ���������� ���� ���� ��������� ������ ������ ��� ����
��������� ��� �0�� ���� ���� �� ����� ��� �������� ����� ������ ������� ����
�� �� ������� ��� �� ���������������� ��������� ���� �� �� �����
��� ����������� �� 0���� ������������� ���� ������0����
�� ��� ��������� �� ����������� ��� ����������� �� �� �������������� 0�����
����� ���� ��� ������0���� ���������� ����� ��� ��������� �������� ����
����� � 0���������� �� ������������ ���� ������ �� ������� ��� ��������� ���
��������� �� ����� �� ��������� ����������������������� ��� ������� �� ����
����������� ��� ��� ��������� ������������ ���������� ��� ��������� ����� ���
������������ ������� ���������� ����� �� ������ �� ��� ������������ ����������
����� ��������� ���� ���� 0���������� �� �������� �� � ���������� ����� ����
������ � ��������� ���� ���� �� ��������� ��� ��� �������� ��� ��� �����������
������ �� ���� ����� �� ��� �������� ������������� ����� ��� ��������� �������� ���
���������� ��� ���� ����� ��� ��������� �� ��� 0����������� ��� ��� ��������� ��
����������� ���������� �� ��������� ���� ��� �������� ���������� ����� ��� �����
������ ����� ��� ��������� ����� ��� ��� �� ��� ������ ��������� ��� ���������
���� ����� ������ ��� ���������� ��� ���������� ������ ��� 0�� ����� �� ����
��� ��������� ����� ��������� �� ���� ������ �� ��������� ��� �������� �� �
�������������
    ��� ������ ���������� � �������� ���� �� ����� �� ����� ���������� ��� ����
����� �������� ��� � ��� �������� �� ��� 0���������� ���� ������� ��� ������� ��
��� ���� ���� ���� �� � ������� ���� ��� ���������� �� ���� � ��������� ��� ��������
����� �� �������� �� ��� ������������� �� ��� ������ ����� ���� ����� �� �����
��� ���� ���� ��� ��������� n �� ����� �� ������ �� ��� ���� �������� � �����
��� ��� ��� a �� ��� ����������� �� ��� ���� ����� ���� ����� �������� ��� ���
���� ���������� ��� ��������  0�������� �����   � ��� ���� ���� ���� ������������ ����
�������� ���� ��� a �� ������� �� ��������� ��� ���� t �������� �� ��� ��������
���� ��������������  � ��� � ���� �� ������������               p O ���� ��� ����
                                                �������������� i ��   i�
p , 1 ≤ i ≤ n� ���������� ���� a ��������� ��� ������� p �� ��� ��� O � ���
�������� x ������� ��� ��������� �� ��� �������� ��������
 i                                                           i                 i


    �� �������� �������� �� ��� ������� ��� ���� ������ ��� �������� 0����������
��� ��� ���� ��� ��� ���� ������ �� �� ����� ��� �������������� ����� ��������




                                      89
                     ���� �� � �������������� ���� ��� ����� �

�� ���������� ��������� ��� ��������� ��� �������� ��� �������������� ���� ����
������ � �� ���� ��� ��� ���� ������ ��������� �� ���� �����0� ���� ������� ��������
��� ��������� ��� ��� ������ � �� � ��� ������ ������������ ��� ��� ��������� �������
��� ���������� ��� ���� ���������������������� ���������� ��������� ���� �� ����
�� ��� ��������� ������0���� ���������� ����� �� ���������� ��� ��������������
��������� ��� ��� �������� ������ ��� ��� ����������
  �� ��������� �� ���� �����0�� �� ������ ��������� ������ ������� ���� ��� ����
     ������� ���������� ��� ������������ �� �������� �� ������ ��� ���� ������� ����
     ���� � ���� ���� �� ����������� ����������� ��� ��� ������� ���� �� ��� ��������
     ����� �� ��� ��� �� ���� ������
  �� ���� ��������� ��� ������� ���� ���� �� ��������� �� ����������� ������� ����
     ����� ��������� �� ��� ��� �� ���� ������ ���� ��� ���� ����� �� ��� ���� ����
     ����� ��� ������� �����
  �� ���� ������������� ��� ������� ���� �� ��������� ����� ��� ���� ������
     �������
  �� ���� ���� ��0������� ��� ��������� ���� ������ ����� ��� ������ �� ��� ����
     ����� ��������� ������� ����� ����� ������� �� ��� ���� ��� ���� ����� �������
     ����� ��� ����������� ��������� �� ��� ��������� �� ��� ���� ����� ���� ����
     ����������� ���������� ��� ��������� ����������� ������� ����� ����� ��� ����
     �� ��� ���� ���� ��� ����� � ������ ���� ���� � ������ �����������
  �� ���� ���� ������������ ��� ���� ������������� ��� ������ ���� ���� �� ���
     ������� ����� ��� ���� ������ ������� ��� ��������� ���� ������ ���� ��
     �������� ��� ������ ���� ��������� �� ����� ���������� ����� �� ��� �����
  �� ���� ���� ���������� ��� ���� ��������� �� �������� �� ��� ���� ��� ����
     ������� ��� ��� ����� ����� �� ��� ��� ������ ��� ����������
     ����� �� ���� ���� ������� ���������� �������������� ��������� �������� ���
������0���� ���������� �������� �������� � ��������� ������ ������������ ��
����� �� ������� ��������������� ��������� ������������ ���������� �� ������������
�� ��� ����� ����� ��� �� ����� �� ��� ��������� ������ ������
     ������ ��� ��� ������ ��� ��������� �� ���� ������� �� ���������� ��� � �����
����������� ������ ���� ������������ ��� ������0���� ���������� ����� �����
�����




                                      90
��� ����������� ������ ���� ������0���� ���������� �����

�� ������� �� �� ���� ��������� ��� ������� ������ �� � ����������� ������ ����
������������ 0���� �������������� ��� ������ ���� �� ���� 0���� ������������
�� ���������� ����������� �� � ����������� ���������� ����� ���������� �� ����
��� ���� �������� ��� ��� ������������ ����� �� �� ���������� ���������� �������
�� ��� ������� ������������ �������������� �� ��� ������0���� ����������
������ ��� ������������ ����� �� �������� ��� ��� ����� ��������� �� ����� ��� �� ��
������ �������� ��� ������������ ����� �� � 0���� ������������ ��������� ������ ��
����� �� ��� ��������� ��������� ��������� ��� ��������� �� ��� �������� ����������
��������� ���� �������� ��� ������ ���� ������� �� ����������� �� ������ ��




         ���� �� 0���������� ���������� ����� �� ��� ������� ���������

    �� �� ����� ���� ��� ������ ���� �� � 0���� ������������ �� �������� �� ���
��������� ���������� ��� ��� ��� �������� ������ ���� ��� ������ �� ��� �����
������ �� ��� ���� ���� �� �� ��� ��������� �� ��� �������� ��������� �� ��� ������
�� �� ����� ���� �� �� ���� ��� ������� �� ����������� ������ ����������� ����
����� ����� �� ��� �� ��� ����� �� ��� ������ ��� ���� ����� ��� ���� �������
��� ������������ ������ ���� �� ���� ��������� �� ����� ���� ���� �� ��� �������
���������� ��� ���� ��� ��0����� �������� �� ��� ����� ������ �� ��� ����������
���� ���� �� �������� �� ���� ��� �������� ������ ��0�� �� ��� ������ ������������
��� �� ������ ���� ��� ����� ���������� ���� ���� ��� ������ ������������� ��
�������� �� ��� ���� ����� ��������� ��� �0�� ������� ��� �������� ������
���� ���� ������ �� ��� �� ������� �� ��� ������������� ������������� ���� ���
�� ������ �� ������ ��������� ��� ����������� ���� ����� ���������� ���� ���
������� ��������




                                     91
    ��� ������ ������������ �� ��� ������0���� ���������� �� ���� �� ����
��� ������������ ����� �� �� �������� �������� �� � ����� ����� ���� �������
���� �����
��0 ����������� �� ��� ��� �������� ������
�� ��������� �� ���������� ���� � 0���������� �� �� ������������ �� ��������
���� ���������� ��������� ���� ��� ���� �� ��� ��� �������� ������� ����������� ���
��������� ���� ��� ��� ������ � �� � ��� �������� �� ��� ��������� ��� ��� ������
������������� ���� ������� �� �������� ��� ��������������� ������������� ����� ���
��� �� � ����� �� ������������ ���� ��� ����� �� ��� ���������� ������
    ��� ��������� ���� ��� ��� ��� ������ ����� ��� ���� ��� ��������� ��� ����
�������� ������������� ���� ������� ��� ���� ���� ��� �������� �� ��������� ����
��� ���� �������������� 0������������������ ��� �� �������� ������ �������� ���
��������� �� ������� �������� ����� ��� ��������� ��������� ��� ��� ��� ���� ������
��������� �� ���� �����0��
    ������ ��� �������� ��� ������ ��� ������ ����� ��� �� �� ������� ���� ���
�������� ������ ������ � ��� ��� ���� �������� � ��� ����������� ��� �����������
��� �������� ������ ��� ������ �� ���            ������ �� ��� ��������� ����������
                                                �����
���� ����� ���� ���� ��� �������������� �� ������� ��� �������� ��� ������
    ��� ��� ����� 0���������� �� ���� ���� ��� �������� ���� �� ���� �� ����� �
����� ������ O ����� �� �� ��� ���� �������� ������ � ����� ���� �� ����� ������
����� ��� ����� p �� �������� ��� �������� ����� O ������� �� ����� ���������
                     4


�� ������ ��� ���� ������ ���� �����0 ���������� ��� ���� ����������� ��� ���� p
                     0                                      4


�� �� �������� �� �� O � ����� O ��� ���� ��� �������������� ����������� ��� ����
                                                                                   0


����� ������ t � ���� ������� �� �������� ��� ��� �������� p ��� p � O �������
                         1          1


��� ������ ����� �������� ��� ��������� ��� ��� p ����� �� ��� ���� ����������� O
                 1                                                1       2   1


��� ��� p ����� �� ��� ������ ������� O ��� O � ������� ������� ����� ��� ���
                                                        2                          4


���������������               (p, O) ������� ��� ���������� ��� ��� ��� ��������
           1                                     2      3
                     ������������
������� ����� a �������� � ������� ��� ��� ������� O ���� ��� ���� p ��� �� ��
���������� ������ ���� ��� ����� O ������� �� ������ �� O � ���� ��� �������
�� ������ ���� �� O ����� ��� � ������ ��� �� ��������� ��� ����� ������ ��
                                            1                         3


t �� �� t � ���� �������� �� ����������� ������� �������� ������ ��� ����������
                         3


��� ��� ��� ���������������             (t) ����� �� ��������� �� ��� ����� a ���� ��
2          5
                                ���������
t ��� �� �� ���� ��� ��������������������������
    ����� ���� �������� ���������� ��� ���� �� �� ��� � ����� �� ���������� ���
����������� 0����������� � ��� �������� ���� ���� �������� �� ���� ������ ���
��� ���� ����� ����� �� ���� ����� ��� ������ ���� ���� ���� ��� ���� ��������
��� ���� �� ��� ���� ���� ����� ���� �� ��������� ���� ������ ��������� ���
������ ����� �������
    �� ������ ����� ����� ����� �� ������� ��� ������� ��������� ��� ���� �����
��� ����� ���� ������ ��������� ��� �������� 0���� ����� �� �� ������������
���� ��� ����������� �� �������� ������ ��� ��� ��������� ������������ ����� ���
������� �� ��� ���������� �������� ������
�
    ���� ���� ��� ���� ���� ������ � ��� ���� ������� ������� ������




                                        92
���� �� ����� ����� ����� �� ��� 0���������������������




                        93
    ��� ������� �� ��� ��������� ��� ������ ��� ���� ������� �� ���������� ����
����� �� ���� �� ����� ��� ��������� ������ ������������ ��� ����������� �� ���
���� ����� ��� ���� ����� ���� �� �� � �������� ������ ��������� ��� ����������
������������� �� ��� �������� 0����������� � ���� ���� �� ����� ���� ��� ����
���� �� ��� ������� �� �� ���� ����� ���� ��� ������ ����� ��� �� �� � ���������
������ ��� ������� ���� �� ��� ��� ����� �� ��� �������� ������ ����� ���������
���� ��� ������ �� ��� ���� ���� ��� ��� ������������� �������� �����������
��������� ��� ����������� ��������� ����� ��� �������� ���� �� ������ ����� ��
��� ���� ����� ������������� ��� ��� ������ ������ ��� ��������� �� ��� ������ ���
�� �� �������� �������� �� ��� �������� 0���� ������ ��������� ������������
���� ��� ��� ��������� ���� ������� ������ � ��� � ��� �������� ������ �����
������ � ��� � ��� ��������� �������
��� ���������� ���������� ��� ������ ����
�� ���� ����������� �� ���� � ����� ����������� ���������� �� ��� �������� ����� ��
���� ������ 0���� �� � ������ ����� �� ������������� ����� �� ����� ����� �� ��
����� ������� �� ��������� ���� �� ���� �� �������� �� ������ ������ �������������
�� � �������� ������������ �� ��� ���� �� ��� ����� ��� �������������� ��� ��� ����
��������� �� ��� �������� ����������� ���������� �� ���� ������ ����� ���� �����
����� ��� � ����� ����������� �������� �� �� ���� �������� ������ ����������
���� ������ ����� ��� ����������� �� ����� ����������� ���������� ������ ����������
���������� ����� ��� ���������� �� ��� ���� ��������� ������ ������������� ��� ����
�������� ��� �� ���� � 0����������������� �� �� ������������ ��� ������ ��
���������� ��������� �� �������� ��������� ������������ ��� ��� ���� ���������
��� ���������
    ����� �������� �������� �� ���������� ��������� ��� ��� ���� ������� 0�����
����� �� �� ������ ��� ���������� �� ��� ���� ���� �� �������� �� ���� ���� �����
������� ������� ��� ������� ������� ���� ��� ��������� ��� ��� ���� ���������
�� ���� ����� ��� ��� ���� ����� ����� �� ��� ����������� ���� ��� �����������
���������� �� ���� ���� �� ������� ���������� ��� ������ ��� �������������� �����
���� ���� ������ ��� ��������� ���������� �� ���������� ��������� ��� ���������
���� 0������������
    ������������� �� ��� ��� ���������� �� ���� �� ����������� ��������� �������
�� ���������� 0���������� ��� ��� ��������� ���������� ��� �� � ������� ������
���� ��� ��� ���� �������� �� ��������� 0������������������� �� ��������� ������
���������� ���� ��������������� ���� ������ �� � 0���������� �������� ����� ����
�� ��� �������������� ������
    �������� ����� ��� ���� �������� ���������� ���� ��� ������� ��������� ��������
�������������� ������������� �� �������� ��� ���� ��������� �� ����� �� ��� ������
���� ��� ��������� ���� ��� ���������� 0����������� ���� ������ �� ��� ����
�������� ��� ����� �������� �� �� ������� ��������� ���������� ��������� �������
�������� ������ ��� ���� �������� ��� � ����������� �������� ���� ����������
�������� �� � ��������� ��� �� ������� �� ��� ���������� ��������� �� ��� �����
�������� ����� ��� � �������������� �� �� ������������� ��� ����� ���������� ���
��� �� �� ���������




                                     94
    ������� �� ��� ��������� ��������� �� ��� ������� �� ������� ��������� ���
������0���� ����������� ������� ������ ������ �� ������� ��� ��������������
������������ �� � ���� ���������� ��� ������� ���� ��������� �� ��� ����� �� ���
���������� ������ �������� �� �� �� ������ ����������� ����������� �� � ���������
��� ������� ��� �������������� ���������� ��� �������� ������� �� ��� ����������
����� ��� ����� �������� ������� ���� ��� ���������� ����� ��� ��������� �� 0�����
� ������� ����
��� ���� �� ������� ������� �� ����� ���������� ���� ��������� ���������� ������
��� ������������ ������� �� ����������� ������� ���� S �M���� ����� �0��� ����
                                                                       +

�� ���0��������0� ����� ��� �������� �� ���� ���������� ����� ������� ��
��� �������� �� ��� �������������� ����� ���� �� ���������� ���� ��� ����������
���� �� ������ �� ���� ������ ������ ��� ������� ������ �� ��� ����������
����� ��� �0����� ���� ���������� ����� ��� ������� �� ����� �� ��� �������� ��
� ������ �� ��� ������������� ��� �0���� �� S �M���� � ����0��0 �� �0����
                                                                +

���� �0����0 �� ���0��������0�� ��� �������������� �������� �������
��� ����� ����� � ������� �������� ��� ��� ������� ���� �������������� ������
������� ��� �0��� ����� ��� ����������� ��� ������������ ������� ��� ����������
    �������� �� ��� ���� �� S �M���� ��� �0���� ���������� �� �������
                                               +

�������� �������� �� ������ ����� ���� �� �� ���������� ������� ������ ����
�0�������0 ��� S �M���� ��� ��� ������������ ����� ��� �0�������� ������0�
                                +

��� �0����� ��� ������� ������ ����� ������������� ������� ��� ������ �����
������ ��� ��� ���������� 0���������� ������������� ���������� ���������� ��
�� ���� ������ ������������ �� ��� ����� ��� ���� ��� ���� ������� ��� ����
������� ��������� ���� ������ ��� ��� ������ �� �������������� �������� �� �
���������� ����������� ���� ���� �� ����� ������� �� ��� �������� �� ��� ����
�������� �� ���0��������0�� ��� ���0� ���������� ��������� ���
�� �������� �� ��� �������������� ����� �� ��� ��������� �� �� � ���������� ������
���� �� ����������� ��� ������� �� ��� ����� ������ ��� ��� ���������� �������
������
    �� ����� �� ������������ ����� ��� ���������� �� ������� �������� ����������
���������� ��� ����������� ���� ��� �������������� ������ ���� �������� ���
����� ����������� �� �������� ������ �� � ����������� ������ �� ��������
� ����������
�� ���� ������ �� ���� ����� ���� ��� �������� ���� 0���� �� ����������� ������
��������� ������ ��� 0�� �� ����� �� ����� ���� ������ �� ����������� ��� �����
�� ��������� �� � ������������ ������0���� ���������� ����� ���� ��������
��� ���������� �� 0������������ �� 0������������������ ��� ���������� ����
0�
     �������� �� ��� ���� �� S �M����+ � ��� ��� ���������� �������� ������� ����
     ������0���0���� ���0����� ��� ��� � ��� ���� �������� ��������� �� � ���� �������������
     ���������




                                          95
����� ����� ���� ���������� ���� �� ����������� ��������� ��� ���� ������� ����
���������� ������� ��������� ��������������� �� ���� ����� ��������� �� ����
����������� ��� ���� ������ ��� ��������� ��� ��������� �� �� ��������������
������ ��������� ���� ��������� ��� ������������ ������� ��� ��� ���� ����� ��
�� ������ 0������������������ �� ������ ����� ��� �������� ��� ��������� ���
���� ����� ��� ����� ������������� �������� �������� �� �� ������������ ���
0���� ������������� ���� ����� ���������� �����������
    ���� ������ �� ���� � ����� ���� ������� � 0���� ������������ �� �� �������
������ ��� ��� ������������ ������0���� ���������� �������� ��� ���������
��� ��������� �� ��� ��������� �������� ������ �� �������� ������� ��� ��������
���� ��� ���������� ������ ������ ��� �������� �� ���� ���������� ����� ��� ���
������������ ��� �� � ������ 0����������������� ��� �� �������� ��� ��� �������
���� ������� �� ��� �������� ������ �� ��������� �� ���� ������ ��� �������� ��� ��
���� ���������� ����� �������� ������������ ��� ����� ������������ ���� ��������
�� ��������� 0����������� ���� ��� ���� ������� ��� ��������� �� ���� ���������
������� ������������ �� ���� ������ �� �������� ��������� ���������� ���� ��� ��
������ ��� ��� ������ ����� ��� ���� ��� ����� ���� �� ��� �������� ���������
���������������
    �������� �������� �� ���� ���������� ��� ���� �� 0������������������ ������
�� ��� ������� �� ����� 0������������������� �� ���� ��� ��������� ��� ����� ��
������ ����� �� ����� ���� ������� �� �������� ��� �� � ���� ���������������� �����
���� 0���� ������ ������������� �� ���� ������� ����� �� �������� ��� �������
�� 0�����
����������
 �� ������� ����� ������� ��� ������������� ������������ ������� �� ����� ��� ����
    ���������� �������� ��� ����� ������ �������
 �� ������� ��� ���� �������� �� �������� �� ����������� �������� ��������� ���
    �������� �� �������������� ������� ��� ������ ������
 �� ���������������� ��� ������������������ ��� ������ ��� � ������ ����� ��� ���
    ������������ ���������� ������ ������������� ����������� �������� ������������
    �� ����� ���� ��� ����� ������ �� ������������ ������� ����� �� ����������� ��
    ������������� ����������� ������� ���� ������ ������
 �� ������� ��� � ������ ����� �� ����������� �������������� ���������� ������������
    �� ������ ��� � ���
 �� �������� ��� ����� ��� ����� ����� ���� ��� ������ ����������� � � ����� �� ���������
    ������������ ��� ������������� �������� ������
 �� ����� ��� ������ ����� ����� 0���� ��� ���������������� ��������� �� ������ ���
    ������� ��� ���������� ��� ����� �������� ������ �� ����� ���� ����� ������ ����
    �� ����� �������� ������ �������
 �� ������� ��� ��������� ��� ���������� ��� ����������� ��� ������� ��� ������
    ��� ������ ��� ����� ��� �� ���������� ������ ��� ���������� ������ ��� ����� �����
    ������ �� ����������� ��� ������� ��� ����� ������������� ���������� �� �����������
    ��� ������ �� ����� ���� ����� ������ ���� �� ����� �������� ������ ��� � ���
 �� ������� ��� ������ ��� ������ ��� �������� ��� ��������� �� ����� ��� ������� ��
    ������ ����� ������� ��� ����� ������������� ���������� �� ����������� ��� ������
    �� ����� ����� ������ ���� �� ����� �������� ������ �������




                                        96
 �� ������ ��� ������� ��� ���������� ��� ������ ��� ������ ��� ������������������
    ��� ����� ������ ��� ���������� �������� �������� �� ��������� ��� ����������
    ��� ����� ����������� �� ��� ����� ������ ���������� �� ���������� ������ �����
    ��������� ��������� ������ ���� �� ����� �������� ������ �����
��� ������ ��� ������ ��� ������� 0�� ��������� ��� ������������ �� ��������� �����
    ��������������� �������� ������
��� �������� ��� �������� ��� ��������� ��� ������� ���������� �������� � ���������� ���
    ��� ������������ �� ���������� �������� ��� ������� ��� ����������� ������� ���
    �������������� ����� ������������� ���������� �� ���������� ������������ �� �������
    ��� ����������� ������� ���������� ������ ���� �� ����� �������� ������ �����
��� ��������� ��� ������� ��� �������� ����� ������������ �������� ������������ ����
    ������ �� ���� �������������� �� ������� ��� ������ ��� �������� ��� ���������� ���
    ����� ����������� ��������� �� ��� ������ ����� ���� ������ ���� �� ����� ��������
    ������ ������
��� ���������������� ��� ������������������ ��� � ����� ��� ����� ��������� ��� ���
    ������������ ����������� �� ������ ��� ���� �������� �� ���������� ������� ������
    ������ ��� ������ ���������� 0��������� �� �������� ���������� ��� ��������
    ������� ������ �����
��� ���������������� ��� ������������������ ��� ������ � ����������� ��������������
    ��� ������ ����������� ������������� ��� �������������������� ����������� �������� ��
    ��������� ��� ��� ��� ����� ��� ������ ��� ������� ��� ����� ���������� �� ������
    ����� ������ ������������� ����� ����� ������ ���� �� ����� �������� ������
    �������
��� ������� ����� �������� ����� ��������� ��� �������� � ���������� ��� ����������
    ��������� ����������� �������� ��� ������������� �������� �� ������������� ��
    ����������� �������� ���� ������������� �� ��������������������� �����������
    ����� ������ ������ �������
��� ������� ��� ������������������ ��� ������� ��� ������ ��� ������ �� �����������
    ���������� ��� ���������� ������������� �� ������� ��� ���������� ��� ������ ���
    ����� ����������� �� ��� ��� ������������� ����� ���������� �� ���������� ������
    ��� ����������� ������� ������ ������ ������ �������
��� ��������� ��� ������ ��� �� ��������� �������� �������������� ��� �������
    ������� �������� ������ ��� ������� ��� ���������� ������ ��� �����������
    �������� ������� ������ ������
��� ������� ����� ��������� ��� ������ ��� ������ ��� ������������� ����������� ������
    �������� ���� �������������� ��������� ��� ������� ������ ��� �������������� �����
    ���� �� ��� ������� ��� ���������� ������ ��� ����������� �������� ������ ������
    �������
��� ������������������ ��� ���������������� ��� ������ ��� ���� ����������� ��
    ������������������ �������� 0�������� ���������� ����������� ��� ���������� ���
    ������� ��� ���������� ��� ����� ����������� ��������� �� ��� ������ ����� ��� ����
    ��� ���� �� ����� �������� ������ �����
��� ������������������ ��� ������ ��� ��������� �� ���� ��� ���������� ������
    ���� �� � ������� ��������� �� ������� �� �������� �� ���������������� ���
    ������ ��� ��������� ��� ����� ������������� �������� �� �������������� ���������
    ������������ 0��������� �� ����� ������ ������
��� ������������������ ��� ������ ��� ��������� �� ������� ��������� �������������
    �������� �������� ������������� ����� ���� ����������� �������� ��� ����������� ��
    ��� ��� ������������� ���������� �� ���������� ������ ��� ����������� �������
    ������������� ������ ���������




                                        97