rkmlp - software technologyarie//papers/cwi-coll96.pdf · tk» c £ p e nw¼¹p h r x ewg h3j rkm p...

31

Upload: hanhu

Post on 02-Feb-2018

227 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�&('*),+.- /1032 4 2651'879/:+<;�'=5

/85?> +A@?2

B ;DCEC�265*5F;DGIH B 2FC�+J>K'1- 5

L MON�P QSR9T U PWV:MYXZP[T\^] _

`

Page 2: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�4 265?'*79/a+b;�'=5

c dfeSgih3j RkMlP mnP[T e QoR h N e T1pq r P sIt r h RutvR[NwTxX h y,z|{}{#~���� �9~�{����

c � ��� R�t9P9�IT�P j VxX�PWM � PW� R:T � X�� � P���PuR�X�P � X�V:�<�� � N�PWMYX��?��R j P � � PAX�N�tKTv��R9Tu��N�P[T h ��M e tKM�R9� � NwTut� P h r e6� X�� �����

c � PxtvRu�b� X��xX h P[� pdfeSgih3j RkMlP X��"X h P[� j r N�� r M PAX�N�X h X � r R:Tut¡P �

c ¢¤£ M e ��P�X¥X eWg M PW�oRWNwMONwTut R9T � Nw� �kM e Q¡NwT�t � RkM t9PX eSgih3j R�M P X¦�"X h PW� X h¥e t¡P h h r PW� NwT h¥e R t eFe6�� e T � N h N e T ��§

¨ �����©��$��«ª���� ��� ¬

Page 3: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�­¯® @v° 51'*+ +A@803'v- ;�+ /*CEC=/k- /o°|±|²

c ³ T e M,� e VxX NET�QuPAX h � P[T h X�´

c µ eF� N�sI�"R h N e T�X � r P�R:�[PWM h r R:T M PAX h R�M h NwTut g M e �X¤�SM�R h � r ´

c dfeSgih3j RkMlP ¶ zky3·�� p�¸¹V�X h � N�º �SV ��h h¥e � eF� N g �1´

c ] r PWM P �9e j P � N�Q�P � V:MONwTut h r P M P�� e TxX h M3V��J�h N e Tk»

c £ P e � � P � Nw¼¹P h r P X eWg�h3j RkM P h r P�� ¼kT e�j ´

c ½ mnPWVxX�P N�X h r P ¾[P�X h gOe M3� eSg M PWVxX�P�¿ �

¨ �����©��$��«ª���� ��� À

Page 4: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�Á  /8H Ã*C�2 4 2651'879/a+b;�'=51Ä

c \ � Å � � �ÇÆ¡È h¥e \ � Å � � �}ÉaÊ8´

c \ � Å � � h¥e � � � \ � Å � � �¦Ë¡Æ ½ Ë[É?¿b´

c _ µ d h¥e M P � R h N e ToR � U Å µ d ´

c ³�Ì�h PWTxX�N e T h¥e ³ V:M e X�NwT�t � P �WV9M3M PWTu�b�?´

c \ ½ÇÍ Í ¿ h¥e Î R�QSR �

c Ï P�RkM ÐvÑ9Ñ:Ñ \ e M3M P�� h N e T�X�´

¨ �����©��$��«ª���� ��� Ò

Page 5: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

How

Do W

e N

avigate our Way to

the Year 2000?

Time

Paradise

Parad

ise

Fou

nded in

the year2

00

0

US

DO

D

1

2

3

4

5

6

Aw

areness

Cu

ltureL

egacy

System

s

Planning

$$$

Reso

urces

InventoryImpact

Tim

e

ChangeTest

Co

mp

liance

Ó

Page 6: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�Ô Õ '=G8Ö*C�2 Õ ;�×f;�+ Ø 03'ÙÖ8C�26H

- ;Ú+�@ / Û 0Ü;DÃ*C�2 Ý 'ÞH H / &ß'=CwGa+b;�'=5

c à RkM h T"P[M à M e V:� PAX h Nw� R h P�X�p�pá â8ã � ã Ñ �[P[M P Ì P��WV h R:¾ � P �6� \ ´

ã Ñ X h R�ä ��P�RkMYX �[PWM µ �6� \á U R h R MlP g P[M PWTu��P �[PWM �6� \ M�R h N e eWg ã p�ÊaÑ �

c µ _ q m ³ P�X h NE� R h P:pá ãoå Ñ æ Ê å Ñvç eSg h r P � e6� P R�äèPx� h P �á â Ñ å Æ:Ê æ â É å Ê¡Ð �[PWM �6� \

É h¥e Æ ã X h R�ä ��P�RkMéX �[PWM µ �K� \

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ ò

Page 7: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�Ø 'I0O+¹)#'ÙC�;�' ó,5a7¡265a+ô'f0õ°

c \ e T�X�N � PWM R ö e M h V:T"P ÊaÑ:Ñ � e � �kR:T��|p÷ ½ ã Ñ[ø�¿ � NwT�PAX eSg � e6� P9�÷ ½ ã Ñoùk¿ ��M e tKM�R9� X�� ÷ ½ ã Ñoùk¿ � Nw¾�M�RkMúN�PAX �

c gúe M ã Ñvç eSg P Ì P��WV h R:¾ � PAX�� h r P X e V9M���P � eF� P�"R:T9T eSh ¾[P N � PWT h N�s8P �f�

c ã Ñvç eSgFh r P � RWNwT h R[NwT"P � X e V9M���P�X R�M P T eSh VxXZP �I�c ã Ê1ç eWg � e �J�:¾ eFe ¼<X T eSh V�X�P �f�c ã Ñvç � e � �WN � P � ã Ñ ��P�RkMéX��¡Ñ � Ê1ç ÐvÑ ��P�RkMéX Rut e��

c � Nw¾kM�R�M��oû[� e � �[N � P[MèQ�P[MéX�N e TxX R:T � e � h N e TxX¹»

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ ü

Page 8: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�Û @?2 4 2651'879/a+b;�'=5 Ø 0326CwG|>K2

mnP�R � N�ý�P M,V:T�� h NE� P PWT�Q[NwM e T9� PWT h h r R h �"R:T ¾[P M P��� e T�X h M3V�� h P �f� L Q e N � p

c R9ToR � �xX�N�X eSg eK�þ� � eF� V � PAX��|�¡N�P �þ� NwTut PWM3M e T�P e V�X� r e N«��PAX��(� � R:T�X�� �����

c � V ��h Nw� � P e M T e R:TkR � �xX�N�X�´

c � e T��ÿN�� h ¾[P h3j P�PWT ¢ T e M3� R � � RWNET h P[TkR:T���P §R9T � R:V h¥e � R h N�� M PWT e QSR h N e T � r R9Tut¡P�X �

\ e T�X�N�X h PWT h � P<QuP ��e �:� PWT h � h PAX h NwTutI� R9T � ��M e6� Vu� �h N e T PWT�Q[NwM e T9� PWT h��

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ�

Page 9: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%���� Õ ;�×f;�+ � 2v/10 ������� Á  Ã*'fÄ�G8032aÄ

c L MON h r � P h N��9p R �:� N h N e TkûoX�V9¾ h M�R�� h N e T1´

c mnP � R h N e TkR � p � e � �oR�MON�X e TkûoX e M h NwTut

c öÿN Ì P � ��PWT h V:M�� � e T�X h R:T h X ½ ã Ë:Ñ:Ña¿

c Ñ9Ñ e M Ë9Ë RxX P Ì ��P[� h N e T � e6� P

c N ��� PxtvR � � P[M t9P eSg Ðk� � N�t N h R9T � ÈS� � N«t|N h ��PuR�MYX �

c ÐaÑ:Ñ:Ñ N�X R � PuR9� ��P�RkM

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ�

Page 10: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�Ý 'Þ>K2 Á  +�0 /�+ Ä

c � � ���������� ����� ����� ���! ��� "$#�%���& ����� ���! ��� ������' ����� ���!

c �)( *+��'-, � . /�0 ��%�� ��'1,�� . /�0-2#�' *3��'-, � 4 /�/ ��%�� ��'-,�� 4 /�/-2

�)( ��'1,$� 4 ��'1,��"$#65�� ��'1, � �7# #98����1:��-,6������'

��8-:��"$#65�� ��'1,�� �7# #98����1:��-,6������'

��8-:���)( ��'1,$� 4 ��'1,��

"$#65�� ��'1,�� �7# #98����1:��-,6������'��8-:��

"$#65�� ��'1, � �7# #98����1:��-,6������'

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ `<;

Page 11: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�= 2a/8à � 2v/103Ä

c >�?�@ A�B�C6DE*GFH2 I JLK)M�K�N�KPO$A�B�*+F�Q+R�2 S* TUJLK)M�K�N�KPO$A�B*GF�QV�W���12 X J KYMLK�N�KZO A�B�*GF[QGR\���12 2

c ���)5H�]��� ������' ^�� R _$�]5H�Y%�_ ` '���"��L�)%�����' 'a �)( 'bI��

