ttcn2 vs ttcn3
TRANSCRIPT
������������ �������� �
���� ���������������
������ �����������
������������ ��
!�����"�����# ���������
# $�����������%������
# ���"��"��
# �����
# ������������ �������� ������&'
# ������������� �(
# ���� "�����
�
������������ ����
��������� ������ ��� ������
������� ���������
)���*��������(
�
������������ ����
��������� ������ ��� ������
������� ���������
���������
�
������������ ����
��������� ������ ��� ������
������� ���������
�������
���� ������� �
�!"�" ### $%&#�#��'
()�&�
��� ��� ���� ��� ��*���� ���*���� ������ ����� +� �,,
����� �
���� ����� �
+% ��" -.��" /)"�� 0�� "1 ������ ���� 2�������)
+% ��" -.��� /)"�" 0�� �1 ������ ��*���� 0��������� 3���� ��3�
+% ��" -.��� /)"�� 0�� �1 ������ 4�������� 0��������� 3���� �43� )
�! ��" -.��� /)"�� 0�� �1 ������ 5��������� %�������)
+% ��" -.�� /)"�� 0�� 1 ������ !����� $���6��� ��!$
+% ��" -.��# /)"� 0�� #1 ������ ������ $���6��� ���$
�!"�"�-.� � ���� �+���� ������� �������,������ �������� �-
$�����������%������
������������ ����
��������� ������ ��� ������
������� ���������
���� �
�$./�%012��3����
���� �
45.��6" ��
������������.��&�
�%�.��6" ��
4%�.��� �7�
8����%�����,�-
8����%�����,�-(9���6"�:
���"��"��
#
������������ ����
��������� ������ ��� ������
������� ���������
�����
.
������������ ����
��������� ������ ��� ������
������� ���������
�����
7 ������ 8 ������ ���9��:�� ����
���������
7 ������ ���;���� �<����;� ��� ������*����
�����
7 ������ ���� ��;���� ��9 ����
= 3�� ���;�������
= 3�� *��� �������>���� 9�� ?%�)"
-
������������ ����
��������� ������ ��� ������
������� ���������
@���� ����������������� ��� ��� ��� ���
�������� !��;4;5
������
�������� /88<;��
������ 8/=;��!>
���� �6���������
���������� 5?����
���������� /!���5!�4
���������� @;A��5!�4
������������ 8��;���5!�4
�����������
/��������������
���������������������
������� ���"��"������,$>����$���-
����������
����
�������
�����������
���"��"��������
������ $>�,�"6���-
������ ��������� �����
��������
���� $�8��$
������ �����"�����������
��������� ,������-
������ ����" ������ ��������
&
������������ ����
��������� ������ ��� ������
������� ���������
��9 ������ �����
7 �������A���;���� ������ � %B� ��������)
7 ����A�������� ������ 0�5 ��� �0 ����
7 ���������A���� �� ������ �6 �������� ����
7 ������A�������� ������ �������� ���� ?%�)"
���� ��� �*���� ��� ?%�)" ?%0� 0�B ��� ��
���� �- ���� �� ��� ��� ������� 6�����
7 C?�����D A ?������ ������ �� � ���� ������ ���
���������������� ������ 6�� ������ 9�� �����
"�
������������ ����
��������� ������ ��� ������
������� ���������
��9 ����� 6�� ��� 9�� ?%�)"
7 ?���1
= ����� ���������� ���;����� ����������
= ������ E�6F �%+GB+��+ E53F
= �� E�6F � %+� E53F
= ����� ��H5$�+
= 6��� �!+?2
= ��������� �+�B�+!?�+�
$���������B�����
"�
������������ ����
��������� ������ ��� ������
������� ���������
������� � ����� �
�������� ����� �������� ������ ����������
��������������������� �
�������������� � !�� �������������������������� ��� ���
���� � !�� ��������������������������� ��� ��"����"�������
���� � !�� �#���������������� � ��� ��"����"�������
����������� � � !�� ��������� ��� ���
�������$�
����������
� !�� %��&�'����������(��������
����(�)� �
��� ���������*���
��������������$
� �
� !�� ��������� � ��� ��"����"�������
+��*�������������
� ��
� ,-� �������� ���"������ ��"����"�������
.������������������� � , � �������� ��*"������� ��"����"�������
/������������ � � ,� ����������������0��������
������������12�
��3� ��"����"������4�
" ��� ���� *� ;���� ��@I ��������� �� ���� 6�� �� ���� ����*�� �� ����� 9�� 6����� ��������� 9��� ��� ���
��6������� �� � �!+?�+ �������J �
������ ���� �� ������ ����� ������) ���� 9���� *� � ���6�� �������J
������ ������� ��� �� ����� ��� *� ������������J 3
������ ���� �@! ��� ������ ���� �@IJ 4
��6���� ��� *� �������� 9�� ����� ����� ��6������� � ���;��� �K��;������)
�����
"�
������������ ����
��������� ������ ��� ������
������� ���������
C ���� �+�3� �D� ��������
# 4 �6� �����E�F��������$����E�F����
# <��� ���D����6 ������8$�G!%;8>
C ���� �+��D�� �D� ��������
# ���" �
# ������ $���
# ����������
# %"�������
# � ������
# ������������
# / ��7�������������
��E+�����"���E����6 ���E+��������E����6 ����+�����"�������������$+�����"���$����������8$+�����"���8��������$�����"��!%;8>+!�D� ��%�� �;������8��������
>����������F;&�����������D���6 ���+
#������������#��8$��#!%;8>�
�����H/�5��"���(
"�
������������ ����
��������� ������ ��� ������
������� ���������
# �������B��+��3 ��7G���
C <�3�����������D��3����������D�������6� ���
C 86I���8������� �7������&
C � ������������������� �G���JK
C 5���D���������G8�!���������������
C ; ���������"� ����������������
C <�����������������D� "�����
C ���� ��D����������������" ��
������
"
������������ ����
��������� ������ ��� ������
������� ���������
�����
����
������� B��" ������
������� " �� �������1 ������ ��������
B��1 ��� ��� ��� ��� �� ���
��������� ) "
����"������� "��+��,����������-���,����������-���,�����������-����,�� �������-���,������-�������,���"��-J
������������+H�J��KL..���� ������K��
���� �������� 3�����D��6���"�����������
����G5����D�
"#
������������ ����
��������� ������ ��� ������
������� ���������
E�������
".
������������ ����
��������� ������ ��� ������
������� ���������
����������������� ������������������ ����������
�������� ���� ������� ����� �����
����� ���� ������� ����� ��������� ���� ������� ����� ����������� ������� ������� ����� ������������ ����� ����� ����� �����
���� ������������� �������D���������"��������� �J
���� ��������M�����*D������3��������� �6����6��������������,��"���6�����������&��"����-J������6����6�"�������D������,-L
�8�;+���� �����������D������ �6� 5D����6 ��������� �J�����"��6���7����������"�����������"���J
��N"����� /���D��"�
"-
������������ ����
��������� ������ ��� ������
������� ���������
���
���
���
���
���
��
� �� � ������
��� ���������������������
�������������� ����������������
���
���
���
���
���
��
� �� � ������
��� ���������������������
�������������� ����������������
��
��
��
��
��
���
��������� ����� �������
��
��
��
��
��
���
��������� ����� �������
���� ����� �
! � � " # $
��
��
��
�
��
�!
�"
��#
��
�
��
��
��
�
��
�!
�"
��#
��
�
� �������D�/���D��"�
"&
������������ ����
��������� ������ ��� ������
������� ���������
��� ��� $
%& ������ $
%& ����� �
%& �����!����� $
%& �"�
%& ��#�
'
'
%& ����������
'
��� ��� $
%& ������ $
%& ����� �
%& �����!����� $
%& �"�
%& ��#�
'
'
%& ����������
'
"
!
�
$
�
%
#
&
' !(
���� ����� �
��G�����G�������OG�K����� �������D��
�K��������PJ�K��������Q��OJ�K��������Q��K�J����K�����RJ�����������6 ��D�����N"�����J
L�� ������ � ������M
7 ������ �� �������� � ������
7 ���*�� �6 ��� ;������ � ������ 6���
����������
7 4��� ���� �<�� 6��1
= ��;�������
= ���;������ 6��� ������ � ������
��
������������ ����
��������� ������ ��� ������
������� ���������
L�� ������ � ������M
7 ������N� ��9 ���:86��� ��� O�;�'�,, ��:�
����< �� �<����� � ��9�� ��;������� 8 �����
��������� � �� ���)
7 L����1
= %����� ���� *���: ��9� �� ������� ���P��� ������
��;�������'�� �������
= %����� ��������� ������� ������� �6 ���� ��� �����;�
�� ���N� �;����� ������ :��9�����
= %����� �����;� ��� 6��<�*���� ���;�������'�����
��� *� �����������
= %����� ���� � ������ �� ���� ��;������� ���
�"
������������ ����
��������� ������ ��� ������
������� ���������
�����������
7 ������ �� � �������� ������� � ������
7 ������ 9��� ������� � �<�� 6�� � 6�9 �����
7 �������� 6��� ������ � ������ 9��� *� �������
7 �� ������ ������N� �;������ ��� �������� ������� ��� ;������ ���1
= 0��;��� ���� �� ��� �66�� �������� ������ � �������� *������
= 0��;��� �66����*��� ����;��;�� 8 ����� �������� 9���� ��� ���� ������
= 566�� ���� 6�������� ������ � ���� 8 ���� K����� �����
= 0����� ��� �6 ������ *�1
7 Q������ ���� ���� ������� � �� �;��;��� ��������)
7 566����� ���6�������� ������� ��� K����� ������)
7 ������ ���;���� ������>����� 9�� �� �*���� � ������ ��� ������� 9��� ���������� �� ������R
��
������������ ����
��������� ������ ��� ������
������� ���������