=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==
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