���c:���8���� de8-B�C6D F7B�CcfaTgdh ��%��1,b�Y(

c �)( 'bI�� Ci@bJ ������' %7#9� I �������"1#�5�� ��� �-# (���^1,6�����-:

��%��1,b�Y(

c �)( ������' I dP���Hd #�' dZ��/jd"1#�5�� k�/�/ l7m ^�%bn���`�'����

��8-:��"1#�5�� k�/�0 l7m ^�%bn���`�'����

��%��1,b�Y(

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ `Ü`

Page 12: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�ó3H Ã|/�+ Ô 5?/8C�°¡Ä�;�Ä

c U P h P�� h ¢ � eSh PWT h N�R ��� � R�äèP�� h P �[§ g M�Rut6� PWT h X �

c _ Tu� e M3MlPx� h M PAX�V � h X�pá ö6R � X�P T"PxtvR h N�QuP:p R9ToR � �xX�N�X � N�X¥X�P � R9T NwT��

g Px� h N e T RkMlPuRv´á ö6R � X�P � e X�N h N�Q�P:p R:TkR � �xX�N�X � R�M3¼¹P � XôR g P g M�Rutu�

� PWT h RxX NwT g P�� h P �f�

c L ToR � �xX�N�X X��WPx� h M3V:� pm e Vut r R:T � g RxX h ½ T e g R � X�P T"PxtvR h N�QuPAXô¿ o� � P�Q�P[M R:T � X ��e�j ½ M P � Vu��P g R � X�P � e X�N h N�QuPAXô¿ �

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ `ú¬

Page 13: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�ó3H Ã|/�+ Ô 5?/8C«°¡ÄA;�Ä ­ óúó,²

c d P�RkM � r X�P�P � X�pá p R�MON�R:¾ � P TkR:� P�X���� e T�X h R:T h Xá q Nw� P X¦�"X h PW� �"R ��� X�� Î \ � X¤�SMONw� h Xá U R h R � N�� h N e TkRkMúN�PAX�� � R h R s � P�X �

c d P�P � ��M e �kRutvR h N e T1pá µ e Q�P�X����"R ��� X�� _ û � � �����

c L h}h Ru� r � e T�s � PWTu��P � P�Q�P �fh¥e X�P�P � X û �kM e �oR<�tvR h N e T M3V � PAX �

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ ` À

Page 14: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�� 2v/10 �����[� Ý 'f0}032q�+b;�'=51Ä

c ] N � PWT h r P � R h R h¥e È � N�t N h X �c ã Ñ:Ñ �AP�R�M M�R9Tut9P:p ½ X � N � NwT�t1¿ j NwT �¡exj

ÐaÑ h r ��PWT h V9M��|p r s t s Ë:ËÐ ã X h ��PWT h V:M��|p Ñ s t s r

c u P Ì R � P���NE� R � ¾ � h P PWTu� e6� NwTutWX�p����� �v*w�-2 p Ë:Ë x ã Ë:Ë:Ë*� Ë¡L x ÐvÑ:Ñ9Ñ8� ����� � Ë*öx ÐaÑ:Ñ¡ÊI� L Ñ x ÐaÑ:Ñzy8� ���������� {!*w�-2 p | Ë:Ë}| x ã Ë:Ë9Ë8� | ËvR~| x ÐvÑ9Ñ:Ñ8� ����� �| ËWý�|�x ÐaÑ¡ÐaÊ8� �����

c d6j N h � r g M e � Ï Ï µ µ U U h¥e \ Ï Ï U U U �

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ ` Ò

Page 15: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�4 2z� 512�� �[�����

c mnP�RxX e T[NwTut d �"X h P[� X�� £ R ��e L ��h¥e � d6h R9T gOe M �X��WNwT�� e ä ½ ã Ë¡É:Ê1¿b��X h R�ä eSg � � ÊI´

c Å VWN ��� R ���S��{��7� � z��z�7� p� e6� V � P�X�� � R h R:¾kRxX�PAX��ÿ¸ e ¾xX�� NET h P[M g Ru��PAX�� R9T �h r PoNwM � R h R � e�j �c L T:T eoh R h P � R h R P � PW� PWT h X j N h r {��z�[�¹� p

á ��P�RkMéX����KVoR�M h PWMYX��(� e T h r X�� � R �"X�´á L ¾xX eK� V h P Q"X � NwT h PWM�QSR � ´á m R9Tut¡Pá mnP � R h P � P � PW� PWT h X ½ M P�� e M � X��=R � N�R�X�PAXô¿b´

c � XZP X � N«��NwTut h¥e MlP � Vu��P ��� ����� �Iz"�<~�{#~������

ê%ëÚë ����ªì���� ����í�î« ì��ðï�ñÚñ«ñ ` Ó

Page 16: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

������������ ��� ����������� ��� �������� ������ ��!"�# �� ��$����%�& C�;�9;D5?× Ý � � � =

�W� �e�g��g� �e V¡�¢ £6¤w¥ ¦g¦-��g� ¡�§g¨ £6¤w¥ ¦g¦-�

�W� �e�g��g� £g¡�¢ª©Z«V¬w£g e¢)¬g­<¢V®g �¢ £6¤w¥ ¦g¦-��g� £g¡�¢ª©Z«V¬¯¥ª­±°ª§V© £6¤w¥ ¦g¦-�

�W� �e�g��W� ©� e²g£ £6¤w¥ ¦g¦-�£9���²)­³¨g  �g g¡�¢ ©]­ ©e �²V£���e�g�²)­³¨g  ©e �²V£ ©]­ ¡e§e¨��

