5
eLePUS – A Language for Specification of Software Design Patterns Rajeev R. Raje Department of Computer and Information Science Indiana University Purdue University Indianapolis Indianapolis, IN 46202 [email protected] Sivakumar Chinnasamy Department of Computer and Information Science Indiana University Purdue University Indianapolis Indianapolis, IN 46202 ABSTRACT Keywords 1. INTRODUCTION Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. SAC 2001, Las Vegas, NV (c) 2001 ACM 1-58113-324-3/01/02... 5.00 2. RELATED WORK 2.1 Contracts Permission to make digital or hard copies of part or all of this work or personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. SAC 2001, Las Vegas, NV © 2001 ACM 1-58113-287-5/01/02…$5.00 600

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - eLeLePUS - a language for specification

Embed Size (px)

Citation preview

Page 1: [ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - eLeLePUS - a language for specification

eLePUS – A Language for Specification of Software DesignPatterns

Rajeev R. RajeDepartment of Computer and Information

ScienceIndiana University Purdue University Indianapolis

Indianapolis, IN 46202

[email protected]

Sivakumar ChinnasamyDepartment of Computer and Information

ScienceIndiana University Purdue University Indianapolis

Indianapolis, IN 46202

ABSTRACT������������ ��� ���������������� ��������������� !��� "������#$ ��%����&�'������(�������)�� � �'���*�������"������+�&� �,-�.����/��� ��$����������01�2���3 � � � ����4��� � �5768'����� ��9��&;:9<,-���=�>���?��@� A������� ������>��� A���B � ���C� !�D���E��E���3�F����,>�&�G���@����(�H<�2@��� I@%,>�J$ ��K��@� �,L !��=:-���)�� �(�>����%'��� (5NMO�!�� �#$ ��!<3��>�����P����*,>�&Q���B � ���C� !��������R���S#( ��?������ ����%������'� ��O��'� I@T��"�,U+����('��;��:V���� ���W&S��,-�;�"��@� )���9��&7��'����B�����0����T% ������� � ���'�����( U���8������� I������5X @����.����B I�N�� ��� I���S+B ��.1&S����('���� (<$ !YZ ![N\0�]<!�2@��� I@) ����+�&� ��Q�P����*,>�&N���B � ��;C� !������(�^���,>��9:T����B � ��������2�3 ������(�R������� I������5- !YZ �*[N\0�_�S����E ���@���� � �,- ��9�-���)YZ ![N\0�]<8^&S����('���( W�� �#$ �&��(�B !��P�������B � ��;�P:3�����R��@� `�=����'� I��'��4�&?����B � ��%���0������� �������5ba� !���'3�� �����N !YH �[7\"�]<��;���1#(�&�����������(�A����V�����&��S ��+���&��;��:T��� ��� ��� I���S+B ��A�S���@����1����B ��!5

Keywordsc ������(�`[.����� �������<�YH ![N\0�B<� �YH ![N\0�B<�a�����,>�&Q�3�B � ���C� !����������

1. INTRODUCTIONd �e�� � � ��9�`����=�!<0�����P������� f�3 ������(�g������� I�����V@�!#$ h�(����� !�i��,j*,- ����� N�B�(��'�&S����;��:95 X @� ��� 7������� �������<!�2@��� I@� ��� !�����'�&S��� K������#$ ���3 ������(�����(&�'3���S�����Z���1,>��9:1�� I*k�9 � �'����������2�3���(+�&� �,-��<!��� 7 �l����4� ��� !������(,m��@� - Il��B I���S ��� � ������2��'� � � ����=�F'�&��� ������(����5 X :3���� !�&�&;:9<.�����*�� I�����.��� ����B � ��;C� ��)���)��)�����F����,>�&�,>����� ��!<!�2@��� I@)���� �&�'��3 ��Q��@� ���B � ��;C� !����S���e���0��@� A�F�('3�V ��(,-�B�(�� ��9���-���)h������� ����ZnpoBq�r-sItu�v�w$x�y sIr{z9sI|I} v4~ u��G~�w o�tA| w(y ���G~�w o�q�oBze} w o�|�s�� � sIoB}4sI|W�����| ~ z9s��sF�?s�} � |j�&��(���W�2�;��@D����@� ��-���3�F����,>������(�H<8��'� 4@_��-��,-��&� �,- ��9�4�*�������W�������?���"��3 ��4���&� !�W� � ���'��9�"���8��������� �������������%�(+��= � ����"������@� ��;�` ���&S&S�+B���4����������W���`���9�� ���*��� �&S������(����@��������2����@�����@� ��`�����*�� I������5h[.����� ����p !��4�&��(����<���'� 4@p��V� �9<K����<8'��� %�� Il3��*�+���� !�^�3 �*�� I���S�3�����(��������T���S����4�,-�?+���� !�W���T�B�(��'�&S��0��+3�� � ��0�����4����������&���J$ "\"�AYR������0� X 5 d ���P����,>�&B���B � ��;C� !������(���2��� " !��=:%���)'��3*�3 ����=�4����p����^��@� ��3���S�� �����&� ��U���?������� I�����/ ���_+B � �&S�+B���4��� ��+9:/,>��9:/ Il��,-��&� ���5.M?�!�� �#$ I�!<���8��@� 1�� ��� ������3���S���>���H������� I������<���V��@� 0�����F����,>�&Z,- ���@����3��<����2������#��S�� !���S�A/�����'��4�&Z&S����('���( (��;�?���O�������� 0���>�,U+����('��;��:V������S,-�3�� � ����� ��� �����5 X @�'���<���@� "�2���3 �3������ �,-������������R���8������� �������<]�S�T��'� I@T !��� ���<��3 ��B ������1'��B�(�`��@�

Permission to make digital or hard copies of all or part of this work forpersonal or classroom use is granted without fee provided that copies arenot made or distributed for profit or commercial advantage and that copiesbear this notice and the full citation on the first page. To copy otherwise,to republish, to post on servers or to redistribute to lists, requires priorspecific permission and/or a fee. SAC 2001, Las Vegas, NV (c) 2001 ACM1-58113-324-3/01/02...� 5.00

�l3���� ������S#( V�+���&����k:^���?��@� %������� ����^����;�� ��!5h�?&����3<8��_�,/+����('�*�('��8���B � ���C� !��������� !��-&� !(�j�������� ������� � ���'������ ������]��@� ?������� ����Z5X @� 1&���,-���4������(���K���Z�����P����,>�&����B � ��;C� !������(�%,- ���@����3�7@�!#$ 2+B � ���2�S�� �&;:R�� ��B������ !���;��<��9<7����5 X @� ��� ����� �&�'��� �n y q$}4� w=��u�v s�} ~ | ~�w o���� ~ o3��s v sIo �1y ~ r ~F� q �G~�w o�| w=�U� ��s w$xF� s�} � o w�� q �G~�w o�| ��w�v | u s�} ~ �I� �~ o9� u q �G� s v o�|45��1&S���3<������P����,>�&7���B � ��;C� !����S�����),>�J$ U�;�)���;�- �'�&��� ���N����,- �����,- ��Q�� !��N��,-�B�������S+�&� ��H���O�3 ��� � ��z ��uBy ~ }�q �G~�w oT �¡ ~ | w oBsu q �G� s v o^|Iq�r>sjq�|)q�o w�� ��s v�¢3£ ¤ < v sF¥7o]sIr-sIo �  �¡ ~ | w oBs u q �G� s v o w$x �� q ~ oBs�z �4v�w r¦q/r ~ o w�v?v sI§ ~ | ~�w o w=� q�o w�� ��s v9¢3£ ¤ ����Rz ~ | �!w�~ o � o]sI|�| �¡ q v s �G¨KwOu q �G� s v o�| � o v s y q � s�z ¢�£ ¤ 5 X @� ��� ?�P !���'3�� ����� "�&����U ����;��*�� !�&Z���� ��e������� ���������� "+B ������U������ ���#$ ��� ��Z<3������ �'����� !�V����>�� I*+���� !�Z5 X @�'���<���@� ��� )���O �&� !���&;:T-�� � !�V�P���?�F����,>�&�&�:A���B � ��;�P:3������� ����S���A������� �������5 d �V(�����;�����(�V���-!#$���S�������j��@� "����@� I�� ��9�O���4��*+�� IJ������8��@� -�����P����,>�&7,- ���@�������<Q��@� j�F����,>�&K����3���$� I@� ��� !���&����p������S�=�%���D��@� A �l3��&����4������(�����"��@� A�'�����,>��� !�p,-���������R���������� �������5���P ��i�F����,>�&H����3���$� I@� ���F���1���B � �����:3�S���>�� ��������V������� ������1��� (n68�(�9���4� ��������!����< c ���468�A� ©���<]68�����=���4����9� c �S����4�,«ª?���4��������h� ¬���<YH �[7\"�p� ­3<Q®�<.���K����^6 c Y�����¯���5%�O'3�0���2�&�&N��@� ��� (<�YH ![N\0�`�����@� �,-�(�=�/ ��(,-�3�� �@� �������#$ V����f@���>T�����������('��-,>���@� �,>����� !�&+��������5 X @���������B I�/�3 ��� �����+B ��)��R !YH �[7\"�`°W��h ���@���� � �,- ��9����UYZ ![7\"�p°_�2@��� 4@e�S�%'��� ��E�F���V���B � ��;�P:3�����f,-���� W����B � ���������� ����S���R������� ������O��@���h�&�&S�!�8 !�R+9:TYZ ![7\"�]5] !YZ ![N\0�`@���O+B � ��#��&��S����� ��h+9:^�����&;:3�����A�;�)���`�&�&8��@� >�� ��������^������� ������)���?±O�(a !��4�&��(�U� �!��5.²? ���'�&;���H������@� ��� K�����&��S �������(����<$�&S�����2�2�;��@��� �&S �#(���������� �'��������(���?��� 0�3�� ��� ��9�� !�%�S����@� "����B ��!5

2. RELATED WORKX @� I�� ���� ",>���:-�P����,>�&Z���B � ��;C� !����S���A&S����('���( ��1�������B�(�� !��+�:� �(�� �,-�������W�����3'��=����:95�M?���8 �#$ ��!<Z�����)�&�&N���K��@� �,³��� j��'��;��*�+�&� /�F�������B � ��;�P:3�����V�� ������(�R������� �������<H,>�����&;:`+B � !�'��� (<��3 ������(�������� ������H��� K�+��=���4� ���������������0�3������H�� � !�"���B � ��;C� �������(���Q !��� ���*�����T���R&��!�*�&� �#$ �&2�3 ��4���&���5_�?&�����<8������� ������U �'��j� ��������-,-����'�&� +B�('���������� ��2����%�����,>��9:-���B � ��;C� �������(�`����3���$� 4@� �� !��%��'��3*�B�����U��'� 4@^ ��������=*� �'�������������5 X @� >,-���=�U�3���(,-���������T�&��� I���������#$ ���F���)���B � ��;�P:3�����V�� ������(�h������� I�����0��� (n)68�(�9���4� �����< c ���468�3<768�(�3*�=���4����9� c �S����4�,´ªO���4������(�`����AYZ ![7\"�]5�µ8 �&��!�0<���@� ��� ���� ��� I*�� �����+B !�]<��P���2��@� "���J$ "���.+��� �#��;��:9<3+9:>@�����@�&����(@9�������/��@� ��;��F'������*,- ��9�4�&B�P !���'3�� ���5

2.1 Contracts68�(�9���4� ����j�;���!�N�S�O%���B � ��;C� !����S���T&������'���� /�F���"���B � �����:3�S����+B I*@�!#������4�&8 ���,-�B�(���;�����(���)����R��@� j�(+�&S���(������(���/�(�h��������� ��������������(+��= � �����5b68�(�9���4� �����<2 Il���&��S �����&;:E����E�+��=���4� ���&;:9<2 !�����'3�� V��@� +B �@��#������4�&��3 ��B ����� ��� ��� ��.�,-�������=�N ��9�(�B ��4��������0�(+��= � �����5K68�(�3*

Permission to make digital or hard copies of part or all of this work or personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. SAC 2001, Las Vegas, NV © 2001 ACM 1-58113-287-5/01/02…$5.00

600

Some text in this electronic article is rendered in Type 3 or bitmapped fonts, and may display poorly on screen in Adobe Acrobat v. 4.0 and later. However, printouts of this file are unaffected by this problem. We recommend that you print the file for best legibility.
Page 2: [ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - eLeLePUS - a language for specification

���4� ����%�� �C��� ��U��:3�B V��+�&����$�����������<�2@��� 4@E !�����'3�� V��@� ���������� ��;*����9��������j ����9���4� ���'��&���+�&����$�����������<3�2@��� I@>���B � �����:- ������=���4����9�������+B �@��#�����������E !�����'3�� V��@� `+B �@�!#3�����4�&"�3 ��B ����� ��� ��� ��-+B �*�k�� � ��-�(+��= � �����5K�� ����9���4� ��8�&����U�� �C��� ��N���� � ��(�����;�����(���K�(�-�����*���� �������9���H�� !¶9'����� ��O��� ��=�4�+�&S����@0��@� N ����9���4� ��!<�����O��@� N����#(����S��9����-+B �,>��S�9�4��S�� !�V+9:%��@� ��� 0��������� ������������5 X @� � ��(�9���4� I�O�=�4�:3� �&S ���j���2��,-��&� �,- ��9�4��������H5A�3�A���A+3�����3�( -��@� -��,-��&S �,- ��9�4������(������ ��(�9���4� ��!<$1 ��(�3�F����,>��� � �� � �&���4������(�U���.'��� !�]<��2@��S 4@)���B � �*�;C� ��0@��!�·%��������� �'�&S��� �&S����0��,-��&S �,- ��9�4������(�T,- � ����O���������� �*'�&S��U�(+��= � ��!¸ �) ��(�9���4� ���'��&8�(+�&��S�(������(����5 X @��S�����U��^����#(����S��9��*+���� !�j���B � ��;C� !����S���>����/ !��-+B ��(�����S�3 ��� !�-��K��/ �l��� ��������(�j���C����=�1���4�� I�?&����(�� (5

2.2 DisCoc �S�468� �k¹ ~ |4������+�'3�� !��º w *��(�B ��4����S���B�U� ©��K����-�F����,>�&.���B � ��;C� !�*�������%&S����('���� ?�F������ !� �����#$ ?�=:3�=�� �,-��5 d �K�S�� ������B���4��� �������B � ��;C�* �������(�U&������'���� (<92,- ���@������(&�����:0�F���N�� �#$ �&��(���S���?���B � ��;C� !����S�����'��������T��@� V&S����('���� (<����_T���9��&1��'����B�����j�F���j��@� �,- ���@����3�(&;*����:95%������ �,-�3���"@�!#$ j+B � ��h,>��� /���V�����&;: c �S�468�A�P�����F����,>�&���B � ��;C� !����S���T���7�� ����S���A������� ��������;��®���5 c ���468�- !��V���B � ��;�P:A����,-���3 �&.�(+��= � ��������� I�4� ������(���0��0�@�����@W&� �#( �&N���8�+��=���4� ������(�Z5 d ��&����R@���)������#��S�����������F���U�� ����� ��� ��9���S���A��@� -�� �,-�B���4�&8+B �@�!#��S������.������� �������5 d �2 �&S���,-�����U�P����,>�&S��»� "��@� O�� �,-�B���4�&]+B �@�!#������2���������� ������0���R�� ���,-�"���@�����@�*�&� �#$ �&7�+��=���4� �������������� ��(,-,/'����� !�*�������H5 X @��S�1���O/�� Il3��'��&H&������'���� /����V���?��` �l��� ��������(�`���.C����=����4�� ��1�3�� !���� !��� 0 !�&� �'�&S'���5

2.3 Constraint DiagramX @� T68�(���=���4����9� c �S����4�,¼�����4������(�g� ¬��?���,-�>��j������#����3�����R���:h���1� 4@��� �#������A��'��� �&;:W#��S��'��&G<�:9 I�0�F����,>�&G<.���B � ��;C� �������(�f���������� ������`'��������D ��(���=���4����9�R���S����4�,-�f�;�!­���5 d �`@���T_��@3�� � �*���� ���,-���3 �&N���K�� ����� ��� ����4������(�^����������� �����������T'��� ��0\"�AY_�P������B � ��;�P:3�����^��@� A�3:3���,-�S ��-���0��@� V������� I���H5 X @� AC����=�%,-���� �&G<½ ���(&� �*�,-���� �&S¾V�S�0��@� j,-�(�=���+��=���4� ��U����R�� ����� ����0�(��&�:T��@� j ��=*�� ������S�&1�����;�����j���1��@� %������� I���H<K �l3 �&�'��������W���� ����� ��9���S�&1�����&��� !�*�������B¿��3�(,>��S�0���B � ��;C� K�� ��4��S&���5 X @� N�� � ��(���",-���� �&G< ½ ��:3�B �*�,-���� �&�¾�3����#3�S�3 ��� ����� ��� ��� N�� �C��� �,- ��9�Z���3��@� ½ ���(&� �*�,-���� �&�¾1+9:0(����������+��=���4� ��%�=�4��� T����D���B ��4������(�e���9�� ����F� � ���5 X @� VC����&1,-���� �&G<½ �&S����=*�,-���� �&S¾?�� !�&���»� ��.��@� ½ �k:��B I*k,-���3 �&�¾�<���@�'���<��� ���&��!:������1��@� '����3 ���&;:������U������� ����%������ ���,-������ ����� ��� I�� " �&S����� ���5 d ��&����j��'��3*�B�������"��@� /���S����4�,-,>����� U������� I���R���B � ���C� !����������"�2�;��@R�� �l���'��&��'�����&S �,- ��9����5 X @� ��� f�� �l���'��&U��'�����&S �,- ��9���A�� ���#$ ^�k���e��'3��*�B���� ���nO$�1���8�� ����3�F���� ��S���V�3�S����4�,-�O�2�;��@R��'����B�������S���>�S�3�F����,>�*�������H<B����%+B�K���-�3�S���,/+��S��'���� "������� ����`���S����4�,-��5

2.4 LePUSX @� 8YH����('���$ÀV�P���.[.����� ����0\O���;�F����,b�3�B � ��;C� !����S��� � YH ![N\0���N� ­�<®3<Q���.���0j�����(�����('��?�F����,>�&.&S�����'���( U�P���0������� ����T���B � ���C� !������������A'��� ��?M?���(@� I�0�?�4�3 ��0�V��������� /YZ�(���S U����V���� ����� !��� ) !�&S �'�*&�'���5 X @��S�%&S����('���( T@���VW�� �&�&O ��=�4�+�&�����@� ��E�F����,U'�&S� I*k+���� !��� ����� ��� ��9�4����S���p����^V ���,-��&� �,- ��9��������#3����'��&K�� ����� ��� ��9�4����S���H5�1&;��@��('��(@e��@� R#��S��'��&"�� ��3�� ��� ��9�4��������g���A�����V�P'�&�&;:i ��(,-��&� ��� (<�3���(�B ��N,>������S���(�H �l3�S�=��+B ����8 � ��U��@� K�P����,/'�&S� 8+���� !�����B � ��;C� !�*�������U����"#�����'��&��� ��3�� ��� ��9�4������(�Z5NYH �[7\"�?���Q+���� !�"�(�)� ���,-��� ��+�'��K"��'��j ��� ��9�K�� I�8���]+�'���&S�������0+�&��9 IJ���<$�2@��� I@-��� 2'��� !�/���O�� ���*�� ��� ��9��������� I������5>YZ ![7\"�T�P����,/'�&S� j,>����;�F ��=�)�3 ������(�^������� ���������-�� ���,-�K���H&S���(�� "�=�4��� �,- ��9����5NYH �[7\"�U���4����� I���S+B ��������� I�����K����P����,U'�&S� 1����/ �#$ I��:/�3���(���4�,·�S�N�� ��3�� ��� ��9�� !�j���O,-���3 �&G5 X @�����&����A������#��S�� ��0��'��(�( ��=���S�������(�T�� ��B������������:h,>�����( �,- ��9�O�S����'� ��+���� !���(�V��@� "'����� ���&;:3�����/,>���@� �,>����� !�&],-���� �&�5

3. EVALUATIONd �%���4�3 �����j�3 ��� ���,-���� 2��@� O,-�(�=�2��������������S��� "�&;�� ����������#$ (<��('�����7��@� U�+B��#$ ),- ��9�����(�� !�A�(�� ���<H>�����(�����('��0 �#(�&�'���������W I������ I�������O ��=�4�+�&�����@� !�]5 d �?�S��#$��&�#$ !�A����� ����������>��@� )�&;�� ����������#$ ��1�P���(,,>��9:?�B ������B � �����#$ ���<���'� I@����n�(�Z+������ K,>���@� �,>����� !�&�,-���� �&G<�+B��+���&S�;�k:/���0��'����B�����K#��S��'��&������4������(�H<��=����'� ���'��4�&�����j+B �@��#������4�&���B � ��;C� !������(�Z<3 ��7 ���,-��&� �,- ��9�������O�(+��= � ��������4������(�H<3���7 ���,-���� �*@� �������#$ ��� �����<$ ���,U'�&;���;*k&� �#( �&$�� ����� ��� ��9�4������(�Z<9����U�4�Q !��� 2���B'��� (5X ���%���B � ��;C� U������� �������<7q x | �Gv q$} �Q� q$} ��w�v4� ���� � q$} ��w�v4� r-s � � w z�<�� I�� /���B � ��;C� !�W'��������>��@� U�+B��#$ /,- ����������� !�`�&��� I���������#$ ���<������2@���&� -�3�(�����%����<Z��@� U�+B��#$ U,- ��9���S���� !�`,- ������� ��?�� ��� U'��� !�`�F��� �#��&�'���������2��@� ��� 8����3���$� I@� ���5 X @� K,>������(+��= � I���S#( ����3��@� K �#(�&;*'�������(�>�����9 � ����8���8���0#$ ����;�P:-����-�3�9 �'�,- ����K@��!�D�� �&�&���@� ?��'�*��� � ��1���.��@� ��� "���8�j������� ������1��� � !�����'3�� !��+9:%#(������('��1���B � ��;C�* !����S������5 d �Q�������+��� ���#$ ��0��@���!<���'���������@� 8�&;�� ���������S#( ���<$YZ ![N\0����"��@� U,-�(�=�0 ���,-���� �@� �������#$ U����T������+�&� /���% ��(,-����� U�k������;Á] ��� ����>������� ������j�F���V�3'���&S�� !������(�H<8�� �C��� �,- ��9�!<8 I�� (5 d ���j�� I*&S������(���&� ��(���=����'� ����2����@� I�� ��9��&�:����B � ��;��:V,>���@� �,>����S ��&Z�����(�B I��*���� ���&���J$ O Il� �&S'�����#3�;�k:9<9�(�� �*�����*��(�� 1�� �&S����S������@��S����<��� IÂ� �l3��#����k:-���� ���,-,/'��4�����#3�;�k:95���S�� � 0 !� I@`������� ����`���1 �l3���� ����� !�`��"j����,-��&� ,>���@� �,>����� !�&��F����,/'�&S�<8��@� I:p !��_+B A�3���� � ���&;:D�3����#3�S�3 !�p���9��&��'����B�����U'��������W[.���(&��(�35 d �j�&S���W@���j` ���,-��&� �,- ��9�������A#�����'��&�����4������(�Z5 X @� `�� �&S������(����@����i+B ����8 � ��ia�� �������:i�V ���@����e�����?+��=���4� ��.a�� �������:)������� I���������. �#��S�� ��9�H�P���(,g��@� ��;�7YH �[7\"�����B � I*�;C� !������(��� � +B����@-#�����'��&�����j�P����,/'�&S"+���� ����I57YH �[7\"�U�F����,U'�&S� ��� !�����'�&S��� 0&��!�*�&S �#$ �&H�� ��4��S&��1����%:9 I�2 !��3��'��� 0�&S&]��@� O�� � !�3 !���'�+3��&� 0 ��(���=���4����9���?����>�F !���'��� ��1������@� 0������� ����V���B � ���C� !�Z5

4. WHY ELEPUS?�?�K�=�4��� !�>�+B��#( (<3YH ![N\0�/���7��@� 1,-�(�=�K ��(,-�3�� �@� �������#$ 1�&;�� ������*����#$ (<Q!#(��S&S�+�&� >��)���� ��� ��9�!<H���V�� ��� �����+B -�3 ������(�^������� �������5 c I*�����;�� -�;���0,>��9:W���#���9�4��� ���<.YZ ![7\"�R�3�9 ���@�!#$ ->�F ��L&��S,-�;�4�*�����(����5 d �1,>�����&�:V���,-�?��1�F����,>�&�&;:A���B � ��;��:������-�(��&;:���@� 0�=����'� I*��'��4�&O ���,-�B�(�� ��9�>���0��@� T������� ����e������3�9 ��%����������� �,-���-������B � ��;��:>����@� I� ����;���� !�&] ���,-�B�(�� ������7��'� 4@%���< ~ o � sIo � t7q u$u�y ~ }�q x�~Gy �~F�G� ����R} w(yFy q x�w�v q �G~�w o�5

4.1 Needto Formalize Pattern AspectsOtherThan Structurea�����,>�&���»������W�(��&;:R��@� >�=����'� ���'3�4�&�������/���?������� I�����)�S�/�S�� ��(,j*��&� ��� �<B��?�;�? ������'3�� ��1�(��&;:��(�� U����B � ��?���N��@� 0������� ����Z5�M? ��� � �<�;�B��'� 4@j?���B � ��;C� !������(�j���N'��� !���F���82���9�(&;*�+���� !�/��'����B�����!<(���.�2��&�&+B 0&���,-���� ������-�(��&�:%��@� 0�=����'� ���'��4�&Q����B � ����?���N������� ��������������&��;* !����S������<9&���J$ �'�����,>��� !��,>��� 4@������?����������� I���/���9�� ��9�����2����@/��3*��&��� !�+�&� ��� ��������A�� � ���������(��<��2�S&�&H�����2+B O�B�(������+�&� (5��V���� ���#$ I�!<���� ���,-����� %���:R���8�W������� ������)�P���jT+B I���� ��/'����3 ����=�4����������T�������T�� ����(&�#$ ��S����'� ��-��'� 4@_��/�� IC��� �,- ��9�!<7��'���&��S �������(�Z<� ��� (5�<7��@� �=����'� I��'��4�&7���B � ��;C� !������(�p�&��(�� -���������)��'��- ��� ��9�!5%�1�h����&;:3��������H�&S&3��@� 2������� ������N���`� ����<9�� �#$ ��&��7��@���7��@� ��� 2��� 2������� I�����N��@�����@���� U����,-��&S��O�=����'� ���'3�� ��?+�'��1��@� ��;�1�� !�&����;Á] ��� ��� � ��"��� )�P�('�������h��@� ��������9�� ��9� � ���U�����&��� !�+���&����k:^���U ��(&�&S�+B���4������(�B�I5 X @� j�P�(&;*&��!�2�S���V�� �l��0���0�� ��������3'� � ��W#$ I��+������,´�P���(,¼� �!��<Q���h����©�*?�(��¯35½ 5�5�5 X @� ��O������� �� � �!­(©(�.����UµK���S���� � ��¬��!��������� I������@��#( ����(,- ���,-,-�(�^���������+�'��� ���5Aµ8����@f������,-���� jÂ� Il���+��S&��;��:W+9:R������#����3�����`&� �#$ �&����O�������;�� � ������(�f���W�������@� ��j��+3�� � ��!5hµ8����@p����#$�(&�#$ -�F����*���4�������0�� !¶9'� ��=���K���0��@����7�(+��= � I���P����,Ã��%���9�� ����F� � 1����@� ��8��@����;���-�!�2�H5�5�5S5 X @� AJ( �:p���;Á] ��� ��� � �+B ����8 � ��D��@� ��� V������� ������-&��S �����R��@� ��;�0������ �������¾35-�1&S���3<.68��,-�B�(���;�� >���� c � ����4������)������� ���������;Á] ��K,>�����&�:/���j��@� ��;�����9�� ��9����5 ½ 5S5�5�5 68�(,-�B�������� � �!�(­(�K���� c � I*���4������ � �!�(¬��1@�!#$ �����,-��&S��"�=����'� ���'��� )�3������4�,-��<��� �Â� � ��������-��@� �G� ��1��@���?+B����@��� �&;:V���V�� � �'3�����S#( ) ��(,-�B�(���;�����(�A���-�����$�����»� U���(�B ���*� ����3 !����'�,U+B ��%���U�(+��= � �����5 X @����A ���,-,-�(���&����k:�,-���(@9�

601

Page 3: [ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - eLeLePUS - a language for specification

�� �,-���/:$�('f���W��@�����J^���0W�� � ����4������>�(+��= � ��-��>W�� ��� ��� ��4��� ��(,-�B�(���;�� (<]+�'��1��@���",-������ ��?��@� U�B�������?���7��@� c � ����4������0�����*�� I���H5 X @� V����,-��&S����;��:_ ������-��-�� � �'3�����S#( V ���,-�B�(���;�����(�H<��$����+B � !�'��� )���N���;Á] ��������j������ �������¾V� �!��5�V���� ���#$ ��!<$��@� 8,>��S�)�4������(���&� +B �@��S������@� � ����� � ��3�N���B������� ���������-���h�3����#3�S�3 A ��� ������'�&S��� !�D�� ������(�E���3 !��-���R�(+��= � ���*������S ����� ���=:3�=�� �,Ä��� 4@��;�� � �����5 X @����0��'3���B�(�� /�2��&�&7+B j�� I�F !��� !�R�;�����B � ��;C�* �������(���1����������� ���������U�����8�G� ��S&��;�4��� )��� !��=:�����> ������� � ��2'��3*�3 ����=�4����������/���.������� �������5NMO ��� � (<3��@� O�P����,>�&���»!����S���`���.���9�� ��9�!<�����&S�� !�+���&��;��:h����T ���&S&S�+B���4��������p��� -�&S������ !¶9'��;�� !�Z5 d �K��'� 4@R�P����,>�&S����,« �l3���=���8��@� ��>���2 ���% � ����4�����&�:>@� �&����������;Á] ��� ��9���S��������+B I���� � ��`������� ������2@�!#������j����,-��&S��?�=����'� ���'3�� ���<�+�'��?���;Á] ��������-�S�����@� ��?����B � �����<���'� I@V��2���9�� ��9� � (5 ��5�<B�?����3�� ��1����AµK���S���� ��I5X @� ��� -��� U���8���B��������+�&� -��������(� 4@� ��"����(���`��@� /���B � ���C� !�����������0��@� ��� `����@� ���������B � �����n^(�-�� ������(�iR�� ��Å��������(� 4@��2@��� I@�2��&�&7�&�&��!�Ã-�F����,>�&.���B � ���C� !��������R����&�&���@� ��� j����B � �����<H�S�W��3*�3�;���S����������@� 1�=����'� ���'3�4�&G<3���2+��7 ���@���� � "��� Il����=�������/��������$� I@+9:T���� ������B���4��������`�� � � ��������:W�F ����'��� ���5>�?��YZ ![7\"�T����0�F��'�������-+B 0 ��(,-���� �@� ������S#( � �l3 � �����P���O���B � ��;�P:3�����-����@� ��O����B � I���?���������� ������4�I<K��@� V�&;�� ���������S#( � +B�I<7�G5 (5�<� ���@���� ������WYZ ![7\"�]<.����,-���� ������'3�4�&Z��@���` I�� !��������%j�� ��Æ�&��� I���������#$ 0�����(,´�� ��4��� 4@H5��'� 4@`��A����3���$� I@V�2��&�&������1�(��&�:���#$ ��� ���,- "��@� 0&���,-�;�4������(���?���YZ ![N\0��+�'��2�&S���-+B ��� �C���P���(,«��@� "�=�����(���j�B�(���9���2���7YH �[7\"�]5 �YH ![N\0�T°RÀN��@���� � !�^YZ ![7\"�T°R(������,>��9:W�� I���P !���'3�� ��U���YZ ![N\0�]<9��@� ��� �+9:-���� I�� !��������U�;���2�����&��S ��+���&��;��:�����- ��(,-�3�� �@� ��3*����#$ ��� �����5j�L !YZ ![7\"�T���B � ��;C� !����S���^������������ ����R�S��#$��&�#$ ��O��@� ���B � ��;C� !����S���R��� d �9�� ��9�!<��1����&S�� !�+���&��;��:9<Z�9����'� ���'3�� �����T68��&�&��+�*���4������(�T����B � ����2���Q��@� "������� ����Z<���@� ��� �+9:> !��3��'��������j�&�&H�;���2��,j*�B�����4��9�?����B � I����5

5. ELEPUSX @����V�� � ���������+3���� �Â�:E�� ��� I���S+B ��V !YZ ![7\"�E ���@���� � �,- ��9����5Æ�1� �YH ![N\0�^���/+���� !�f�(�_YZ ![7\"�]<���@� ��� %��� %,>��9:h�� I�F ��� ��� � ��/��� 4@���4� ��� I���S�=���� ��1���.YH ![N\0�B5 c '� ?���)��@� "����� � O ��(���=���4����9����<��P !�*��'3�� ������2YZ ![N\0�R��� -���������� ��� ��9�� !�W@� ��� �5 d �9�� ��� ��=�� !�T�� !(�3 ���� ���p�� ��F ��-���_� ­3<8®�<2�!��F���%R�3 ��4���&� !�E�3 ��� ��������������D���0YH �[7\"�]5M?�!�� �#$ I�!<�@� ��� (<���V����� �,-�3�����,>(�3 ?���U�� ��� I���S+B "��9:-�� �&� �#���9��P !���'3�� ��1���NYZ ![7\"�]<3�2@���&� )�� ��� �����+��S���j !YZ ![7\"�]5X @� `�F�(&�&��!�2�����D��� A��@� `&���,-�;�4������(�������)YH ![N\0�B<K��@������� W��3*���� ����� !�����e !YZ ![7\"�]<8�S�e���4�� ��%���f �l��� �����YH ![N\0�p���f���B � ��;�P:����@� ��1��������2���.������� ����V���B � ��;C� !������(���?���8 �&�&�5

Ç �O+��= � ����O��� ������O ��(�����S�3 ��� !�`��?������'�����#(������+�&� ��?�S�TYZ �*[N\0�]5Q���S�� � j�3 ������(�R������� I���h+9:T�� IC����;�����(�Z<Q����#$��&S#( ½ �3 �*�� ����������������/���1 ��(,-,U'����� !��������A��+3�� � ����j����^ �&S����� ���¾D� �!��<��> �l3��&S�� ��;�,- � I@��������,��� � ����K����+B 1������#��S�� !�j���)� � ��(,j*,-������� "�(+��= � ����O��C����=�1 �&S����1 ��;����»� �����5Ç �3�B � ��;C� !����S���A���.�3:3���,-�S ?�������B ������� ��1����>�������B ������� ��2����*#$��&S#������V �l3��&��� ��;�/���B � ���C� !��������f���1�3:3���,-�� /+��S���������A������ �&S ��$��������E���1�� ����B��������+���&��;���S ��>��� V�����/������#����3 !�f���DYZ �*[N\0�]5�M?�!�� �#$ I�!<���@� �:)��� 7�� !¶9'��;�� !�0�F���7���B � �����:3�S���"����B � �������N������� ��������'� 4@A��?���9�� ��9�2���?�����&��� !�+���&S�;�k:95Ç �3�B � ��;C� !����S���>���H����@� I�2�O+��= � ���*������S ����� ��>�3���(�B ������� ���<���'� I@���� � � ����>�� ��('�&�������(����<? ��� !�����'�&S������(�Z<?����D����@� I����'� I@�G� ���������<��� � !�>���j+B 0����� ��%���-YZ ![7\"�� ������=����'� I����5Ç X �����B � ��;�P:W ���&S&S�+B���4�����������<N������;�����(���&.�F'��� ����������&��;��:T�P������B � ��;��:������^�� �,-�B���4�&?+B �@�!#3����������������� ������>����E��+3�� � ��

�3:3���,-�S ���<���� �&�'��3�����h��@� `���������������� !��4�������&����k:E�����(+3*�= � �����<����2�� �¶�'��;�� !�Z5

ªO I�m !YH �[7\"�e ��(���=����'� ����`��� ^�� IC��� ��e�2�;��@��('��A�&;�� ��������_��@� ,>���@� �,>����� !�&K,-���3 �&N���1YZ ![7\"�]5 X @� -,>!�=���/ �l��� ��������(���)����,-�����;C� !������(���>����YZ ![7\"�p��@������� `���� ������B���4��� !�E���� !YZ ![N\0���� 0+3���$���&;:V �&�������;C� !�A���9���U�P�(&�&����2�����%��@3�� � " !��� ��(�����S ���5

ÇfÈVÉRÊ3Ë�Ì�ÉRÊ3ËZÍ!ÎeÍ�Ï´Ð�Ñ�Î!ÒFÓ�Ñ�Ð.Î�Í�Ô�Ñ�Ó�Í!ÒPÏBË�Î(Õ X @� ��� _���3*#$�(&�#$ /(���3�;���S���R������ ��Æ������'����W#�����S�+�&� �������T,-���3�;C� !�*���S�����?���7�=:3���4�lA���8 �l3���=�������> ������=����'� I����5O�Æ�����('����A#(����;*�+�&� ����) !YH �[7\"� � ����UYZ ![N\0���Z�S�N2#�����S�+�&S K�4����������"��#$ �������('����W ��9�������� ���5V�L�����('����R ������;�k:R���� ��;��@� I�/%�F'��� ������(����?/ �&S�����5ÇfÈ�Ì�ÌQÒPÍ!ÒPÏBË`Ï�ÖQËQÊ�×ÆÓ(ÏBËQÎ�Í�Ô�Ø�Ó(Í!Î(Õ �^��'�,/+B I�H������ ��h�� �&��*���S�����.*Z+B����@U�����('����U����)�( ��� ��4�&3�� �&S������(����<���� 2����3 !�)��� !YH ![N\0�B5 X @� ��� 8����3�����������Q,>�J$ . !YZ ![7\"�?+B ����� ��H !¶9'������B !����^@������&� `���B � ���C� !����������%�S��#$��&�#3�����f� � � ������� ���'�&S�����������<��:3�B ��N���Z+��������������8����/�� �,-�B���4�&��3���(�B ������� ��K���]�� �&S�����������5�L�� �&S������(�f���^ �YH ![N\0�R���U�� �C��� !�R�,-�����(�=�)�����('����h ��3*�������� ���5 X @� ��� V��� >��@��� � >��:3�B ��U���1�� �&S������(���-�S�p !YZ ![N\0�� �����YH ![N\0���In������('����Z<3�� ��� ��4�&��S»� !�`����V ��(,-,U'��������35ÇfÙbÏZÌ�Ò�ÚNÓ(Ñ�Í!ÒPÏBËQÎVÍ�ÏfÔ�Ê�Û�Ô�Ê�Î�Ê3Ë]Í�Ñ�Í�ÒPÏBËeÏ�Ö"Û�Ñ�Í�Í�Ê�Ô�Ë�Î(Õ d �YH ![N\0�B<Q��@� -���B � ��;C� !����S���D���1`������� I���^���3#(�(&�#$ ����� ����� I*�� ��9���S���E����&;:������`�=����'� ���'��� h'��������D+B����@g�P����,U'�&S�*�+���� !�,- � I@�����S��,Å����`#3����'��&��� ��3�� ��� ��9�4������(�Z50MO�!�8 �#$ ��!<B�P���� ��(,-��&S I�� U�� ��3�� ��� ��9�4������(�W���8������� �������<Z !YZ ![7\"�T Il3�� ��������@����/���B � ���C� !��������_���W���B � ��;�P:p���9�� ��9�!<7�����&��� !�+���&S�;�k:9<����� ��(&�&S�+B���4������(���"��2�� �&S&G5

5.1 eLePUSFormat for SpecifyingPatternsÀ7� 4@�����B � ��8���Z������� �������<9���9�� ��9�!<������&��� !�+���&����k:9<��=����'� ���'3�� (<����� ���&S&S�+B���4�����������<.@���0�;���0�!�2�h 4@���4� ��� ������=���� j�F !���'��� �������T�����*���� ������������57M? ��� � �<� !YH ![N\0�>������#��S�� ��8���:����P���1���B � ��;��:������/ !� I@����B � ��2����%�;������������� �������9���������� ��B ����3 ��9�����H����@� �����5 X @�����&S����G� ���&����4��� �����W����B � ���*��2���� / ���,-��������������"���7�k���%������� �������5?a���� �l��,-��&� (<1�S�e���B � ��;C� !����S�����A������@� W�����&��� !�+��S&��;��:�����B � ��!<1��@� ��������� �������9���),>�:R+B -�P ��� ��/���^��'�,/+B I�)����W��@� ��;�/�� �C����;�����(���,>�:h�����U+B %��U���������p��/���^��@� >�=����'� I��'��4�&8����B � I�!5 X @����j���;��*�F I�� ��� � %���U+B � !�'��� >��@� >�=����'� ���'3�4�&8������)���?A������� ����f������ �&�&;*�� IC��� ��Z<3�2@���&� )��@� U�����&S�� !�+���&��;��:`����B � ��O���B � ��;C� ��1�B�(������+�&S U�� I*�����(�W�� � ���������(��<]�2@� I�� /�&S&N�3 ��4���&��"���8��������� �����������?,>�:A�����"+B ���B � ��;C� !�Z5À7� 4@i����B � ��V������@� T������� ���������;�� �*�'��E�S�%�� ����� ��� ��9�� !�e��V�� !YZ ![7\"� ��w�v r �3y q�<2�2@��� 4@e�S������,-�S&S������f��@� TYZ ![N\0� ��w�v r �3y q �l3 � ��3�)���) ����9�4������U��f ��3���� I@� !�h�� ��)���1�����('����h#�����S�+�&S ��/����#$�9 !�+�'�&����:��� I��,-����@���1��� �!#(��S&S�+�&� ��S�V !YH ![N\0�B5

5.1.1 Structureof eLePUSSpecificationsd �%��@� ��3 ��� ������������(���?���. !YZ ![7\"���=����'� I��'��� "���S#( ��A+B �&��!�0<��=�4��� �*,- ��9���N�F�(&�&��!�2�����U��@� OÜ��=:3,/+B��&���� ? ��(,-,- ������7����>��� 2��:3�B ��� �����`j�3��Á] I�� ��9��F�(�9�2�F���1#3������+���&��;��:95d �9�� ��9�!n Ý �GÞQß�à�á�á�á�Þ�â �/n�ã/äTå ä á�á�á Ü(å ä q v s u�v s�z ~ }4q � sI| w=�>� ��s��w�v riæ �Gç äFè à�á�á�á=ç äSé�ê �It�æ ä q v s1s�ë�s�ìjíHî v s y q �G~�w o�|4tHq�o�z Þ ß à�á�á�á�Þ âq v s � ��s �4v s�s�§�q v4~ q x�y sI| ~ o�å ä4ï�?����&��� !�+���&S�;�k: Ý �GÞQß�à�á�á�á�ÞBâ �>n ã äRå ä á�á�á Ü$å ä q v s u�v s�z ~ }�q � sI|w=��� ��s ��w�v rÄæ �Gç äPè à�á�á�á�ç äSé�ê �It?æ ä q v sRs�ëQs�ì-íZî v s y q �G~�w o�|�t/q�oBzÞ ß à�á�á!á�Þ â q v s � ��s �Iv s�s�§�q vI~ q x�y sI| ~ ofå ä ïDð � }4q�o x sV|�s�sIo � �3q �

602

Page 4: [ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - eLeLePUS - a language for specification

~ o � sIo � q�o�z_q u$uBy ~ }�q x�~Gy ~P�G� q v s`| u s�} ~ ¥�s�z ~ oiqh| ~ r ~Gy q v r-q�o�o]s v ïñ w�¨ sI§�s v tA| ~ oB}4s � ��s ~Fvj��w } ~ q v spz ~ �Os v sIo � t � ��s^§�q vI~ q x�y sI|^q�o�z� ��s ~Fv�v s y q �G~�w o�|=� ~ u |0rjq �>x sUz ~ �Os v sIo ��~ o x4w�� � � ��s)q�| u s�} � | ï�9����'� ���'3�� 0����A68��&S&S�+B���4���������� Ý �GÞ ß à�á!á�á=Þ â �8n9ò�ó�ô�õ�öIó=õ�ô(÷ã³öIø(ùPùPú�û�ø�ô�ú9ó=ü�ø�ý á�á�á �2@� I�� �ò�ó=ô�õ�ö4ó=õ�ô�÷K�����3 �C��� !�0���ã ä å ä ����öIø(ùPùPú�û�ø�ô�ú9ó=ü�ø�ýT�S�2�3 �C��� !�>��2ãOþ^å þ á�á�á ÜUå ä�ÿ å þ q v s u�v s�z ~ }4q � sI|w���� ��s ��w�v rmæ �Gç äPè à�á�á�á�ç ä�é�ê �It1æ ä q v sTs�ë�s�ìjíHî v s y q �G~�w o�|�tjq�o�zÞHß�à!á�á�á�Þ�â q v sUq yFy]� ��s �Iv s�s�§�q v4~ q x�y sI| ~ o%å äIï�?��@� ��U����B � I���U���2������� I���h����;�� �*�'�����&���J$ fº w o�|�s�� � sIoB}4sI|�t ð rj�u�y sIr>sIo � q �G~�w o�t2î�q�r uBy s�º w z$sIt���o w�¨ o íZ|�sI|jq�oBz��2s y q � s�z%ì1q � �� s v o�|j��� U�����"���B � ��;C� !�T'��������� !YZ ![N\0�`+B � !�'��� /��@� I:T��� )���9��3 ��� �����������#$ ���-�����'��� �����U !��������7+B 2���B � ��;C� !�/'��������0" ��(�� ����� �� I�?���.�F����,>�&]�� �&S������(����5

5.2 Variablesd �j������;�����(�)���O����@� ����;�������O��@� 8 �l3���=�������"#�����S�+�&� ���<(�����(,·YH �[7\"�]< �YH ![N\0�V����3����@� "�F��&�&S�!�2�����> !��� ��(������ ��O���.#(����S�+�&� ���n

Ç �O+��= � ��!nQ'��� !�)���"�������� !��� ��� ����� ��� ��9�4������(�j���B��@� ��=�4��� ����*�F����,>������(��������+3�� � ����.����"���9�� ���*��(+��= � I����:����,-�� ��B°1'��� ��P'�&���A������� ��������'� I@V���| ~ o�� y s ��w o�5Ç ÀN�3#��;���(��,- ��9�!n)'��� !�R���A�� ����� ��� ��9����@� %�3�(,>����^���2����Â�'3* ��� � /���8������� ����W��������S ��S����9���?°V'��� ��P'�&.���W������� I�����O��'� I@�� u�v=w���w��G�4u sI5

5.3 Relations �YH ![N\0�V����3����@� "�F��&�&S�!�2�����-�� �&S����S�����2���-YH �[7\"�]n

Ç �?+��=���4� ��������HnW�� ��F ����%���^��@� ` ����� � ����%���)�+��=���4� I���S���i�S��0� ����,>����%°-'��� ��P'�&Z�S�V������� I�����2��'� 4@A���| ~ o9� y s ��w o�5Ç ÀN�� !�����'�&S����S���Hn)�����3�S ���� �����@� j ��(���=���4���������@�������(,- /����&�&3���B���9�� ������&��.���]1 �&S����N���71�� ��N���� �&S����� ��K��� ������.���?+B ,>(�3 0#��S����+�&S 0���j��@� )��'������S�� 0�8����&S��°%'��� ��P'�&H�S�`������� ��������'� 4@A��)| �Gv q � s�� � 5Ç �?&��������;��@�,An_�� ��F I���A���Ep�� !¶9'� ��� � R�� �C����;�����(�����j�=�4��� �*,- ��9���%����D�F'��� ������(�e����#$�9 !������(���>°_'��� ��P'�&?�S�e������� ��������'� 4@A�� x���~Gy z$s v 5Ç �? � � ����N���B � ��;C� �����nQ�������� !��� ��Q��@� K��:3�B ��H����� � � ����� ��.���O�3�;�P*�F I�� ��9�?#�����S�+�&� ���°>'��� I�F'�&H���V������� ������2��'� I@V��0| ~ o�� y s ��w o�5Ç YH���=�!n� !��h+B j �¶�'���� !�`���V��@� ���s�} ��w�v ������=����'� I���0�S�^�0�&S����('���( ��°>'��� ��F'�&Q���V������� ������1��'� I@V�� ~F� s v q ��w�v 5Ç X �� � �nK'��� !�-���/�����3�S ���� 0)@��� ��4��� 4@9:-°-'��� I�F'�&]���V������� ��������'� 4@A��/} w r u3w | ~F� sI5Ç ���4��� (n��� ��F I���U���V��@� -#(�&S'� ������2���9�� ������&K#�����S�+�&� ��)���1���(+��= � ��1°-'��� ��P'�&Z�S��������� ������2��'� 4@A��0r>sIr>sIo ��w 5Ç ���4��� �*� I@�����( (n1�����3�S ���� ��0��9:A 4@�����( U�S�`��@� U�=�4��� /���8���(+��= � ��7#(������+�&� 2��'3�������"?���B � ��;C� !������,- ������� I��#(�&9°"'��� ��P'�&���A������� ��������'� I@V�� w$x |�s v §�s v 5Ç ²1�(&�&;*k+�� 4JBn`�������� !��� ��j�� �#$ I�����S���h+�� 4J^���^R�=:3�=�� �, ���� ���#��;���(��,- ����7�=�4��� ?��@���� �l3���=�� !�-+B ��P���� ?��@� ? Il� � �'������(�>�����V �#$ ��9�8°>'��� ��F'�&Q���V������� ������2��'� 4@A��0r-sIr>sIo ��w 5

Ç 68�('���&� >���� c �*� ��('���&� (n)�����3�S ���� j��@� -&� �#( �&K���2 ��('���&������� ���2�3 �*� ��('���&������9�7+B ����8 � ��>��@� O��������� �������9������.�������� ����°e'��� I�F'�&�����,>��9:e������� ������V��'� 4@b��pq x | �Gv q$} �"� q$} ��w�v4� tx��3~Fy z9s v t x�v4~ z!�9sIt8}4��q ~ o�� w�� � v sI| u3w o�| ~�x�~Gy ~P�G� 5Ç ÀNl����4� I��*k�=�4��� (n��&�&��!�2�%�(���@� ��������R����f�=�������S���h�����P����,>�*���S���e�+B��'��%h�=�4��� `������E��+3�� � ��>°f'��� I�F'�&1����������� ��������'� 4@A���� ��¨ s ~ ��� � t7r>sIr>sIo ��w 5Ç X �����(�( I�!nj�����3�S ���� ��UA !�'��� �*� �Á] � ����� �&S����S������@��S�h°W'��� ��F'�&�S��������� ������2��'� 4@A�� w(x |�s v §�s v 5Ç ÀK¶9'���#��&� ��� � (nR� ����%���^ ��(,-����4�������+B I���� � ��E��'�,- I����* !�&�&;:i ���'�,- ��4�+�&� `�� �&S������(����@������`���A�=:3�9�4� ����� !�&�&�:i �¶�'��;*�4�+�&� ? ��9�������� ��8&S��J$ 1 !��4�������&S�;�k:9<��S�9�� ����F� � O���8�P'��� ������(�%���S��*�����'3�� ���°>'��� I�F'�&Z���V������� ������1��'� I@V�� ~F� s v q ��w�v 5Ç d �9�� ����G� � �*� ���,-�������+�&S �n`����� ����� ��-��@� V���9�� ����F� � A ��(,-������;*+���&����k:%+B ����8 � ��V�k���j �&S����� ��1°j'��� ��P'�&Q����������� I�����2��'� 4@A��q$z$q u�� s v 5Ç c �&� ��$������(�HnQ�� ��F ����N���0�3 �&� ��$����S���-������ ����B�(������+��S&��;��:)°�'��� I*�F'�&Z���A������� ��������'� I@V�� � q$} ��w�v4� r>s � � w z�5Ç c :3���,-�� �*�+��S���������3n"�����3�� !��� ��0��@� >�3:3���,-�S U+������3�����V+B I*���� � ��T �&S����0����`�;���"�����=�4��9���S����������?°�'��� I�F'�&.���T������� ��������'� 4@A�� � q(} ��w�vI� r-s � � w z�5Ç 6���4�������&��;��:]n0�����3�S ���� ��0��@� U !��4�3�����&��;��: � ����»� ��O���2��W ��3*�����k:-°>'��� ��P'�&Z���A������� ��������'� I@V���| ~ o�� y s ��w o�5

d �A(���3�;���S���A���j��@� ��� 0�� ����� �&S������(����<] !YH ![N\0���&����-�� !�� �C��� ��1�F I�¦ �l3�S�=�������hYZ ![7\"�f�� �&�������(���-��'� I@_���nfz9sF¥No]s�z(� ~ of����i} v s��q �G~�w o�5)MO�!�� �#$ ��!<]��@� ��� )�� !�� IC����;�����(���"���� ��� ���#$ U��@� U�� �,>��9���� ���<�2�;��@A,-��������� �#��S����������5

6. ELEPUS VALID ATION AND APPLICA-BILITY !YZ ![7\"�A�S�O#(�&S�S����� !�`+9:A'����S���%��@� � �#(�&�'���������R ����;�� ����S � ,- ���*�����(�� !�A !���&��� ��I�1����A+9:V�����&;:3�S���-�;�?���%±O�(aD������� �������5 c '� "�����@� U����� � j ������=���4�������<H��@� ��� j���B � ��;C� !������(������� j�������3 ��� �����+B !����V��@� 0����B ��!5KµK:V�����&;:3�����j !YZ ![N\0�%���>±O�(a_������� �������<��;�1����F��'�������@���!n

Ç a����2��@� d �9�� ��9� ���,-�B�(�� ����!<3,-���� O��@���`��¯�Ã���.��@� "�����*�� ������]�� ��� 7 ���,-���� �@� �������#$ �&;:?���B � ��;C� ��"'�������� !YZ ![N\0�O �����*�=����'� �����5Ta�������@� -�� �,>��S�������V�P ��0<7 !YH ![N\0�T���/�+�&S -��� !��3��'��� ���@� �,>������0 4@���4� ��� I���S�=���� ���5)µ7:A �&� !���&�:T���B � ��;�P:�*�S���>�S�9�� ��9���?���8%&S����� /�B ��� � ��9�4��( U���K������� �������<] !YZ ![N\0��S�2�+�&� ?���U �&� !���&;:������=��������'�����@%+B ����8 � ��V����,-��&S��������� �������5a����� �l��,-��&� (<Z���R�� � I���S���^®�5��>% !��� /�S�0,>��� /�+B�('3�0��@� ���S,-��&S����;�k:�������@� 8�=����'� ���'��4�&9 ��(,-�B���� ��9���������?����3�� ��N����µK���S���( W������� �����������E��@� ��;�V���;Á] ��� ��� � ��V��� W �&� !����P���(,��@� ��;�/�� ����B � �����#$ %�S�9�� ��9����5Rµ8 �&��!�« !YZ ![N\0�h���B � ��;C� !������(����Z��@� 1�S�9�� ��9�8��������8���H+B����@>��@� ��� 1������� ������������3�� ��� ��9�� !�]nÈ�ÌQÑ�Û�Í�Ê�Ô9Õ Ý�1ú�ô��3÷!ó à� �� ú���ó�÷�÷���� n� ýBó=÷�ô��ú�ö�÷��höIø�����ú9ó=ü�û�ùP÷ � 1ú�ô��3÷!ó à� �� ú���ó=÷�÷��

� Ô�ÒFÌ! �ÊBÕ Ý û!ò�ó�ô�ú�öIó�ü�ø�ýHò à � ���BùF÷"�A÷!ýBó=ú9ó=ü�ø�ýHò��$# n% ç ý]ú&�Vü�ö��2ûIü�ý � ü�ý'� �( û�ò�ó=ô�ú3ö4ó=ü�ø�ý à � �)�BùP÷��V÷!ý]ó�ú9ó=ü�ø�ýH�+*% ÷!ö�ø�õ,�BùF÷ �( û!ò�ó=ô�ú�öIó=ü�ø�ý à � �)��ùF÷"�A÷!ýBó=ú9ó=ü�ø�ýQ�

603

Page 5: [ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - eLeLePUS - a language for specification

MO I�� (<0M ����b6Å�������� !��� R�� ����`���U@��� ��4��� I@9:�����e �&S����#�����S�+�&S ��N�� ����B � �����#$ �&;:95 d �9�� ����G� � �*� ��(,-�������+�&� (< c :3���,-�S I*+������������?���� c � ��('���&� ���� 8 !YZ ![N\0�0���� !�3�S ���� ��Q�2@��� I@)����*���� !��� 2�S�9�� ����F� � 2 ���,-������S+���&S�;�k:9<(���������(�j���Z�3:3���,-�� �+�������*�����>����`�� � ��('���&������>���.�k���> ��9���;���S ��1�� ����B � �����#$ �&;:95 X @�'���< !YZ ![7\"�_���B � ���C� !����������> �&� !���&;:_ �l3���� ����j��@� V�� �,>��9���� !�&���;Á] ��� ��� � ��2+B ��k�� � ��V��@� "���9�� ��9������.��@� ��� O�k���j������� �������5Ç 68�(,-��&� ��� 0���B � ��;C� �������(���?���N�����&��� !�+��S&��;��:V ��(,-�B���� ��9�� 4@��� �#( !�A�$���Ã��'� � � ����1�4��� �����V/��'�+��=�4��9���S�&Z���B � ��;C� !�*�����(�W���K I@���4� ��� ������=���� ��"���0� 4@��� �#$ ��`�P���"��@� )�� �,>����������­(­�·���B��@� ������� �������5 X @����8���7�������&�:/��'� ��@� ��&� ���@����4"����� � ���������(�/�S�^�2@��� I@f������� ������U��� V�����&S�� !�+�&� �����R,>��9:�� !¶9'��;�� W����,>��������B � ���C� T#$�9 !�+�'�&S���:95 a����� �l��,-��&� `�S���@� d �� I�4������Q������� ����H<!��@� 8� ���'��&$������ ����Q����������&��S ��+���&��;��: !���������+B /���B � ���C� !�`�F'�&�&;:W'���&S ����0�� ��Æ�� �&S����S�����0���B � ���C� �F�����@� ?��'����B���� "���Q !��3��'�����������@� O�����9 � �����������9�� ������� I�4�*�����(�R���) ��(,-����&�������(�^��� -�����������3'� � ��Z5 X @� j !YZ ![7\"�T#(��* !�+�'�&S���:j����� ��������� !�j����+B ?�� ��� I���S O����>����,-��&S �5.MO�!�* �#$ I�!<��� ��E ��(���=����'� ����������� �&S����������� !���+B ?(���� !�]<���������2@� ��)�� !¶9'����� ��Z<���Q&S�����O��Q��@� �:O�P�(&�&����p��@� K,>���@� �,>����S ��&,-���� �&Z���N !YH �[7\"�]5Ç ±?�� !��� ��2��'� � � ���� � �+B��'��2©�¯,�j�N����� 4@��� �#$ !�>����68�(&�&S�+B��*�4����������1+B � !�'��� 0 !YH �[7\"�% !�����'��� ��?�&�,-�(�=�1�&�&H������@� "����*�� ����� �&S����S�����2+B ��k�� � ��>��@� ?������'����>#�����S�+�&S �����@������ O��@� ��������� �������9���"���K��@� /������� ����Z5 X @����"��'� � � ����0���T���B � ��;C� !�*�����(�A���NU�8 �&�&Q ��=�4�+�&�����@� !�A������� ����� !��4�&S��� � ±O�$aN��'�������� !YZ ![7\"�]<�#(�&�������� ��N��@� Il��3�� �������#$ ��� ����7����/�����&��S ��+���&��;��:���N �YH ![N\0�%��1/���B � ��;C� !������(�`&S����('���� (5

7. CONCLUSIONS AND FUTURE WORKd �E��@����>����B ��!<2 !YZ ![7\"�]<8��e ���@���� � �,- ����j���)YH �[7\"�D�����3 �*�� I���S+B ��Z5�1�2 !��`+B 0�� � ��A�P���(,«��@� 0���� �#����('��1�� � ������(�H<� !YH ![N\0����� ��� !��� ��2��@� O ���,-���� �@� �������#$ ��� ��������.YZ ![7\"�]<���@� I�� �+9:9<�� 4@��� �#9*�����U��@� 1�F����,>�&]���B � ��;C� �������(����������@� ��1����B � ��������������� �������57�1�/�� ���'�&;�"���7�����&;:������- !YH ![N\0�>���%±O�$aD������� �������<��;�1���1�F��'������@���N !YZ ![N\0�)���B � ��;C� !����S���>���9 ��N �&���,-������� �,U+����('����k:95�a����7 �l�*�,-��&� (<�������@� "�� ������(�3*�������� I�����,>���&������j&����=�)�;�(���Q@���Vj�3�S�� �'��=*�������-�+B��'��N��@� � Il�� ��N,- !��������?������@� ~ o � sIo � ������@� 268��,-�B�(���;�� ������� ���� � 68�(,-�B�(�� 0��+3�� � ����?�S�9��� Í�Ô�Ê�Ê �=����'� ���'3�� �����/�� ��3�� ��� ��9��������*��2@���&� j@��� ��4��� I@��S ��4�U� ����5 X @����",- !��������>���0���� � ��S�� �&�:T �&S ����;�]��@� 2���9�� ��9�7���Z ��(,-�B�����;�� ?������� ����j���K���B � ��;C� !�j'��������� !YH �[7\"�]5����,-�S&S���&�:9<� !YH ![N\0�W���B � ��;C� !������(�f,>�J( ������) !��=:h���` �l3��&S�� ��;��&;:�3�;Á] ��� ��9���S��� V��@� A�����&��� !�+���&S�;�k:D���O�� �&S��� !�_������� �������<���'� I@D���<�+��=���4� ��O�F� �������:9<B�G� I������:`,- ���@����A����A������������:3�B (5 d �9�� ��� ��=�� !��� �(�� I������� 1'����� !�/���� ��(�9�4� ����'���@������K�P���8���B � ��;C� ��K���]��@� ��� ?���=*��'� ���<$�2@��S 4@-��� 1�����7���� ��� ��9�� !�/���/��@����N����B ��!<9�3'� ����O��@� ����� � &���,-�;�4������(����5a�'���'��� ��8����J��� �&S��� !�/���0 �YH ![N\0�U����#$��&S#( ���n.(�N�3����#��S�������0O���9�(&��'����B�����!<Q�2@��� 4@h !��h ���@���� � >6��O��Àe���9�(&���<.+9:T���� ������B���4����S����3������ �����&� ��V���U !YH ![N\0�B<+B�- ��� !������(�����)���9�(&��`����e�('��S�3 �&��S�� ���P���%�� ��� ��� � A���"������� I������<� !�/�'��(,- ��9�������W������� �����*�,-���������W���*�3���$� I@� ��j+9:^ !YZ ![N\0�]<�����_���� I�� !������(�_���O`������� ����^�� ��B�(���;*������:9<��2@��� 4@f ��('�&S�f� ��j��UA�����$�����»� !�f�=������ �*�@��('��� ����1�� ��������������� �������5W�?������@� I�U���9�� ��� ��=�������R��� !`���)���`��@� ����� ����� !�&S&;:f#��&��;*����� 0����> ��=�4�+�&��S��@%��@� ?'����S¶9'� ��� ��������� !YZ ![N\0�-���B � ��;C� !������(����5À.Á]����������� 7'����3 �����:O�(��,>��9:?���3��@� ��� N�P���������Q����0��@� ��� K�&��(����2�;��@j��@� 8������Jj������ ��P���K !YH ![N\0�0�2��&S&�@� �&��j���j�=���� !�,-&��S�������O��@� C� �&S�V����������� I�����1����V��S�V���A�;����2�S�� ��3�S���� �,-�S��������(�Z5

8. REFERENCES�;�I�)�?,-������M)5�ÀK�3 ��H5�±O��#3�����.- X @� 0/O'��&����k:]¸�/ªO�,- (51 w���v o�q y�w=�322xF� s�} ��2�vI~ sIo � s�z/ì v�w � v q�r/r ~ o���t�� � sI| �} w�y � rUo�tNî ð54 îAì ��x�y ~ }�q �G~�w o�|�<76('��� j��©(©(��5

� �!�)�?,-������M)5�ÀK�3 ��H<86(�(�� ���@T±O��&G<89K���4�,«MO�;����@��P �&S�Z<������?,-�;�4�,:9K �@�'�����G5��V�����;�F�1���T�O+��= � ��O�?���� ��9�� !��1�� 4@��;�� � ���'3�� (5]î ��x r ~F�G� s�z<; ð�=�=>=@? v q�o�|Iq$} �G~�w o�| w oî w=�I�G¨ q v s = o�� ~ oBs4s v4~ o9� ï!A §�q ~Fy q x�y s)q � ;� �G�;u ; B,B ¨7¨N¨ ï }�|Iz ï ��� ï |�sCB8D3s�z9sIoB y s u�� |�B�<N�!©�©(©35� ­��)�?,-������M)5�ÀK�3 ��H<86(�(�� ���@T±O��&G<89K���4�,«MO�;����@��P �&S�Z<������?,-�;�4�,:9K �@�'�����G5 X �!���4���1-�A���@� �,>����S ��&]�F�('�����������(��F��� c ����S���T[.����� �������5 ? s�}4�9o ~ }�q y �1s u3w�v4��EFF,F �CG,GIH�t¹ s u q v4� r>sIo �2w=� ð o ��w�v r-q �G~�w o ? s�}4��o w(y�w � � tUí u(u |Iq y qíHo ~ §�s v | ~F�G� <Q��©(©�©35� ®��)�?,-������M)5�ÀK�3 ��H<J98���4�,«M?������@3�F �&S�]<�����V�1,-�;�4�,

98 �@�'�����G5�[.�� � ����� �ªO���4������(�V�P��� c ������(�A[.����� �������5� �G�;u ; B,B ¨7¨N¨ ï rjq � � ï � q � ï q(} ï ~Gy B8D3s�z9sIoB x�~�x�y ~�w � v q u � � ï � � r y <�!©(©��35� ¬!�)�?�9��@�����:%YH�'��� ��1����A�9��'������K0 ����!5�[.�� � ����� MLO����'��&���B � ��;C� !������(�`��� c ������(�`[.����� �������5Bì v=w }�| ïN= º 2O2 ì £ FP <�!©(©��35� ���)À7&�&� ��`�1�( ���+B�-����A�1�����-68��������&���5BMO�!�e���-[.�� ��� ���#( "��@� +B ��� �C������� c ����S���`[.����� I������5�ì v=w }Is�s�z ~ o9��| w=�

2O2 ì�î�ë A £ FP <H��©(©(��5� �!�)ÀN���� 4@T±"�,-,>�<�²1�� I@���4�%MO �&�,A<3²O�&���@Q6��(@������(�Z<B����

6(�(@��QLO&��������S�� ���5 c ������(�V[.����� �������n8ÀN&� �,- ��9�������²? �'����+�&S �O+3�� � ��O�?���� ��9�� !�A�����P�k���� (5 A z$z ~ | w o��5RAsI| y s � <H�!©(©(¬�5� ���)a��4���J�µK'��� 4@�,>����H<3²1 ��(���� 0�V �'����S I�!<�M"����²1�(@� ����� ����!<[� ��� ��O�3��,-,- ���&S(�Z<3����`�V�� 4@�� �&.�9�4�&G5��b��:3�=�� �, ���[.����� �������5 1 w �9oSR ~Gy s �UT î w o�|�<Q��©(©��35� ©���MU5��R5 68V���#����� ��T����%²)5WKj5��3'���������5 c ���468�-���B � ��;C� !������(�&������'���� (nK,>������S��� 0���7� I���S�����1����V�(+��= � �����5]ì v�w }4s�s�z ~ o���|w=�"� ��s E,E�� � ð o � s v oBq �G~�w oBq y º w o � s v sIoB}4s w o ¹ ~ | �GvI~Gx��3� s�zº w r u����G~ o9�>î � | � sIr/|�t u$u ï E HWX9� EY<E t ð�=�=>= º w r u���� s vî w } ~ s �G� ì v sI|�|�<Q�!©�©3��5�;�!¯���ªO��&���K0&S���&S'����]<76$����!K0���S�=������ ��H<�����A�V�� I@�� �& d 5�3 4@������»�+�� 4@H5�a�����,>�& c ������(�T68�����=���4��S�9����5Bì v=w }Is�s�z ~ o9��|w=�32O2 ì�î�ë A £ F<Z <H��©(©(��5�;�(�I�U�O��*�&��S�� c ���� �'������S���W±?���('��H5��A���&��S���>YH���=�2�F���"�3�S�� �'��������(�������@� "��@� �����:����.������� ������2���A�� ��� ��4�&G5� �G�;u ; B,B�� ~GyFy | ~ z9s ï o]s � B u q �G� s v o�|�B�ë ~ | � ï � � r y Ü u q �G� s v o�|I�z ~ |I} � |4| ~�w o�<�!©(©�©35�;���!��²?�� 4@���4�%MO �&�,A< d ��T�R5�MO�(&�&S����Z<����� c �����:���±"������(��(��@9:��:]5�68�(�9���4� �����n8�3�B � ��;��:������j68��,-�B�(���;�����(���2����O+3�� � ��O�?���� ��9�� !�A�9:��=�� �,-��5 2�2 ìî9ë A £ F G�tNî ð54 ì7ë A�[[ w��G~ }IsI|�t0� w(y ï X Y [ w ï E G�<Z�!©�©(¯�5�;�!­��U����'�����\K0 ��9�!<��?&��HMO�,-�� (<W6(��@��AM?���2�� �<Ba��4��� ��>68��#$ �&S&��3<����%²?�� 4@���4�A�V�;�� I@� �&�&G5]�3 �,>��9���� �����@�����'��(@A[7�� ���'3�� ���5

= º 2O2 ì £ F<]/¨Kw�v ��|=� wIu �1s�q$z9s v t�ë [ º.î�t7î u�v4~ o��9s v ��s vIy q!��<�!©(©(��5�;��®�� X �(,-,-�Z�V��J�J$�(�� ��H5�a�����,>�&���»������ c ����S���`[.����� I������5ì v=w }Is�s�z ~ o9��| w=� ? ��s ð o � s v o�q �G~�w o�q y º w o � s v sIo�}4s w oî w=�I�G¨ q v s = o�� ~ oBs4s v4~ o9��t ð º.î = £ FP t ð�=�=>= º w r u���� s vî w } ~ s �G� ì v sI|�| ï u$u ï EEY � E X�H�<���©(©��35

604