£P´-�²)­³¨g  £V¡¯¢ª©Z«V¬³£e e¢)¬g­w¢g®g �¢ ©]­ ©e �²V£���e�g�²)­³¨g  ©e �²V£ ©]­ £V¡¯¢ª©]¬¯¥ª­µ°Z§V© �

ö e*����e�j NwTut ²Y­³¨e  X��^N�X £g¡�¢ª©P¬�¥V­±°Z§g© R � R h P QSR�MON�R:¾ � P�»

ê%ëÚë·¶¹¸ ª»º½¼ ¸ ¾À¿ í�îÂÁ»ºÄÃðï�ñÚñ«ñ` ò

Page 17: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

Å ¾ÇÆ ¼ÉÈʺÄÃÉÁµËÌÁ ¿Í¾·Î º½¼ ¸ ¾À¿ Ï�¸¹¶¹¶ Á ¿½¿½¸ÑÐÍÒ1Ï Á ¶ ¼ÉÓ ¾ È ¿

Ô GÕÔ×Ö=H ØÕÔ�Ù· Ý ÖÛÚ�Ü Ý ÖÛÚEÙÀ�ÞhØÕÔ�ÙßÖáà

â �äãWå æ�ç$å è éÍêzåjë�ì�æ�ç$å�ìZêqí�æYå íÕîÕîLïñðqí òóç

â ôõðqï³ïñå-ò�æ öE÷øôÞæ�ùzïñå�ã úYïñå7êzå�ûÛëjéüæ×éÄð�ë-ãcý

â ôõðqï³ïñå-ò�æ ãZæ�í\æYåjþ åjë\æ]ãú�ò\ð}þ îHíLï<éÿãið}ë ���������áí êÕêé æ×éÍð�ë ����� ��� ý��

â � íLï ë í �hð�ù\æ ãiòjïñåbåjë þ íÕî7ã ízë ê ��ô � ã6òóï<é î\æ]ã��

â ��� îHízë ê ãPæYð~ïñå7ê êqí�æ�í ��í-ãiå�ã� � í�æWòjç �-ã ð�ë�ì¯æ�ç1å�ì���� ò\ð}ë � åjï ã�éÄð�ë"!

#%ëÚë�$&%&')(+*,% -/. í1032 (547698:838 ;=<

Page 18: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.O P QSRUT à�V"W!àYX[Z]\_^]`bacaba

â ö�åjï<é æ�ù-ã d�ðfe+æ³è íLïñå�� g í7ãYãcí òóçÕù7ãiå�æªæ]ã�� ãZæ�í�ï æYå7êh� ����EãZæ�í�i ð[e j kl�����

â m �Õîhå\ã é ë ízëHí�n)�-ã�éÿãpo� q ïñêzåjïñå-ê ãiåpr�ù1åhë$òbå ð[e sutf�]vw�yxw�{z ��| }p�� � �\æYå îhðhã�é æ×éÍð�ë ð[i ãWå�æ úVí n½é½í-ãiå�ãcý��� g íÕëÕù�í n é�ëjé æ×éÀí�n ãiåbå7êhã�� íÕù�æYð}þ í\æ×éÍò î�ïñð�îHí�ì

~ í\æ×éÄð}ë ú������ �pr�ùjé��Y! ï���nÍí �×éÄð�ëHý�!

#%ëÚë�$&%&')(+*,% -/. í1032 (547698:838;=�

Page 19: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.O P QSRUT � V"W � X[Z]\_^]`bacaba ��� R�� Q����

� ôõðqï³ï��-ò����Äð}ë ï ù n���� e<ð~ï������  /¡w¢��9�w£l�~ê~í ��í ê������¤�¥�Íð�ë¦�ízë ê î�ïñðvò��7ê�ùzï�� ê����§�¨���Äð�ë¦�

� �äí$òf© ï ù�n��wo� ÷±ë�e±ðqï þ í nw��� î nÍízëHí ���Äð�ë¦�����óíÕþ î n������� ª ð~ï þ í�n+�¤«-í ���Äð}ë ú­¬ �¯®�°S���±� ²´³��7ò\ð�µ¯¶Y�·���Íð{µh�cý��� ôõðl³¸³��7ò���µ�� �¹� ²´³ ðvðfeº!

� » ù �Yð}þ ® ���Íò ~ �fµ¼�f³1®����Íð{µ ð[e �¹� �±� ò�®h�½� ¾ ¶l® ��®�´®h�u� ��³1®�µh�S®$ò����Äð{µh�p!

#%ëÚë�$&%&')(+*,% -/. í1032 (547698:838 ;­¿

Page 20: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.� À Á Â Ã O Ä

� ÷ � g ÅÆ����©¼�f³¸nF® µ¼¶��poô q g þ ð�µ Ç �·��©$ð�𦳸µ È »Æ�¹� db�f³����Âò ���

� ôõð}þ þ ð{µ ¶l® �¹� ³ñð}ù����ɵ¼� ¶§�Ê�¼��n ð{²��h¶ �Yð ³��f² nF® ò �®�n�nl���§�¨�±���ɵ ~ ¶¦® �¹� ³ ð}ù ���ɵ�� �p!

� Ë ù�µh� ð{µ ôá÷µô d�� g Ì d��Þô q � q �Í� ö �]¾{��

� däù�² ²hðl³�� e±ð¦³ òbð�ù µ ��³���Î_¶§��²f��µ¼¶��fµ � ¶¦®��¹� ��o¬ �p�f°Ï��µ¼¶ ¶§��û�µ��·���Äð�µh� � úwû{�iò¼®�nÂý òfn ð§�¥�е ~ ¶l® �¹������Ê©1ð�² ¶¦® �¹�����Ñ©1ð�n+�F¶¦®����

� ÷Òd q �UÇ�db» ����÷Ód��Ôd]Õ dUÈ »�m � � !�!�! e<ðl³ þ ® �º�

#%ëÚë�$&%&')(+*,% -/. í1032 (547698:838 ÖØ×

Page 21: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.Ù V"Z Ú ZwÛ�ZlW¦\�X¦V Ü Zy\¸ÛhÝ�Z¦X Q�Þ/ß Z

� �"���§�F༮�n�® µ´® ná���¥�¤� � �¸�w²�� à[©¼�pàf°¼�ɵ ~ � ¶l® ��® ��âh¬®�µã® ná�h���¨��� ²´³�â ~ ³ä®Õþ �Ên+�Fà´�ɵ ~ � ²�³�â ~ ³1®zþ ù µ¯¶§��³åÎ�±��®�µ¯¶Y�е ~ !

� æ W �"çèP W ç Z�é Þê�"ë ZyÝ�Z �"ë Z �wQ �½â�nßù ���5â�µp�poÇÑ�½�ÊeVù n�à â}þ þ �f³ìà��/®�nh�¹âyâ�n·� ® �[®f�Én3®�� n�� e=⦳�à�â�þ Îþ â�µ nF® µ ~ ùã® ~ ���po �ʲf�hà��+® n+�¨« �h¶ �¹âyâ{n·� ³��pr�ùf�г��h¶e=⦳ n¨���¹� ²�â�²zù nF®´³ n3®�µ ~ ùã® ~ � �

� m �pàf©�µ¼â�n�â ~ � ���Ê�Êâ{µ¯¶ Õ kbí o ® ²�² ná� �¹â � ù�³�âb�q q ���p��³ä®¯à����Fâ{µ¦��³���Î9þ â]¶�ù nF®´³=�¤«h® ���5â�µl�]î Ç�÷Ûþ �áÎ~ ³1® ���5â�µl� !�!�!

ï:(3.�ðñJ¤(·ð 2óò:2 '�ô+.F-/$ -�ð:õ Ö ;

Page 22: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.Ú ZwÛ�ZlW¦\�X¦V ö"W�X"÷ ç \ RøP��"ëUù O Ä ú û Ä Ã ú

texttarget

textsource Printer

PrettyRewriterParser

toLaTex

modules

term

Generator

Pretty Print

Generator

Rewrite

Rule Generator

Parser

documentof L

LaTeXDefinition of language L

termresult

L

in ASF+SDF

syn

eqs

syn

eqs

� üè®�³Ó�u� �½â�ý ³�à�� �¹���p���� Ë���¬ ³­�·�¹� �½â�ý ³�à�� �¹�f³ þ �¹â ��®´³ ~ ��� �¹��³³þ �� Ç µ�²ã®�³Ó�u� ¾ ²´³����u�fµ � ³�� �Êý�nH���е ~ �_��³¸ý¯à���ý ³�� !

ï:(3.�ðñJ¤(·ð 2óò:2 '�ô+.F-/$ -�ð:õ ÖþÖ

Page 23: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

Öþÿ

Page 24: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.Ù � Ý�Z � V¦Z¦X"÷ Þê�Yç

� Õ��¼®´³ kl��� � ®�µã®�n)�h���¨� � �ó�w²f� à[©¼�pà[°¯�ɵ ~ !

� ª �е¼¶ �ó� ²�� � â[e ���w²�³�� � ���5â�µh� ���±��® ���Fà�® n ná� ¶§���¹�pà���f³¸³�âl³Ó�p!

� �=µ �¹�f³¸²´³�����®����Fâ{µ âfe ²�³�â ~ ³1®Õþ ®�� ��©�� n��Ê�¼�fn âfe�ó� ²����po¶l® �¹� � ¶¦®��¹� � ¶{ý�³1® ���5â�µ

� �=µ �¹�f³��[®�n�®�µã® ná�h���¨�po��� Î�� � � � ��� � $ý�Î � � � $ý�

ï:(3.�ðñJ¤(·ð 2óò:2 '�ô+.F-/$ -�ð:õ Ö��

Page 25: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.À \ Þ�ç�ÞB� Ù \óWYX"÷ ÞB�Yç

� dѲ��pà���e � ® µ´® ná���¥�¤� �ɵ ����£���¢��9�w£f¡� ¦�p¢��� ��"�

� O PwQSR�� W Q�Þ XfW æÐæ � þ ®��ɵ���®��ɵ n+�ɵ °��Æe ³�â�þ à[³��¼® �¹�p¶�º�Õþ ��â�n·� �㮯à[° �¹â âl³­� ~ �ɵ´® n��¹�f³ þ �

� ���Y£Y¢ ¡ �"!$#��&%'�(�¯¢��)# ⦳=� ~ �ɵ ��³1®¼àf°¼�ɵ ~ �

� Ë����¯�f³Ó�u� âl³­� ~ �ɵp� �¹â ~ ��� ® µ ¡l¢ ¢*%¸�&+��l¢��)# ��³��p���

� ÇÑ�½� ®�� ��³­�É� ý �¹��� e=⦳ͶY�¤��² nF®¥�ã¾�e ý ³���©���³èr]ý¼�f³����е ~ !

ï:(3.�ðñJ¤(·ð 2óò:2 '�ô+.F-/$ -�ð:õ Ö�,

Page 26: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.� æ Þ XlV¦ZwÛ

� � ýf�Ðn¨¶ n+�Ð��³1®�³�� âfe àfn+�Fà[©¼���pod]�¹�f³���â[�ó� ²��p¶ à â]¶�� ²ã®�� �¹��³ µh� â[eÍà â}þ þ â{µ ²�³�â�Î~ ³1®Õþ þ �ɵ ~ �_��³1® �¹� ~ �5�����U¶¦®���®ÊÎØ�_��³¸ý¯à���ý ³������ ®�µ¯¶®�n ~ ⦳=����©zþ ��!

� Ë��p¶{ý¼à�� �N¡� ��-� .c�¼���B¢��0/1� à�®h�u���p!���¨�±� à ⦳ ³��hà�� �Ê�¼®´³ þ ®�µ��ɲ ý�nF® ���5â�µ à[n/�Fà[©¼���p!

� ÇÑ�½�Êe ý nÊe­âl³c�Ê�¯®�³Ôkl��� � à â}þ ² n+�+® µ¼à�� /S¡�  �&#�¡l¢��9� £¦!

� È �32 à[ý nH� �ɵ ~ �fµ¼�f³1®�nÐ�´��ý��·��® ��n¨� e­âl³l�ʲ��pà´�üûcà � Õ kcí �� ý�³�â ý ® ² ²�n+�3à�® ���5â{µh�54

ï:(3.�ðñJ¤(·ð 2óò:2 '�ô+.F-/$ -�ð:õ Ö�6

Page 27: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.ú�P \ Q V¦Z]\ Ú Z Û�ZlW¦\�XlV 7 Û�Û P ZwÛ

� �]® µ ~ ýã® ~ �¥Îu�ɵ¯¶§��²��fµ¯¶§��µ�� �º� µ ��®¼à����Fà r{ý���³��§�ɵ ~ �

� Ë��¼® n+�¨�±���Fà à�®h�u� �±��ý¼¶��5������ þ â]¶{ý�nF®´³ 8 q � q � ~ ³1®Õþ þ ®´³øý��

� ü ³�â ~ ³1®zþ �Ên+�Fà´�ɵ ~� ®�n/�+®p�u� � � ~ â[�¹âc�9� �Æ�ɵ �¹�f³NÎϲ�³�â ~ ³1®Õþ ý

� 8 n ýh�±�¹�f³­�ɵ ~ �¹�hà[© µf�Fr{ý¼��� e=⦳ þ â]¶]ý nF®�³­�¨«�® ���5â�µl�

� È ® ��® ��âp¬ ® µ´® ná�h���¨�po þ ® ² nF® µ ~ ýã® ~ ��� �¹â È ©ã®�n9 È ®���®ÊÎ;: � ~ ©ÊÎ » �h�±��³1®¼à����5â{µ �]® µ ~ ý´® ~ �=<

ï:(3.�ðñJ¤(·ð 2óò:2 '�ô+.F-/$ -�ð:õ Ö <

Page 28: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.� R�R Ý�Zy\óW Q�Þ R�� > Þ+Q V 7 �"ë P Û Q \ �

� ü ³����u�fµ ��®����Fâ{µh� þ ýh�_� ��� ݦ\ R ö æ Z � é R \ Þ Z � Q Z ë? £§��¢ �¹�pà[© µ¼â{n�â ~ � âl³­�5��µ��¹�h¶c!

� í µ�âh¬ n��h¶ ~ � þ ýh�_�Ñ�u��³��¯� ® ² ý�³¸²�â��u� @ �fµã®�� n+�ɵ ~µ���¬ ²�³�â]¶{ý¼à��º� ���u�f³����Fà����������½à�!

� � ³­�F¶ ~ � ~ ® ² �f���¸¬ ����µ �ɵ¼¶{ýh�_��³�� ®�µ¯¶ ®¼à¼®¼¶��jþ �+®"o²�ý � n+�Fà�® ���5â�µ �¯�f³Ó�Êýp� à â}þ þ �f³ìà��+® nhâ�² ²f⦳���ý�µ��·�ó��!

� g ®�µã® ~ �jþ �fµ � µ��p�p¶�� ²�n3®�µh�S¾Y²´³�â ~ ³�� �¹� �ɵ�e=â ����Îe=⦳�� �·� à�® µ ¶��pà��3¶§� e­âl³ �±��®�³���¾�à â�µ����ɵ ýã®����5â�µ"!� � ³�â�â�°���o ¬ ³�â�µ ~ û ~ ý ³���� ����� �¹��³Í��©´® µ µ¼â�µ�� ý�!

AK.+M9JCB�*,4 % (3$0D -/-�ë 2 4@(+*,% -/. Ö �

Page 29: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.Ù WYX Þ:Q ß Û T E Ý æ Þ X Þ+Q F �"R�> æ Z ë�ç Z

GIHKJ(L MONQPRJ)SUT;VWT T1SYX Z[NI\]T;V�^`_Yacb;dfehgji1k lhm1n1oqpCksrutk v�wxk�yz;{O| mut v}n ~ � z m��

AK.+M9JCB�*,4 % (3$0D -/-�ë 2 4@(+*,% -/. Ö ¿

Page 30: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.F �¦R�> æ Z ë�ç Z � \¸ZlW Q�Þ Rø�

GIHKJ(L MONQPRJ)SUT;VWT T1SYX Z[NI\]T;V�^`_Yacb;dfehgji1k lhm1n1oqpCksrutk v�wxk�yz;{O| mut v}n ~ � z m��

AK.+M9JCB�*,4 % (3$0D -/-�ë 2 4@(+*,% -/. ÿØ×

Page 31: RkMlP - Software Technologyarie//papers/cwi-coll96.pdf · Tk» c £ P e Nw¼¹P h r X eWg h3j RkM P P

> -9?@*,AB(54 2DCE2 .F-�GH(+*,% -/. I�%&$&$ 2 .+.+%KJFL�I 2 $K*,MF-/AN.Ä Pj� � W¦\ �

� dbâ[e �¸¬ ®´³�� Ë���µ�âf�ã® ���5â�µ� �=µ��¼��µ��¹â¦³��"�� 8�â]¶§� » µã®�n)�h���¨� � �¸�w²�� à[©¼�pàf°¼�ɵ ~�� �� 8�â]¶§� 8�âl³¸³��pà����5â�µl�� Ë����u�¼®´³�àf© r{ý�� �_���Fâ{µh�p!

� m ©¼� Õ��¯®�³ kw� ��� ü ³�â{� n��hþ !8�â]¶�� ���p��³ä®¯à��º���y�¹âyâ{n�� �èà â§�±�º��!

� �=µ¯¶{ýp�±��³­�+® nc°ãµ¼âp¬ n��p¶ ~ � à[³��¼® ���5â�µ¦!

> J3L=L1(54Kõ ÿ ;