conceptbase.cc - a system for metamodeling and method...

28

Upload: others

Post on 05-Nov-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

� ��������� ��� ���������������� � ���������� �!���"��� �#�

$ %�& ����(' $ ������������ )*�+�,����-�

.�/�021436587:9;5=<?>@1A5CB47 DFE;/�G�3;H<JI;5C3KML;NPO�QSRUTVNPW=XY W[Z Y TUT Y�\ ] X^ R_RUQ \ Wa`cbd�e�f�g Z Y TUT Y \ d�e�fih[j `�k;RUL Y�\l QSRUm Y L�k l QSRUm Y L k

nporq;sut2v�wJs

xzy|{}{U~8��{U�|�������[�����P����{a�S���P�A�F�Vy|{@�V�8�P���}�+{U��y|�C���2� �������S��{@����������{@���|�U���P��{���{U�����������|������������|�S��{��2���(��y|{}�@�S��{����u�����A{@�a�� �������{a����{�����{��8�|�U���P�8{����������|�S��{@�?��¡u{U���¢�|{U£������;���� �������P����{��i�����z�+����{�{V¤+�U��{U�8���@���|��������{U���U�¥�@���8�������4¦?�F��{@�8���U�������+���2��y|{���{@�����Vy����|�S�@{�8�¨§|�|{U�}�S�����8���������P���¥���2���;������{@�U©;���|���F��{��8�|�U�����������2�����8���P�+{z�P����{a�S���P�A�ª�Vy|{@�V�8�P����8���P�|�U��{U�"{U�8�������+���P�8��{U�|�����@{F���«��y|{[{U~�{@�a����������{F�@�C��{¨�={U�|{U������{@�¬�4���M{U�S���P�|�����P������P����P�­§;{_�r������{��ª���|�!�@�������������P������£}�P��y��P�®��y|{"���������|�S��{S¯�°=����y!����{a~���{a�|��{@�±�P�  ��{U�S���P���¥��������{U�²y|�S�z��{�{U���P�����{U�"{U�8�³{@�¨�P�"��y|{F´,µ�¶c°�·����|�@{U����µz�S��{S¯

¸;¹�º¼»}½;¾U¿ÁÀ+½�ÂV»}»4Ã�Ä6ÄS¾U¿ÁÅÁÆ�Ç"º¼ÈÄSÂ�¿ÁÅ�É�ÊÅÁ¹6ƪË̾_Í}Í}º¼»4»ÎºÏ¾UȨ¾�Ð�ÅÁ¹6ÆFÑ�Ã�¿Ò¾UÄSÆ�ÂVÈ�Ë;¾UÍ}Í�Ã�È�º¼Å�ʨÃ6ÈSÇ@Æ�¿}Ñ;Ó@Ô�Õ×ÖÒ¸ØuÂV»4º­Ù�Õ×Æ�»4Æ�ÂV¿4Ù4¹FÚ2Ù�ÅÁº¼¾UÈÛ_Ü�Ý�Þ�ßàË̾UÍ«Ä�Ã�á�¾Uâ@ã�ä�¸Ì¹åÂVÈ�À@»}ÅÒ¾FæFÂVÅÁÅÒ¹�ºçÂV»�èUÂV¿ÒÀUÆ@é�ê×Æ�ÈåÇ�¿Áº¼Àªë¢Æ�Ù4ÀUÆ�¿JÂVÈSÇì2Æ�¿Á¹SÂV¿�ÇÓ�ÅÒÆ�ºíÈ6ÀUÆ�ÐP¾_¿ ¹6Æ�î¼Ä�ÂVÈSÇ�Ç�º¼»AÙ�Ã�»4»4º¼¾UÈ�»�äSÚïUÆ�¿Á»4º¼¾UÈ?¾VÐ=ÅÒ¹�º¼»�ÄåÂVÄSÆ�¿|ÂVξðÂVÄ�ÄSÆ�ÂV¿ÒÆ�Ç�ÂV»�æ�ÖñÔ�òÒóUÜ�Ý�Û�é�ô×È�º¼ïUÆ�¿Ò»Îº�õÂVÅ�Ô�Â�»Î»AÂVÃ�éì¢Æ�¿ÒÍ�ÂVÈ@Ê@éCݳóUóUÜ�ä

Page 2: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

������������ ����������� ���� ����� �"!$#&%(')� *�!��+-,×72//.10­> 7¢/�26/�3J/;>�5 45,�6$6 <¢08792:. 74> >;2<7ÒBÁBp>658/�3=4�>?7Ò0?I 1@,�3 2<>J5 0J5�AB2 I;5C0J5C36/�C2;7D,�0 ,�1 72/�26/�3?/;>65 >;.2><265�6�>FEHGJILKNMPORQ8STGJKVUWQRX�Y:Z +L>J5 365CB4/�2;7D,�0J/�B[6\,×725CB]74>^ 0�,/_0 1,�3`31,�2<> 7a2�> >�,�Ba747 2;>J5/,�365�2;7D48/�B 1@,�<20J72/�2;7D,�0 /�0J7 7926> 5�ABb23658>�>;7ÁE�5-B97a6$C7926/�2;7D,�0J>/Z +L>J5c3J/R4 ^ I�3=,�<20J7 ,�1]6�/�2;>?5d6 /�2;7D48/�B®BD,;I�7e4f7Á0J7×<�48587 2;>J5 725CE�5=BD,�b8C6�5C0g2h,�1!725/4CB4/�36/�2;7ÁE�5jii<J5C3;. B�/�0?I�<J/;I;58>*/�0J7F7Á0�2�5�I�3<7a2k. 45,�0?>;2@3�/�7Ò0g26>:/R454/,�6$bJ/�C0874587l3g.l_¥5CBÁBaC�1@,�<20J72587�5CE;/�BÁ<J/�2;7D,�0l265/4�>2087Dii<J58>5Z�K�587×<�4�2;7ÁE�5 3@<2B458>�_¥5C365mb23=,�b1,;>�5877Á0 ,�3�725C3n2=,o,8E�5C3=4/,�6�5p2;>J5-B97a6$7926/�2;7D,�0J>[,�1�365CB4/�2;7D,�0J/�Bq48/�BD4C<2BÁ<J>5Z r"5�>�<2B926>(3�.EHK�Dts)ORu8STv-wB+xORu8STI)Kr.jORO8S­GNwyORO8STI[.�.jQRX�Y¥/�0J7o,�2;>J5C36>�>;>�,z_ 2;>J/�2�5CE�5C0{7Á0{2;>J572587×<�4�2;7ÁE�5]48/;>65|7Á0�2658I�3;792:.}45,�0?>;2@3�/�7Ò0g26>l48/�0~3�5]4�>J5/4 ^ 587 5���4�745=0g2@B9.�Z D�Að/�6$b2B458>1,�3N796�b2B45�6�5C0g26/�2;7D,�0J>J,�172587×<�4�2;7ÁE�5!72/�26/�3?/;>658>±/�365lK�587��J7Á0�M`EHv�UWORQ�Y[/�0J7�K�D"Cs)v�GJr"D E¼G��WQRX�Y�Zm��5CE�5C3;2;>J5CB458>6>/Sg2;>J5�. ><2;7ÁBÁB�7Ò0?>J5C3;792�6 /���,�3+7B74>�/;7×E;/�0�26/;I;58> 143=,�62;>J5r365CB4/�2;7D,�0J/�B�6\,×725CB:������ ,B,�3+72/�26/�6],u7¢5=B97Á0JI�48/�bJ/�3?7ÒB9792;7458>[7×<J5�2=,�2;>J5��8A2587*7258I�36585�,�1M/;I;I�3658I;/�2;7D,�0

7Á0[�J/�2V2@<8b2B458>5Z�R� v�792;2@B45�>�<8b8b1,�3<2+1,�3"/�b8b2B97D4�/�2<7e,�0]b23�,y48587×<23�5 7¢5=E�5CBD,�b86 5=0g2¥/�0J7 365C<J>6/�3?7ÒB9792:.�Z�g� v�792;2@B45�>�<8b8b1,�3<2+1,�3">=4�>J5�6 /®5CE�,�BÒ<?2;7D,�0 7ð<J5�2=,�6�/�7Á0�2�5=0?/�0�485�Z� 3?�_5/4�2;C:,�3;745C0�26587�7¢/�26/�3J/;>�5+><.2>;265�6 >xE¼.jGJ�JORQ�YJ/;727ð3658>6> 2;>?5�>�5Vb23=,�32B45�6�> 3g.lb23=,�CEB747B7Á0JI!/�0 5�AB265C0J><7932B45�>�5d2m,�1M72/�2�/l2:.Bb�58>m,�3W4=B4/;>�>658>�_x792;>�/�2;26/R4�>J587(b23=,B48587×<23658>/Zw�.2><265�6�>cBa7 ^ 5��m7 � Gms EHKWI[.jORO�Y:S � � wy+m�Wr"DLw ETw29g� � QRX�Y+/�0J7oK�G�. � GWv}DLwEHr�rmr�MPORO�Yª/�BÒBD,/_ 2;>?5�725CE�5CBD,�b�5=3�2=,:B97Á0 ^ b23=,B48587×<23658>�2=,j485C3;26/�7Á0 5=E�5C0g26>�3�. >=,�C48/�BÁB�587m2@3<7�I;I;5C36>/S�5RZ­I8Z9S81,�3�/R4�2;7ÁE;/�2;7Á0JI�7Ò0g2658I�3;792:.N4�>J5/4 ^ 7Á0JItb23=,B485�7ð<23658>}/�1D265C3}<8b�72/�2655CE�5C0�26>/Z � 0?5�b23=,�32B45�6 ,�1>@<�4�> ><.ð><265�6�>V74>�2;>J5l4/,�3@365/4�2@0J58>�>W,�1�2<>J5l796�b�5C36/�2<7ÒE�5b23=,B48587×<23658>�7Ò0�2;>J5�48/;>65�,�1)48/;>�4�/;7¢5�7(2@3;74I;I;5C3 /R4�2;7ÁE;/�2;7D,�0J>/��/�0�,�2;>J5C3�b23=,�32B45�6 74>2;>J5�7Á3N7Á08�J5�AB7a3?7ÒB9792:.j4/,�0�485C3@087Á0JI <J>�/;I;5l7Á0 7B79 �5C365C0�2®><7a2�<J/�2;7D,�0J>l¡�,�3�2;>?5!0J58587�1,�32;>J5r<J>�5C3x2=,�_3<7a2�5 /cBD,�2�,�1-2@3<7�I;I;5C36> 1,�3+58/R4�>[7Á0J7¢7ÒEB747×<J/�B148/;>�5 � Z+L>J5rIR,;/�B£,�1-2<>874>LbJ/�b�5C3L7�>t2=, ><>87Á1D2x2<>J5J265/4�>20�,�Be,;I�.],�1�725/4=B4/�36/�2<7ÒE�5"1@,�3;6 <¢B�/;>¨1,�37Á0�2658I�3;792k.`4�>J5/4 ^ 7Á0JI�143�,�6 2;>J5!72587×<�4d2<7ÒE�5c365CB4/�2;7D,�0J/�B 2=, /�0�,�38�_5/4�2;C:,�3;745C0�2�5�7->65�2;C2;7Á0JI8Z � <23F5�Ayb�5C3;796 5=0g26>�>?/8E�5ª><>�,/_0¤2;>J/�2-2;>?7�>(>;>87Á1D2�796�b¢Ba7458>�31,�2<> 0?5d_fb23=,�32B45�6�>/�0J7 0?5d_ ,�b8b1,�3;2@<20?7a2<7�58> 1,�3�,�b82<7a6$7D¥�/�2<7e,�0�Z+L>J5 0J5�_¦b¢3=,�32B45�6�> 45,�0�4�5C3@0!<¢0J725C36><26/�0J7B7Á0JI�,�1�2<>J53�,�B�5m,�112<>J5�4CB4/;>�>"45,�0�4�5�b82 7Á07Á0�2658I�3;792k.§4/,�0�2�3=,�B:SR2;>?5[0J58587�1,�3ª5���4d745C0�2(365/45,�0?�JI�<236/�2;7D,�0�,�114/,�6�b¢B�5�AN,�38�_5/4�26> 7Á048/;>65¤,�1)4/,�6�b1,�0J5C0g2¨4�>J/�0?I;5�>/S}/�0J7p2;>J5�45,�0g2@3=,�B�,�1�6�5�2;>�,×7:/�b8b2B97D4�/�2<7e,�0?>5ZN+L>?7�>bJ/�b�5C3�4/,�0�485C0�2@36/�2�5�>",�0l2<>J5x�¢36>;2"b¢3=,�32B45�6&�©2;>J5>�5/45,�0?7�b23�,�32B45d6 74>F/;727×3�5�>�>�5�7¤7Á0ET� � s¥D�QRX�Y8_x>87ÁB45L_¥5">�,�BÒE�5�2;>?5x2;>?7Ò3�7l,�0J5x3g. 5�6�3�58727¢7Ò0?Im6�5�2;>�,×72>�7Á0�5=0iE�5CBe,�b�58>2;>J/�2"B45�2)2<>J5�6 Be,B, ^ B97 ^ 5�72587×<�4d2<7e,�0 3@<¢B�58>¤E­9�9�rmORQ�Y:Z

Page 3: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

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

+L>J5¨0J5�_~,�b?b1,�3;2@<208792;7458>,>;265�6 143�,�6 2;>J5[>6/�6 5F>=,�<¢3=485�>,/;>�2;>?5�b¢3=,�32B45�6�>/Z��-7Á36><2@B9.�Sb236/R4�2;7D48/�BÁB9. /�BÁBN7Á0�2658I�3;792k. 4�>J5/4 ^ 7Á0JI{6 5�2;>�,×72> 1,�3�3�5=B4/�2;7D,�0J/�B�72/�26/�3J/;>�58>�2@3658/�26\,×7B79��48/�2;7D,�0J>L,�1 2@<8b2B458>/;>"725CB45d2<7e,�0?>[1,�BÁBD,/_¥587(3�.]7Á0J>65C3;2<7e,�0?>5�?2;>874>V6�58/�0J>�2;>J/�22=,B,$6�/�0g.&4/,�0J><2@36/�7Á0�2�>�/�365�4�>J5/4 ^ 5871Z�+L>?5 /;I;I�3658I;/�2;7D,�0 /�3J><2@36/R4�2;7D,�0`,�1L,�38�_5/4�2;C,�3;745C0�26587�72/�2�/�3J/;>658>�/�BÁBD,/_+>"<J>�2=,*/;>�>=,B4�74/�265�><b�5/4�7�/�B97D¥8587�2�3;74I;I;5=3�>J2=,],�38�U554�26>r/;>><6�/�BÁBM/;>¤7Á0J7B7ÁEB747×<J/�Bª/�2;2@3<7a3¢<82658>5S 2;>�<J>�b¢3=,8EB747B7Á0JI�6 <�4�>�6],�365lb¢365/4d74><7D,�0�7Á0�7Á08C2658I�3;792:.`,�b?2;796�7D¥8/�2;7D,�0£Z|wu5/45,�0?7×B9.©S�2<>J5�5�ABb2B97D4d792J7Á0�2�5�I�3�/�2;7D,�0�,�1L6�5�2;>�,×72>r/�BÁBe,z_+>2;>J5 365�b23658>65C0g26/�2;7D,�0~,�1m2@3;74I;I;5C36587�b23=,B48587×<23658>�7B7Á365/4d2�Ba.�7Á0 2;>J5*7¢/�26/�3J/;>�5���>�,/_VC5CE�5C35S�7Á0`4/,�0�2�36/;>;2�2=,$2;>J5 �W� KWI ><.ð><265�6�>t6�5C0�2;7D,�0J587:/�31,8E�5RS�_[5�b23658>�5=3�E�5N2;>J5747258/W,�1�72587×<�4�2;7ÁE�5[365CB4/�2;7D,�0J/�B2/�B4IR,�3;792;>86 >-2;>?/�2"2;>J58>65�2@3<7�I;I;5C36>¨>;>�,�<2B47�3�5x4C3658/�26587/�<82=,�6 /�2;7D48/�BÒB9.�143�,�6 b236587B7D48/�2;7ÁE�5ª><b�5/4�7a��4�/�2<7e,�0?>5Z�+L>87Á367×B9.�S�2;>?5x4CB�/;>�><7a��4�/�2<7e,�0±/�38C><2@36/R4�2;7D,�0&,�1ª>�,�6�5N,�3?�_5/4d2<C:,�3;745=0g26587�72/�26/�3J/;>�58>x7Á0�4CBÁ<J7258>�/|6�5�26/R4CB4/;>6><7Á0JI�6 5/4�>8C/�0874><6 _x>87D4�>~48/�0�365�b23658>�5=0g2N7Ò0�4=3�5d6 5C0�26/�BF>=4�>?5d6 /$6\,×7B79��48/�2;7D,�0J>/S�7Ò0 ,�<23�48/;>�57Á0�4CBÁ<J7B7Á0JIl4/,�0J><2@36/�7Á0�2m6\,×7B79��48/�2;7D,�0J>/Z�+t>874>�/�BÒBD,/_"><J>V2=, ><>87Á1D2x2;>J5¤45,�6$b87ÁB4/�2;7D,�0,�1)4/,�0J><2@36/�7Á0g26>�7Ò0g2=,(2@3;74I;I;5C36587jb23=,B48587×<23658>¬143=,�6 <8b�72/�265!><b�5/4d79��48/�2;7D,�0�2;796�5¤2=,>�4�>J5�6�/�5=E�,�BÁ<82<7e,�0(2;796�5RS2/�0J7(2=,|b23658>65C3@E�5±5�[email protected];>?5±365CB4/�2;7D,�0J>;>?7ab(3�5d2k_¥585C02@3;74I;I;5C36>�/�0J7�2<>J5�7Ò3"<20J7¢5=3�Ba.B7Á0JI$45,�0?>;2@3�/�7Ò0g2�>;b�5/4�79��48/�2;7D,�0J>/SB2;>i<J>�1A/R4�7ÁB97926/�2;7Á0JI�7Á08C4C365�6�5C0�2�/�Ba792k.l7Ò0�,�b82;796�7D¥8/�2;7D,�0�/�2x2;>J5�6 5d2�/�B�5CE�5CB:Z+L>J5 3658>;2j,�1�2<>J5�bJ/�b�5C3�5dABb2BD,�3658>]2<>J58>65�,�b8b1,�3;2�<208792;7458>�7Ò0 2:_L, >;265�bJ>/� /p365�C7Á0�265C3;b¢365�26/�2;7D,�0 /�0J7�>�Ba74I�>g2 5�AB265C0J><7e,�0�,�1ª/�3�5=B4/�2;7D,�0J/�B�6 5d2<>�,×7`¡�>�554�2;7D,�0 �R� Sz/�0J72;>J5�/�b?b2B97e48/�2;7D,�0],�112;>874>[5�AB265C0J>;7D,�0l2=, 2;>J5J,�38�U554�2;C:,�3<7�5C0g26587\48/;>�5q¡ >65/4�2;7D,�0J> � /�0J7�g� Zwu5/4�2;7D,�0 � 5�AB265C0J72>�2;>J5¤_¥5CBÁBaC ^ 0�,z_0n7Á0g2658I�3;792:.`4�>J5/4 ^ 7Á0JIl6 5d2<>�,×7 1,�3 7¢5�7ð<�4�2;7ÁE�5365CB4/�2;7D,�0J/�B�72/�26/�3J/;>�58>�7Á0g2@3=,×7×<�48587$3�.jEHILK�.jORO�Y�_x>J5C365�/¤45,�6$b87ÁB4/�2;7D,�0�b8>?/;>65"1,�32;>J5p7Á0J>65C3;2<7e,�0��|725CB�5�2;7D,�0¦,�1�4/,�0J><2@36/�7Á0�26> /�0J7 3@<2B458>5S"/�0J7 /�0 5CE�/�BÁ<J/�2;7D,�0ob8>J/;>�55�A2554C<82<7Ò0?I]2;>J5�I;5=0?5=3�/�26587�4/,×725�<8b1,�0�<8b�7¢/�265�5CE�5C0�26>c/�365�7B74><2;7Á0JI�<874><>J5871Z]+L>J54/,×725"74>,725C3;7ÁE�5�7r143�,�6 ><7a6$b2B979�J587�1,�3;6 >}3658><b1,�0J>;7932B45�1,�3�<8b�72/�2�55CE�5=0g26>-,�0l,�0J5L,�12;>J5 Ba79265C36/�B4>x,B4/4C<23;7Á0JI�7Á0�2;>J5�4/,�0J><2@36/�7Á0�2/Z � /�3;2;7D4C<2B4/�3�b23�,�b�5=3<2;745�>m,�1",�<23�E�5C36>;7D,�0/�365N2<>J5 I;5C0J5C36/�2<7e,�0j,�1F>;796�b¢Ba79�J587�1,�3;6 >0�,�2W,�02B9.*1,�3W4/,�0J><2@36/�7Á0�26>m3¢<82�/�B4>=,�1,�372587×<�4�2;7ÁE�5¬3@<2B458>5S¢/�0J7]2;>J5�7Á0�4C365�6�5C0g26/�B�6�/�7Á0�2�5=0?/�0�485J,�1-2;>J5±><7a6$b2B979�J587�1,�3;6�>/Zwu5/4�2;7D,�0 � >;>�,/_+>l>�,/_ _¥5:5�Ayb¢Be,�792�2<>J5 /�31,�E�5[,�3J>�5=3�E�/�2;7D,�0J>¤2=,�/;72/�b82l2<>J5]7Á08C2658I�3;792:.�4�>J5/4 ^ 7Ò0?I]6�5�2;>�,×7p2=,[2<>J5�,�3?�_5/4d2<C:,�3;745=0g26587 48/;>65RSz<J><7Á0JI(2;>J5 ^ 0�,z_B45�7¢I;5365�b23658>�5C0�26/�2;7D,�0®B4/�0JI�<?/;I;5�+�5CBD,;>}/�0J7�7926> 7a6$b2B45�6�5=0g26/�2;7D,�0J7Á0�2;>J5 ^ 0�,/_ B�5872I;5�3J/;>�56�/�0?/;I;5d6 5C0�2�>;.2><265�6 sL,�0�485db?2=I[/;>65/;>F/�0!5�A2/�6�b2B45RZ1Gcb236587B7D48/�2;7ÁE�5¨B�/�0?I�<J/;I;5L74>365CB4/�26587$2=,�2;>J5�4=B4/;>�>[>=4�>J5�6 /q,�1�2;>J5±72/�26/�3J/;>�5m3�.*725��20?7Ò0?I >�,�C:48/�BÒB4587�4/,�0�485C3@0J5874CB4/;>6>�58>F1,�3m2;>J5rB979265C36/�B4>5Sg2;>i<J> 3658/�Ba7D¥�7Á0JI¤2;>J5�7¢5�><7Á36587]�20J5C3+I�3�/�0�<2B4/�3;792:.�Zwu5/4�2;7D,�0 � 7258>=4C3;793�58>L4/,�0J>;2�36/�7Á0�2L6�/�0J/;I;5�6 5=0g2ª/�2L2;>J5J6 5�26/�B45=E�5CB:��>�,/_F2=,�6 /�7Á08C26/�7Á0 2;>?5�7¢554CB4/�36/�2;7ÁE�5#1,�3;6�<2B4/;>5S�2;>J5�7Á3 5�A25/4=<?26/�32B45�1,�3;6 >5S,/�0J7f2;>J5$2@3;74I;I;5C36>�/;>

Page 4: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P�����

bJ/�3;2[,�1�2;>J5�72/�26/�3?/;>65RZ �mb�72/�2�5�>$,�0¦2;>?5�>�5�,�38�_5/4�26>]48/�0 <82;7ÁB97D¥85[2;>?5�5dAB74><2;7Á0JI2@36/�0?>6/R4�2;7D,�0�6�5/4�>J/�0874><6 ,�1L2;>J5�72/�26/�3J/;>�5�><.2>;2�5d6jZ!.j,�365/,8E�5C35S 365�b23658>65C0g26/�2;7D,�0_x792;>87Á0{2;>?5*72/�26/�3J/;>�5]6 / ^ 5�>¤2;>J5�6 >@<83?�_5/4�2l2=,�45,�0?>;74><265C0�4�.`2;>J5�6 >65CBÁE�58>dZ ��,�35�A2/�6�b2B45RS¢1,�3;6�<2B4/;>"365C1A5C3;7Á0JI$2=,�0�,�08C�5�AB7�><2;7Á0JI$4=B4/;>�>658>m48/�0n3�5c365<�_5/4�26587�3�5548/�<J>�52;>J5�.�Ey7D,�B4/�265¬365C1A5C365C0�2;74/�B17Á0g2658I�3;792:.�Zwu5/4�2;7D,�0��+>@<86$6�/�3;7D¥858>�2;>J5x4/,�0g2@3;7932<82;7D,�0J> ,�182;>?7�>�_),�3 ^ /�0?7�,�<82�Ba7Á0J58>-,�b�5C0Nb23=,�3?CB45�6�>/Z

�l� �����������"* ��� � �N*5�����¨�����['��

+L>874>J4�>J/�b?265C3Wb23658>�5C0�26>m2;>?5�b23<7Ò0�4d79b2B458>J,�1"2;>J5¤7Á0�2658I�3;792k.n4�>J5/4 ^ 5C3J7Ò0�/$_¥//.�2;>J/�274>l7Á0J725�b�5C0J725C0g2�143=,�6 / I�7ÁE�5=0 7¢/�26/�6\,×725CB:ZF+L>J5C365C1,�3�5�SV2;>?5 5�ABb2BD,�7926/�2;7D,�0¦,�1><b�554�79��4�b23=,�b�5C3;2;7458>�,�1F72/�26/|6\,×725CB4>�2=,!BD,B48/�265�72/�2�/�,�1F/ ^ 0�,/_0�2:.Bb�5�74>B45C1D2m2=,2;>J5 >@<83?>65/ii<J5C0�2F>65/4�2;7D,�0£Z�+L>?5L7Á0�2658I�3;792:.l4�>J5/4 ^ 5C3�5�AB265C0J72>�2;>J5[365CB4/�2;7D,�0J/�B�4�>?554 ^ 5C3b23=,�b1,;>�587�3�. E ILKr.jORO�Y�3�. 725/4/,�6�b1,;><7Á0JI]792�7Á0�2�, /�bJ/�3;2�2=,p3�5\4/,�0J7ð<�4�26587 /�2>�4�>J5�6�/�5CE�,�BÁ<82;7D,�0l2;796�5RS�/�0J7�/�bJ/�3<2�2=,N3�5m4/,�0J7×<�4�26587!/�2F<8b�7¢/�265x2<7a6 5R�;/�B4>=,8S©3�.5�ABb2B97e4�792�>;b�5/4�74/�B97e¥8/�2;7D,�0r0�,�2�,�02B9.�,�1�7Ò0g2658I�3;792:.�4/,�0J><2@36/�7Á0g26>"32<?2ª/�B�>�,J,�1�72587×<�4�2;7D,�03@<2B458>/Z

��� �!�"$#&% t #�' %)( *!+ s-, %/. % s-, *�0v�7 ^ 5 /�BÁB�365/485C0�2J_L,�3 ^ 7Á0j7Ò0g2658I�3;792:.j4/,�0�2@3=,�B:S 2;>J5¤6�5�2;>�,×7(74>J3J/;>�587n,�0�2;>J5¤_¥5CBÁBaC^ 0�,/_0fb23;7Á0�4�79b2B45�>N,�1+><796�b2B979��48/�2;79,�0£S��236><2 5�ABb2B97e48/�26587�3g. EH�21<s43PQ�Y:Z]G�>�>@<86$7Á0JI2;>J/�2/®7¢/�26/�3J/;>�5�>6/�2;74><�J58>"2;>?5J7Á0�2658I�3;792k.�45,�0?>;2@3�/�7Ò0g26>�3�5C1,�365�/¤2@36/�0J>�/R4�2;7D,�0£Sgb1,;>;C><7a3¢B�5#EB7e,�B4/�2;7D,�0J> 6 <J><2�3�5[48/�<J>�587�3�.f2;>874>�2�36/�0J>�/R4d2<7e,�0���2;>874>�3658>;2�3;7D4d2�>�2;>?5*>65�2,�1x4/,�0�485=3�0J587�7Ò0g2658I�3;792:.�45,�0?>;2@3�/�7Ò0g26>�2=,(3�5�365/4�>J5/4 ^ 5�7�Z!.j,�365/,8E�5C35S�2<>J5!>;b�5/4�79��4,�38�U554�26>�7Á0J>�5C3;26587 ,�3�725CB45�26587�3�.²/j2@36/�0?>6/R4�2;7D,�0p/�BÒBD,/_ / ><b�5/4�7�/�B97D¥8/�2;7a,�0 ,�1m2;>J54/,�0�485C3@0J587~4/,�0J><2@36/�7Á0g26>$2=,�2;>J5(2:.Bb�5n,�1W,�b�5C36/�2<7e,�0 /;>|_¥5CBÁB /;>�2�,�2;>J5:>;b�5/4�79��4,�38�U554�26>m7Á0�6�/�0g.h48/;>�58>5ZVG ><7a6$b2B45J6],u7¢5=B�,�1 2�36/�0J>�/R4d2<7e,�0?>�/;>�/�>�5d2J,�1 7Ò0?7B7ÁEy747BC<J/�B�<?b�72/�2658>m74>�/;>6>�<86�5871�?_[5 78,#0�,�2W4/,�0J><7�7¢5=3J4/,�0�2@3�,�BM><2@3@<�4�2@<¢3658>m7Ò0 7¢/�26/�3J/;>�52@36/�0?>6/R4�2;7D,�0�b23=,B48587×<23658>/Z�I[58>;747258>�2;>J/�25S�2;>J5|7Á0�2658I�3;792:.�4�>J5/4 ^ 5C3W796�b23�,8E�58>�3@<20?C2;796�5¨5���4d745C0�4�.m3�. >�<83�7B7ÁEB747B7Á0JIx7926>�_),�3 ^ 7Á0g2=,J2k_),Jb?>J/;>658>/�}/W4/,�6�b?7ÒB4/�2;7D,�0�b8>J/;>�51,�3r0J5�_ 7Á0�2658I�3;792k.&4/,�0J><2@36/�7Á0�2�>�¡�/�0J7 3@<2B458> � 7Á0J725�b�5C0J725C0�2@B9.*1Î3=,�6 2;>J5!7¢/�26/�3J/;>�5><26/�265[/�0J7®/�0 5CE;/�BÁ<J/�2;7D,�0Nb8>J/;>�5"_x>87D4�>®E�5C3;79�J58>�2�36/�0J>�/R4d2<7e,�0?>�<J><7Á0JIV2;>J5x4/,�6�b?7ÒB45871,�3;6�<2B4/;>/Z

Page 5: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P����� �

+L>J5"<?>65C3ª1@,�3;6 <¢B�/�2�5�>[/�0$7Ò0g2658I�3;792:.�4/,�0J><2@36/�7Á0�2L7Á0�/c725/4=B4/�36/�2<7ÒE�5RS©�236><2;C:,�36725C3[B4/�08CI�<J/;I;5RZ{+L>?5]7Á0�2658I�3;792:.{4�>J5/4 ^ 5C3 /�<?2=,�6�/�2;7D48/�BÁB9. 5�A2554C<82�5�> 2;>J5 1,�BÁBe,z_x7Á0JI ><265�bJ>/S><26/�3;2;7Á0JI�_x792;>(2;>J5N4/,�6�b87ÁB4/�2;7D,�0�b8>?/;>65RZ1k2W2@3�/�0J>@1@,�3;6�>�2;>J5�1,�3;6�<2B4/$7Á0�2=,:/�0`7Á0�2�5=3�0J/�BF0�,�3;6 /�B�1,�3;6 /�0J7 I;5C0J5C36/�2�5�>�bJ/�C36/�6 5d2�5=3<7e¥8587*><796�b2B979�J587]7Á0�2658I�3;792k.&4/,�0J><2@36/�7Á0�2�>5Sz58/R4�> 5d792;>?5=3�3�5�><b1,�0J><7932B45�1@,�3W7Á08C>�5=3<2;7D,�0J>",�3ª1,�3[725CB45d2<7e,�0?>5Z w�<�4�>�/®><796�b2B979�J587r1,�3;6�<2B4/W>?/;>"2=,�3�5"5=E;/�BÁ<J/�26587�,�02B9._x>J5C0{7Á021,�3<6�/�2;7D,�0~,�1�/�4�5C3;2�/�7Ò0 ^ 7Á0J7 74>�7Á0J>�5C3;26587~,�3�7¢5=B45�265871Z}+L>J5h7Ò0g2658I�3;792:.4�>J5/4 ^ 5C3�B9796�7926>m2;>?5�72/�26/:/� �5/4�26587�3�. /�0�7Á0�2�5�I�3<7a2k.`4/,�0J>;2�36/�7Á0�2N3�.-365CB�/�2<7Ò0?I]2;>J5B979265C36/�B4>�,�1"2;>?5�4/,�0J><2@36/�7Á0�2J2�,l2;>J5�72/�26/�3?/;>65®>�4�>J5�6�/8ZV+L>J5�>;2�3;7D4d2�5=3m2;>J5�4CB4/;>6><79�8C48/�2;7D,�0[,�1-2;>J5±72/�26/8S?2;>?5W6],�365�5���4�745C0�2@B9.�78,×58>�2;>J5�7Á0�2658I�3;792:.[4�>J5/4 ^ 5C3x_L,�3 ^ Z+L>J5|7Á0�2658I�3;792:.�4�>J5/4 ^ 5C3 ><2=,�3658>N2;>J5�>;796$b2B97a�?5�7�4/,�0J><2@36/�7Á0�26> 7Ò0�>@<�4�> /(_¥/z.`2;>J/�22;>J5�.*/�365Nii<87D4 ^ Ba.�/R4/4858>6><7932B45x7Á1 2;>J5C365�74>/�0:<8b�72/�265N,�0�/�6�5�6�3�5C3�,�1 2;>J5N4/,�3@365�C><b1,�0J7B7Á0JI�72/�26/�>65�25Z +L>J5�7Á0�2�5�I�3<7a2k.\4�>J5/4 ^ 5C3¥/�B4>�,�7Á0J><b�5/4�26>ª72587×<�4d2<7ÒE�5"3�<2B45�>t_x792;>3658I;/�367$2=,¤7Á0�2658I�3;792:.]4/,�0J>;2�36/�7Á0�26>/Z"G�>�7Á0�EHKrDLs)ORu�Y:S©7a6$b2B97D4d792 7Á021,�3;6 /�2;7D,�0�74>L,�02B9.I;5C0J5C36/�26587(7Ò1"792J74>"365CB45CE�/�0g2�2=, >�,�6�5�7Á0�2658I�3;792k.&4/,�0J><2@36/�7Á0�2/ZWv�7 ^ 5�2<>J5 ><796�b2B979�J5874/,�0J><2@36/�7Á0�26>�2;>J5[I;5C0J5C36/�26587®><796�b2B979�J587�3�<2B45�>,/�365[><2=,�36587�4CBD,;>65�2=,m2;>J5L4/,�3@3658><b1,�0J7BC7Á0JI*72/�2�/8Z]+L>J5�7Á0�2658I�3;792k.�4�>J5/4 ^ 5C3 7B74><2;7Á0JI�<874><>J58>m>�,/_ 7Á021,�3<6�/�2;7D,�0 5C0�265C36> 7Ò0g2=,/�3@<2B45RZ�wy,$2;>J5 7Ò0?>65C3;2;7D,�0j,�1ª/�0 5CB�5�6 5=0g2x6�/z.�B458/;7(2=,$2;>J5N796�b¢Ba7D4�792725CB�5�2;7D,�0j,�1/�0�,�2;>?5=3W,�0?5N_x>87D4�>�>J/;>m2=,$3�5�4�>J5/4 ^ 587]3�.�/�0�>;796�b¢Ba79�J587$7Á0�2658I�3;792k.n4/,�0J>;2�36/�7Á0�25Sb1,;>�>;7932B9.�/�1D265C3+/�b?b2B97e48/�2;7D,�0[,�1�14<¢3;2;>J5C3"3@<2B458>5ZGL2x2<>J5�5C0J7],�1�2@36/�0J>�/R4�2;7D,�0J>L2;>?5J7Á0�2658I�3;792k.\4�>J5/4 ^ 5C3/�<82=,�6�/�2<7e48/�BÁB9. 5�A2554C<82�5�>�2;>J55CE�/�BÁ<J/�2<7e,�0{b?>J/;>65R� ��,�3*58/R4�> 5=B45�6�5C0g2l2;>J/�2]74>�2�, 3�5 <8b�72/�26587o2;>J5p7Ò0g2658I�3;792:.4�>J5/4 ^ 5C3®BD,B, ^ >±/�2�2;>J5]4/,�3@3658><b1,�0J7B7Á0JI�72/�26/j4/,�BÁB45/4d2<7e,�0{¡�5RZ­I8ZaSM365CB�/�2<7e,�0 � 1,�3®365CB9C5CE�/�0g2 ><796�b2B979�J587n4/,�0J><2@36/�7Á0g26>�,�3±3@<2B458>5Z�1k2®5=E;/�BÁ<J/�2658>m2;>J5�6 2=,;I;5�2;>J5C3N_x792;>�2;>J55CB45d6 5C0�2m2=, E�5C3;7Á1D.j2;>J5�2�36/�0J>�/R4d2<7e,�0�Z 1V1ª0�,*5C3@3�,�3 /�b?b�5�/�3�>J2;>J5�7Á0g2658I�3;792:.�,�1�2;>J5_x>�,�B45*7¢/�26/�3J/;>�5�74>!5C0J>�<2365871Z}+L>J5h7Ò0g2658I�3;792:.~4�>?554 ^ 5C3l4/,�0J>;74725C36> 2;>J5(7Ò0?>65C3;2;7D,�0/�0J7!725CB45�2;7D,�0§,�1�7Á0�2658I�3;792:.l4/,�0J><2@36/�7Á0�26>F/�0?7!3@<2B458>F/;>F0�,�3;6�/�B82�36/�0J>�/R4d2<7e,�0?> _x>87D4�>6�/z.�>J/�b?b�5=0 /�2¥/�0g.�2;796�5 7×<23;7Á0JI¤2;>J5"B97Á1A5J,�1«/c72/�26/�3J/;>�5RZ 1V0$2;>J5�><7Ò0?I�B�5�C�E�5C36><7D,�072/�26/�3?/;>65V6\,×725CB�4/,�0J><74725C36587�7Á0�2<>874>"bJ/�b�5C3�¡@32<?2¥0�,�2�7Á0�2;>?5x>874><2=,�3;7D48/�B 7¢/�26/�3J/;>�5>�5d2<2;7Á0JI /R4d2�<J/�BÁBa.�>�<8b8b1,�3;26587p3�. sL,�0�485db?2=I[/;>65 � Sz/ 0J5�_ 7Á0g2658I�3;792:.�4/,�0J><2@36/�7Á0g2W74>/R4/485db?26587\,�0¢Ba.$7Á1-2;>J5±72/�26/�3?/;>65r>6/�2;79�J58>L7925Z

��� ����� *�� � '�� v�s ' *�� ,+v�q %G"0[7Á0�2�5�I�3<7a2k.\4/,�0J><2@36/�7Á0�2V7�>[/��23�>;2;C:,�3�725C3xb236587B7D48/�2;7ÁE�5"1,�3;6�<2B4/�2<>J/�2x>J/;>V2=,¤3�5�/2;>J5/,�365�6 ,�15�/R4�> 72/�2�/�3J/;>65!><26/�265�7×<23;7Á0JI(_x>87D4�> 2<>J5�4/,�0J><2@36/�7Á0�2N74>N4/,�0J>;74725C36587E;/�Ba7471Z 1V0 58>6>�5C0�485�S�792]4�/�0o3�5�>6585C0 /;> / 4/,�0g2;7Á0�<J/�BÁB9. /;> ^ 587oI),B,�B458/�0¦ii<J5C3;.�Z

Page 6: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P����� �

K�587×<�4d2<7ÒE�5r3@<¢B�58>�/�365 1,�3;6�/�BÁB9.�/�>@<?3J>65�2J,�1"2;>J5N7Á0g2658I�3;792:.n4/,�0J><2@36/�7Á0�2�>m32<82J2;>J5�./�365�6 /;725]2@3@<?5j3�. 7¢5�7ð<�4�7Ò0?I`2<>J5:0J5/485�>�>�/�3;.~4/,�0�4CBÁ<J>;7D,�0}7Á0J>;2�/�0�485�>/Z 1V0o31,�2;>48/;>658>/SR2<>J5r1,�3;6�<2B4/±365C1A5C36>V2=,�2<>J5�72/�2�/�3J/;>65r>;2�/�265J3g.�B979265C36/�B4>/Z-+L>874>L6 / ^ 58>ª>�<�4�>1,�3;6�<2B4/;> 58>;b�5/4�74/�BÒB9. /�2;2@3�/R4d2<7ÒE�5:1@,�3*365CB4/�2;7D,�0J/�B9C�>;2k.uB45*7¢/�26/ 6],×725CB�>!><7Á0�485�3J/;>�5/�0J7�72587×<�48587±B979265C36/�B4>-4/,�3@3658>;b1,�0?7®7B7Á365/4�[email protected]=,�3J/;>65[/�0J7c72587×<�48587±365CB4/�2;7D,�0J>5Z�+L>J53�5�2;265C3�2;>J5F72/�2�/+/;727ð3658>6>�587J3�.±/B979265C36/�BR48/�0q3�5"4CB4/;>�>;79�J5871S 2;>J5�6\,�365�2;>J5�7Ò0g2658I�3;792:.4�>J5/4 ^ 5C3L6�//.!36587×<�4�5�2;>J5±5�ABb�5=0?>65 1,�3x6 /�7Ò0g26/�7Á087Á0JIN7Á0�2�5�I�3<7a2k.�Z"+L>J5±>�5d6 /�0�2;7D4m,�1/�0N7Á0�2658I�3;792:.W4/,�0J><2@36/�7Á0g2 ,�3�/ 3@<2B45 74>}I�7ÒE�5C0�3�.J2;>J5�48/�0�,�087D48/�BP7Á0�2�5=3<b2365�26/�2;7D,�0£� 2@3@<J574>5�A2/R4d2�Ba.l2<>J5J7Á021,�3<6�/�2;7D,�0*5�Ayb¢Ba7D4�792@B9.§4/,�0g26/�7Á0J587�7Á0[2<>J5±72/�26/�3J/;>�5W,�3+7¢5=3<7ÒE;/�32B45_x792;>:3@<2B458>5Z�+L>874> 365/ii<87Á3658>[3@<2B458>x2�,l3�5r3658>;2�3;7D4d2�5�7��8>?5=3�5W_[5r<J>65±><2@36/�2;79�J587 3@<2B458>¡�EH�J+xORQ�Y � Z

������������ �� �����v}5�2�� 3�5�2<>J5 >65�2�,�1xb1,;><792;7ÁE�5!B979265C36/�B4>�,�1x2;>?5*725/4CB�/�3�/�2;7ÁE�5!B4/�0JI�<J/;I;5RS����������������� !�JZx+t>J5C0 /�0"�#�$%��&$'����(*)+ ��-,.%'0/$�#�1�74>"/l_[5=BÁB9C�1,�3;6 5871,�3;6�<2B4/32$4 7Á0 6�7Á0874>�45,�b�5!/�0?7 7B74>���<20�4�2;7ÁE�5#0�,�3;6�/�B[1,�3<6 6�/�2�4�>87Á0JI,�0J5�,�1-2;>J5r1,�BÁBD,/_x7Á0JI�bJ/�2<265C3@0J>/�

5�6 � ��������� 6�7 ¡#� �98 ����� 8 � �38�: �,�3

;<6 ����������� 6 7 ¡>=?�@�A"�����%AB=?�C�3A : �DFE�5C3;.±E;/�3;74/�32B45 6 �D��������� 6 7 >J/;>�2=,N,B454C<23�7Ò0!/�2,B�58/;><2 ,�0J5x,�1�2;>J5�Ba79265C36/�B4>� � ����������� � Z�+L>J5¨>@<83¢1,�3;6�<2B4/;>£,�18r /�3�5ª5�792;>J5C3-i�<?/�0�2;79�J5C3;C�143�5�5E2$4x0ç>�,�3/;I;/�7Á0N7Ò0�,�0J5L,�182<>J5[/�31,8E�5F1,�3<6�/�26>/Z 1V1�,�0J5�,�1?2;>J5¨E�/�3<7�/�3¢B�58> 6 �%��������� 6 7,B4/4=<¢36>�7Á0 : 2<>J5C0�792-74>}1436585RZ�Uª/�3;74/�32B45�>�,�2;>J5C3-2;>J/�0�2;>J5Lii<J/�0g2;79�J587�,�0J58>/�365¬0�,�2�b1,;>�><7a3¢B�5RZ

.�7Á0874>=4/,�b�5(1,�3;6 6�58/�0J> 2;>J/�2�58/R4�>qii<J/�0�2<7a�?5=3�>J/;>(/x6$7Ò0?7a6 /�B�>=4/,�b�5RZ�KJ74>���<20�4�2;7ÁE�50�,�3;6 /�B�1@,�3;6 7Á0�4CBÁ<J7258>J2;>?/�2 0?5�I;/�2<7e,�0?>�/�365�b2<?>;>J587-78,/_0�2=,]2<>J5!B979265C36/�B4>5ZGF 53658><2@3;7D4�2¥<?b�72/�2658>x2�,!I�3=,�<20J7 B979265C36/�B4>/;>x4/,�6$6\,�0!1,�3+7¢/�26/�3J/;>�5�>/Z I¨<82�2<>J5±/�B�IR,�C3;792;>86 >F1,�3V>J/�0J7×B97Á0JIN7Á0�2�5�I�3<7a2k.�/�B4>�,�1Î<20�4�2;7D,�0 1,�3LbJ/�3;2;74/�BÁB9.l7Ò0?>;26/�0g2;74/�26587!B979265C36/�B4>¡�>�585lEHILK�.jORO�Y � Z������������ �� �����

G D'D/$�H,�/I)J��� K� 74>�/ >65�2\,�1ML-N�O/�D��,RZ D¨/R4�> <8b�7¢/�265j74>�/ 2=,�26/�BÁB9.7Á0J><26/�0�2;74/�26587$b1,;><7a2<7ÒE�5J,�3 0J58I;/�2;7ÁE�5�B979265C36/�B£,8E�5C3�� � Z"G b1,;>;792;7ÁE�5"B979265C36/�B

� 1V0 1A/R4�25S¢1,�3;6�<2B4/;>/�B4>=,¤6�//.l3�5¬<8b�72/�265871S?>�585�>�554�2;7D,�0 � Z � Z

Page 7: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P����� �

� ><26/�0J7¢>"1,�3J2;>J5N7Á0J>�5C3;2;7D,�0n,�1 2;>J5N7Á021@,�3;6�/�2;7D,�0 �mS�/!0?5�I;/�2<7ÒE�5rB979265C36/�B=?�-1,�3"2;>J5"725CB45�2;7D,�0�,�1�7925Z G"0l7Ò0g2658I�3;792:.l4/,�0J>;2�36/�7Á0�2"74>?'0������� /$�$�2=,r/�0<8b�72/�2�5m7a �2;>J5�4/,�6�b2B45�6�5C0�2",�1£2<>J5�<8b�7¢/�265J74>¨<20879�J/�32B45�_x792;>*/®B979265C36/�B7Á0]2;>J5N4/,�0J>;2�36/�7Á0�25Z

+L>874>¬365CB�/�2<7e,�0?>;>879b 7258>�4C3;793�5�>V_x>87D4�>�7Ò0g2658I�3;792:.`4/,�0J><2@36/�7Á0�2�>J>J/8E�5�2�,]3�5�4�>?554 ^ 587_x792;>�/�0 <8b�72/�2�5��¨7Ò1[/�Ba79265C36/�B =?� ¡#� � /�b8b�58/�36>�7Á0 /]4/,�0J>;2�36/�7Á0�2W2<>J5C0`792W>J/;>�2=,3�5W4�>?554 ^ 587]7Á1�/�B979265C36/�B-����<20879�J/�3¢B�5�_x792;> �{74>/�0[7Á0J>�5C3;2;7D,�0`¡�725CB45d2<7e,�0 � ZG"B4IR,�3;792;>86 � C � EHILK�.jORO�Y�7¢5d2�5=3<6�7Á0J58>�/ ,0���3N�����9�+O �#�-,.D/$�-)+� �/$� �#�1D��&1'����()+ ��-,.D'D/$�#�$ ��� 365CB45CE�/�0g2L2=, /�0 <8b�72/�265���Z v}5�2 �}3�5�/�B979265C36/�B�7Á0���� <20879�J/�32B45_x792;>�2;>J5l4/,�6�b2B45�6�5 0�2J,�1���Z¤Uª/�3;74/�32B458>m7Á0 � 2;>J/�2±/�365�<2087ÁE�5C36>�/�BÒB9.nii<J/�0g2;79�J5877Á0���� 32<?2®0�,�2 IR,8E�5C3@0?5�7 3�. 5�Ay74><265C0�2;74/�B�ii<J/�0g2;79�J5C36> /�3�5\48/�BÁB4587"'D��N��/ )���/������ / '���/������ ,N,�1?�mZ

����&1 $'������� � ���� 1�0?>;26/�0g2;74/�265$7Á0�2<>J5]45,�0?>;2@3�/�7Ò0g2�2;>J5�365�b2B4/R4858/�32B45®E;/�3;74/�32B458>N,�1�v /R4dC45,�3�7B7Á0JI�2=,�2;>J5r<8b�7¢/�265���Z

� K�3=,�b[2<>J5Ni�<?/�0�2;79�J5C36>m,�1-2;>J5r365�b2B4/R4858/�32B45"E�/�3<7�/�3¢B�58>/Z� r+5�b2B4/R485"2;>?5FB979265C36/�B �p3�.�� �"!$#&%L7Á1J/�BÁB�7926> E�/�3;74/�32B458>�_¥5C365¨365�b2B4/R4858/�32B45�Z� � ,;>�>;7932B9.l6 / ^ 5�>;796�b¢Ba79��48/�2;7D,�0J>/Z

+-,�4�>J5/4 ^ 2<>J5l7Á0�2�5�I�3<7a2k.�,�1[/�0 <?b�72/�265l792�7�>±>�<8��4�745=0g2J2=,(b23=,8E�5|2;>J5�><796�b2B979�J5877Á0J><26/�0�4858>�,�1�7Á0�2658I�3;792:.]4/,�0J>;2�36/�7Á0�26>[3�5=B45CE;/�0�2�2�,�7925Z"+�,�3�5mb23�5db?/�36587�1@,�3x2;>J5r5d�lC4�745=0g2"7Á0�E�58>;2<7�I;/�2<7e,�0l,�1�<8b�72/�2�5�>�2;>J5V7Á0�2658I�3;792:.l4�>J5/4 ^ 5C3�4/,�6�b87ÁB458>�/r0J5�_{7Ò0g2658I�3;792:.4/,�0J><2@36/�7Á0�2x2�,�bJ/�36/�6�5�265C3;7D¥8587�><796�b2B979�J587l4/,�0J>;2�36/�7Á0�26>/Z

������������ �� ��� �v}5�2'��� 3�5"/�0�7Á0�2658I�3;792k.�45,�0?>;2@3�/�7Ò0g25S�� /±B979265C36/�B�,B454C<23�3;7Á0JI�7Ò0(���lS×/�0J7) 2<>J5±>65�2x,�1�365�b2B4/R4858/�32B45"E�/�3;74/�32B458>L,�1?��Z�+L>J5C0[2;>J5�2@3<7ab¢B�5�2

¡+*,��� �.-!� ) �74>�48/�BÁB4587�2<>J5 N/ '0/�� ��%��'��0/J��O ,0��� N�#� �?��O )+ ��-,.%'0/$�#�1N_x>J5C3651- 74>2;>J5�4/,�6�b2B45�6�5C0�2",�1?��Z2*,��� 74>¥I;5C0J5C36/�2�5�7 /;>[7258>�4=3<7a3�587|7Ò0*/�B4IR,�3;792;>86� C � 3¢<82J7Á0J>;2�5�/;7(,�1"2;>J5N7Á0J><26/�0�2<7�/�2<7e,�0`,�1 2;>J5 365�b2B4/R4�58/�32B45rE;/�3;74/�32B45�> )2;>J58>�5[E;/�3;74/�32B45�> 3�554/,�6 5"bJ/�36/�6 5�265C36>5Z3- 7�>"48/�BÁB4587N2;>J5 �#�-,.D/$�1���/���� ���#��D��'D/��1,�14*,���lZ

Page 8: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P����� �

G b1,;><7a2<7ÒE�5�¡³0J58I;/�2;7ÁE�5 � 7Á0J><26/�0�2<7�/�2<7e,�0 Ba79265C36/�B}>;2�/�0J72>[1,�3�/!><7a6$b2B979�J587l45,�0?>;2@3�/�7Ò0g23658><b1,�0J>;7932B45r1,�3J7Á0J>�5C3;2;7D,�0J>�¡�725CB45�2;7D,�0J> � ZJ�J,�265¤2;>J/�2J2;>?5�bJ/�3�/�6�5�265C3;7D¥85�7 >;796�b¢Ba79C�J587�45,�0?>;2@3�/�7Ò0g2�74>V32<87ÁB92�3g. ><796�b2B97Á1D.B7�0?I®/�4/,�0J><2@36/�7Á0�2J_V7a2<>n2;>?5�4/,�6�b2B45�6�5C0�2x,�1,�0J5],�1m7a2�>®B979265C36/�Bx,B454C<23�365C0�485�>/Z���/8EB7Ò0?I�/�0 <8b�72/�265 � ,�0J5],�02B9.�>J/;>�2=,�26/ ^ 52;>J5VbJ/�36/�6 5�265C3;7D¥�587®><796�b2B979�J587N4/,�0J>;2�36/�7Á0�26> _x792;>$7Á0J>;2�/�0�2;74/�2;7D,�0�Ba79265C36/�B4>(<20879�J/�32B45_x792;> ��Sg2=,®3�5db¢B�/R485m2;>?5Wb?/�36/�6�5�265C36>�_x792;>[2;>J5¬E�/�BÁ<J58>[I�7ÁE�5C0�3�. ��S2/�0?7�2�,!5=E;/�B9C<J/�265V2;>J5"I;/�7Á0J587 ><796�b2B979�J587N7Á0J><26/�0�4858> ,�114/,�0J><2@36/�7Á0g26>5Z +L>?51,�BÁBD,/_x7Á0JIr/�B4IR,�3;792;>86>�<86�6 /�3;7D¥�5C>"2;>?5q4/,�6$b87ÁB�/�2<7e,�0�,�1,/�0[7Á0�2658I�3;792:.[4/,�0J><2@36/�7Á0�2/Z����&1 $'������� � � �

��,�3+58/R4�>�B979265C36/�BH�¦,�1�/�0[7Á0g2658I�3;792:.[4/,�0J>;2�36/�7Á0�2����§�� �¬5C0J5C36/�2�5�/�0J7�><2=,�365l2<>J5lbJ/�3�/�6�5�265C3;7D¥85�7:><7a6$b2B979�J587j45,�0?>;2@3�/�7Ò0g2±1,�3��Z� s),�6�b87ÁB45!3�<2B45�>¤2;>J/�2�>J/8E�5 /�45,�0�4=BÁ<J><7D,�0�Ba79265C36/�B¨<2087Á1D.B7Á0JIj_V7a2<> 2;>J5>;74I�02B458>6>¨B979265C36/�B-� ¡ >6585J3�5CBD,/_ � Z

K�587×<�4d2<7ÒE�5�3�<2B45�>c725��20J5l>�,/_ 485C3;26/�7Á0 72/�26/�/�365|b23=,×7×<�48587�143=,�6 ,�2;>J5C3 7¢/�26/j,�12;>J5c72/�26/�3J/;>�5RZx+L>J58>�5�6�//.]3�5®5�ABb2B97D4d792@B9.�><2=,�36587�,�3 /;I;/�7Á0�725��20J587[3g.*3@<2B458>/ZxG3@<2B45�6�/z.�3�5�3�554C<23�>;7ÁE�5J_V7a2<>n2;>?5�3�5�><2@3;7D4�2;7D,�0[2;>?/�2x2;>J5�4/,�0�4CBÁ<J><7D,�0�B979265C36/�B174> 0�,�2/�BÁBD,/_¥587�2=,±5C0�265C3¨0J58I;/�26587�7Á0�2�,N2;>J5V31,×7B.�,�117926>",z_0�3@<¢B�5RSi7B7Á365/4�2@B9.�,�3"7Á0J7B7Á365/4�2@B9.<J><7Á0JI ,�2;>J5C3�3@<2B458>5Z K�587×<�4d2<7ÒE�5 3@<2B458>l6 //.²1,�3;6�/�BÁB9. 3�5�>�585=0 /;>�/ >�<83J>�5d2],�12;>J5�7Á0�2658I�3;792:.]4/,�0J>;2�36/�7Á0�26>�32<82V2;>J5�.�/�365J6 /;725m2@3@<?5J3�. 72587×<�4�7Á0JIN2;>?5�0J5/4858>6>�/�3;.4/,�0�4CBÁ<J>;7D,�0$7Ò0?>;26/�0�4�58>/Z������������ �� ����

G O��O9L-)J�� �K� '�L����l74>[/�0[7Á0�2�5�I�3<7a2k.\4/,�0J><2@36/�7Á0�2L6 /�2=4�>87Á0JI¤2;>J5�1@,�3;6�/�2;�6 � ��������� 6K7 ¡ =?� � A ������A =?� � A&¡ = : AB����� 7 ��� �<�

�¢3=,�6 725��208792;7D,�0 � C � 792�1,�BÁBD,/_+>J2<>J/�2 6 � ��������� 6K7 /�3�5 5�A2/R4�2@B9.\2<>J5�E�/�3<7�/�3¢B�58>m,B4dC4C<23@3;7Á0JI�7Á0 2<>J5B)+ ��-) �#L-,0�� K� �#��D��'D/�� � ��� 7 ��� /�0?7�7Á0 ����������� ���C��Z F 5�<J>�<J/�BÁB9._3;79265±72587×<�4d2<7ÒE�5¬3@<2B458>L7Á0[2;>J5r1,�3<6

;�6 � ��������� 6�7 ¡;¡#� �98 ����� 8 � �38�: ��� ���� 7 ��� �DFE�5C3;.�7Á0J><26/�0�2;74/�2;7D,�0[,�112<>J5"E�/�3<7�/�3¢B�58> 6 � ��������� 6�7 2;>?/�2�>�/�2;74><�J58> 2;>J5�>�<8321@,�3;6 <¢B�/��� 8 ����� 8 ��� 8 : /�B�>�,m7Á0J><26/�0�2;74/�2658>�� ��� 7 ��� /�0J7�B45�/;7¢>-2=,±/�0�796�b2B97D4�7a2}1A/R4�2",�1�2;>J572/�26/�3?/;>65RZJ+L>?5®1,�BÁBD,/_x7Á0JI�725��208792;7D,�0J>�>�5�2+<8b / 725�b�5C0J725C0�4�. 0J5�2:_L,�3 ^ 3�5d2k_¥585C03@<2B458>NEHILK�.jORO�Y:�

Page 9: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P����� �

������������ �� ��� �G B979265C36/�B-�@� ¡ =?��� � O ��'D��)J���(3O��N�� �HO,N,�0n2;>?5±B97a2�5=3�/�B-���l¡#�@�D� ��� � � 79 \2<>J5C365+5�AB74>;2�>F/ 7¢5�7ð<�4�2;7ÁE�53@<¢B�5V_x792;> /�B979265C36/�B87Á0$7a2�>"31,×7B.�2;>?/�2�74><20879�J/�3¢B�5t_x792;> ���N¡>=?��� � S×/�0J7�2;>?7�>�<20879��48/�2;7D,�0�6�/ ^ 58>-2<>J5�4/,�0�4CBÁ<J><7D,�0B979265C36/�B-74725C0�2;7D48/�B-2=, �@�zZN+t>J5�2�36/�0J><7a2<7ÒE�5�4CBD,;>@<23�5®725��20J58>J2<>J5®3�5=B4/�2;7D,�0���EO��N��I�-O,N,�0 ����Z

��,�3J2;>J5Nb2<¢3;b1,;>65¤,�1"7Ò0g2658I�3;792:.n4�>?554 ^ 7Á0JI�792J74>0�,�2�0J5/4�58>�>6/�3<.�2=,]4/,�0J><7�7¢5=3"/!3@<2B452;>J/�2J48/�0 0?5=E�5C3J4/,�0�2@3;7932<?265N2=,|2;>J5®5CE;/�BÒ<?/�2;7D,�0h,�1F/�4/,�0J><2@36/�7Á0g25S�7:Z­5�Z¢2;>J5C365N74> 0�,7Á0J><26/�0�2;74/�2;7D,�0®B979265C36/�B8,�1�/�0�. ><796�b2B979�J587W4/,�0J><2@36/�7Á0�2 2;>J/�2 6�/�2�4�>J58>�2;>J5x4/,�0�4CBÁ<J><7D,�0B979265C36/�B£,�1-2<>J5�3@<¢B�5N,�3+7¢5db�5C0J7¢>x,�0[7925Z"K¬<23;7Á0JIl4/,�6�b87ÁB4/�2;7D,�0lb8>J/;>�5J2<>J5�7Ò0g2658I�3;792:.4�>J5/4 ^ 5C3�2@36/�0?>@1,�3<6�>�/j45,�0�4�5C3@0?5�7 3@<2B45],�0�485�2�,"N/ '0/�� ��%��'��0/J��O ,0��� N��� �?��O'�L�����,RZ�w�796�b2B979��48/�2;7D,�0\,�1,/�3@<2B45�7�> 78,�0J5W,�0�7926>�)� K�-O �� �� �� ���-N'0� ,�,0�� ��

;<6 ����������� 6 7 ¡>=?�@�A"�����%AB=?�C�3AB= : �><7a6$7ÁB�/�3�2=,�4/,�0J>;2�36/�7Á0�2F>;796�b¢Ba79��48/�2;7D,�0£Z�G"BÁB8,�2;>J5C3�3�<2B45�> _V>�,;>65L4/,�0�4CBÁ<J><7e,�0±B979265C36/�B4>/�365±<¢0879�J/�32B45�_V7a2<>&,�0J5�,�1 2;>J5cBa79265C36/�B4>E���D�����������C� ,�3J_x792;>`,�0J5¤,�1"2;>J5±B979265C36/�B4>,B4/4=<¢3;7Á0JI�7Á0 : /�B4>�,�>?/8E�5�2=,�3�5N45,�6$b87ÁB45�7�Z

�����4���# v �� v(s ' *�� ,+vFq %F¦>?5=0®/[0?5d_�7Á0�2658I�3;792:.N4/,�0J>;2�36/�7Á0�2£,�3�/[3�<2B45 7�>z/;7272587�2=,L2;>?5ª><.ð><265�6&S 2;>J5F1@,�3;6 <¢B�/bJ/;>�>658>V2;>J5�4/,�6$b87ÁB�/�2<7e,�0$b8>J/;>�5�,�0�485RZx+L>?5®5CE�/�BÁ<J/�2;7D,�0[b?>J/;>65�b23�,��826>�1Î3=,�6 2;>?7�>5�ABb�5=0?>65|3�5548/�<J>�5$792§ii<87D4 ^ B9.`�20J7¢>l2;>J5 >;796�b¢Ba79�J587�bJ/�36/�6 5�265C3;7D¥�587�4/,�0J><2@36/�7Á0�26>/�0J7 3@<2B458>m2;>J/�2J>J/�E�5N2=,l3�5c5=E;/�BÁ<J/�26587$7Á0&,�367¢5=3J2�,�5C0J>�<2365N7Á0�2�5�I�3<7a2k.�ZJs�>J5/4 ^ 7Á0JI/�2@36/�0?>6/R4�2;7D,�0]74>[E�5C3;.�2;796 5dC:4C3;792;7D48/�B83�5/48/�<J>�5J,�1-2;>J5r/8E�/�7ÁB4/�387ÁB9792:.�,�1�2;>J5±><.ð><265�6&Z

����&1 $'������� � � �1V0J><b�554�2[5�/R4�> <8b�72/�265�� ,�1-2;>J5�2@3�/�0J>6/R4�2;7D,�0£�� +�/ ^ 5[5�/R4�>NbJ/�3�/�6�5�265C3;7D¥85�7r>;796$b2B97a�?5�7J4/,�0J><2@36/�7Á0g2)¡ *,��� � -!� ) � _x>�,;>�57Ò0?>;26/�0g2;74/�2;7D,�0*B979265C36/�B - 74>[<20?7a�?/�32B45J_x792;>�2;>J5r<8b�72/�2�5����� 1�0?>;26/�0g2;74/�265�2;>J5rE;/�3;74/�32B45�>�,�14*,��� 2;>?/�2¨,B4/4C<23L7Ò0 - /�0J7*/�365�7Á0 )_x792;>[2;>J5±/R4�2@<J/�B}E;/�BÁ<J58>),�1�2;>J5r<8b�72/�265���Z

� Uª5=3<7Ò1 . 2;>?5 >;796�b¢Ba79�J587 7Á0J><26/�0�485 ,�1�/ 4/,�0J><2@36/�7Á0�2 /;I;/�7Á0J><2{2;>J572/�26/�3J/;>�5RZ

� 1�0!/�0J/�BD,;I�.�b23�,y4858587N_x792;>�58/R4�>�6�/�2=4�>87Á0JImb?/�36/�6�5�265C3;7D¥8587 ><796�b2B979�J5873@<2B45R�

Page 10: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P����� � �

� � /�3;2<7�/�BÁB9.W7Á0J><26/�0g2;74/�265�2;>J5�bJ/�36/�6 5d2�5=3<7e¥8587�><796�b2B979�J587�3�<2B45�_V7a2<>�2;>J5<8b�72/�265RZ� I�.±1,�3<_¥/�367!5CE;/�BÒ<?/�2;7D,�0 ,�1?2;>874>�3�<2B45¥7¢5�7ð<�485ª/�BÁBu72/�2�/�/�0J7�4/,�0g2;7Á0�<J5_x792;>[2;>J5�6 /;>[0�,�3;6�/�Bz<8b�72/�2658>/Z

1V1�/�B979265C36/�B1��74> 2=,�3�5L7Á0J>�5C3;26587]¡�725CB45d2�5�7 � 2;>?5=0l2<>J5x7Á0g2658I�3;792:.l4�>J5/4 ^ 5=3 26/ ^ 58>F58/R4�>bJ/�36/�6 5�265C3;7D¥�587:>;796$b2B97a�?5�7�4/,�0J><2@36/�7Á0�2�¡ *,��� � -!� ) � _x792;> /]b1,;><792;7ÁE�5\¡�0?5�I;/�2<7ÒE�5 �7Á0J><26/�0�2;74/�2;7D,�0®B979265C36/�B�- <20?7a�?/�32B45�_V7a2<>���Z�+L>874> 4/,�0J><2@36/�7Á0g24*,���o74>�2=,m3�5�<20879�J587/R4/4/,�367B7Á0JI�2=, ) /�0J7l2�,N3�5E�5C3;79�J5871Z�1V1�2;>J5C365m74>¨/Wb?/�36/�6�5�265C3;7D¥8587 ><796�b2B979�J587±3@<2B45_x792;>�/Nb1,;><792;7ÁE�5J¡�0J58I;/�2;7ÁE�5 � 7Ò0?>;26/�0g2;74/�2;7D,�0 B979265C36/�B - �2<¢0879�J/�32B45L_x792;> ��2;>J5C0�/�B4>=,2;>874> 3@<2B45�>J/;>V2=,l3�5�7Á0J><26/�0�2;74/�26587]3g.]2;>J5±0J5�_ B979265C36/�B�/�0J7*5CE;/�BÁ<J/�265871Z"+L>?7�>m48/�072587×<�485m,�2;>J5C3[B97a2�5=3�/�B�>4� _V>87D4�> /�3�5x796�b¢Ba7D4�792 7Á0J>�5C3;2;7D,�0J>�,�3¥725CB45�2;7D,�0J>ª725�b�5C0J7B7Á0JI,�0[2;>?5 ><74I�0�- �}5C0�265C36587]_x792;>(7Ò0g2=,�2;>J5r3@<¢B�5RZ�+L>J5C0[2;>?5W7Á0g2658I�3;792:.[4�>J5/4 ^ 5C3x�20J72>/;I;/�7Á0 /�bJ/�36/�6 5d2�5=3<7e¥8587±>;796$b2B97a�?5�7¬3@<2B45x,�3�4/,�0J><2@36/�7Á0�2 _x792;>!/�0l7Á0J>;2�/�0�2;74/�2;7D,�0�Ba792;C5C36/�B?<20879�J/�32B45m_x792;> � ¡�,�2<>J5C3;_x74>65m2<>J5m�236><2¥><796�b2B979�J587±3@<2B45m_L,�<2B47×0£0 2�>J/�E�5m3�5�5C0I;5C0J5C36/�26587�� � Z"I¨<82V2;>874>x74>x,�0¢Ba.�0J5/485�>�>�/�3;.l7Á1�/�0�. B979265C36/�B4>�>?/8E�5�3�5�5C0*72587×<�485871ZG"BÁB�7Á0�2�5�I�3<7a2k.�4/,�0J><2@36/�7Á0�26>,/�0J7±3�<2B45�>,/�365[5CE�/�BÁ<J/�2�5�7N,�0�2<>J5L265�6�b1,�3�/�3;7ÁBa.�<?b�72/�2658772/�26/�3?/;>65RZ 1V1�/�0�7Á0�2658I�3;792:.cEy7D,�B4/�2;7D,�0�74>,725�265/4d2�5�7�/Jb1,;>�><7a3¢B�5�3658/R4�2;7D,�0�74>�2=,�365C14<?>652;>J5�2�36/�0J>�/R4d2<7e,�0 /�0?7{2=,-3=,�BÁBm3J/R4 ^ 2;>J5:72/�26/�3J/;>�5(2=,�7926>�,�B47p><26/�265RZ G"0�,�2;>J5C33658/R4�2;7D,�0¦74>l2<>J5`4C3658/�2;7D,�0 ,�1±/�bJ/�36/�BÁB45CB�72/�26/�3J/;>�5 E�5=3�>;7D,�0¦_V>87D4�>¦74>$bJ/�3;2;74/�BÁB9.7Á0�4/,�0J><7�><265C0�2 32<82¨143=,�6 _V>87D4�>!1,�3;_¥/�3�7�3�554/,8E�5C3;.�4�/�0�><26/�3;2�_x792;>�,�<82¨365878,�7Á0JI�2;>J52@36/�0?>6/R4�2;7D,�0£ZGF 5!78,�0�,�2±7B74>=4C<J>�>"3658/R4�2;7D,�0J>J2=,h7Ò0g2658I�3;792:.�EB7D,�B4/�2;7D,�0J>1Î<23;2;>J5C3N7Á02;>874>�b?/�b�5=3�32<82,0�,�265"2<>J/�2 6],�365 �J5�AB7932B45,365/45,�E�5=3<.W74>�b1,;>�>;7932B45 _x792;>�,�<¢3�/�b8b23=,;/R4�><J><7Á0JI�2�554�>¢087Di�<?5�>t31,�3@3=,/_[5�7 143=,�6 EB745�_ <8b�72/�2;7Á0JI8Z

���������#&*��� s ' *�� *!+ � *�� q�s×t2v '�� s2q�v �20 � � % qG 0J5�_ 7Á0�2658I�3;792:. 4/,�0J><2@36/�7Á0�2{6�<J><2~3�5 4/,�6�b2B45�265CB9. 5=E;/�BÁ<J/�26587 /;I;/�7Ò0?>;2}2;>J572/�26/�3?/;>65®><26/�265]¡�<20¢B�58>�>m792W4�/�0j3�5 b23=,8E�5C0 7¢7Ò3�554�2@B9.]7Á0�4/,�0J><7�><265C0�2m_qZí35Z 25Z 2;>J5�5�AyC74>;2<7Ò0?I�7¢/�26/�3J/;>�5 >�4�>J5�6�/pE ILKr.jORO�Y � Z 1�1"2<>874> 7?,u58>�0£0 2¨48/�<J>�5�/�0`7Á0�2658I�3;792k. 5C3@3=,�32;>J5N4/,�0J><2@36/�7Á0�2m74>L2@36/�0?>@1,�3<6�587*/�0J7[4/,�6$b87ÁB�587|2=,!>;796$b2B97a�?5�7$4/,�0J>;2�36/�7Á0�26>"/;>725�C>�4=3<7a3�587 /�31,8E�5RZ9Fo>J5C0 725CB45�2;7Á0JI�/�0[7Á0�2658I�3;792:.[4/,�0J><2@36/�7Á0�2/S82<>J5N45,�6$b87ÁB4/�2;7D,�0�/�B4>=,725CB45�2658>�/�BÁBy4/,�6�b87ÁB4587�1,�3<6�>-,�1�2;>J/�2"4/,�0J>;2�36/�7Á0�2F/�0J7±<8b�72/�2�5�>�2;>J5t7Ò0g265C3@0J/�B2><2=,�36587725�b�5C0J725C0�4�7458>�,�1}3@<2B458>/�b8b2B97D48/�32B451@,�3�4�>J5/4 ^ 7Ò0?IN2;>874>x4/,�0J><2@36/�7Á0�2/Z"+L>J5�7Ò0?>65C3;2;7D,�0,�3�725CB�5�2;7D,�0[,�1�3@<¢B�58>V74>L>J/�0J7×B4587*/�0J/�BD,;IR,�<J>�B9.1�×/;>x6 5=0g2;7D,�0J587$3�5=1@,�365RSJ><796�b2B979�J5871,�3;6 >�,�1,3@<2B458>"/�365N,�02B9. I;5C0J5C36/�2�5�7(7Á1-2;>J5¤4=3�5�/�2�5�7h7a6$b2B97D4d792�7Ò0¢1,�3;6�/�2<7e,�0(6�74I�>�2EB7D,�B�/�2�5�>=,�6 5m7Ò0g2658I�3;792:.[4/,�0J><2@36/�7Á0�25Z

Page 11: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y��������������@�������D��������P����� �$�

����&1 $'������� � � �� 1�1®/�0o7Ò0g2658I�3;792:.F45,�0?>;2@3�/�7Ò0g2 ��� 74>�IR,�7Á0JI�2�, 3�5�7Á0J>�5C3;26587{7Á0�2�,�2;>J5>;.2><265�6&�� +}36/�0J>�1,�3;6 ��� 7Á0�2=,�2;>?5W7Á0g265C3@0J/�B}0�,�3;6 /�BÒ1@,�3;6&Z� Uª5=3<7Ò1 .�2;>J5N4/,�6�b¢B�5�265J4/,�0J><2@36/�7Á0g25Z� 1�1�7Ò0g2658I�3;792:.]74>[0�,�2EB7D,�B4/�26587$2;>J5C0n4/,�6�b87ÁB45V2;>J5N4/,�0J>;2�36/�7Á0�25Z

� 1�1,/�3@<2B45 : 7�>"IR,�7Á0JI¤2=,�3�5J7Á0J>�5C3;26587]7Á0�2=,�2<>J5±>;.2><265�6&�� +}36/�0J>�1,�3;6 : 7Á0�2=,�2<>J5�7Ò0g265C3@0J/�B}365�b23658>�5C0�26/�2;7D,�0£Z� 1�1L2;>?5=3�5�5�AB7�><26>±/(bJ/�36/�6�5�265C3;7D¥8587�>;796$b2B97a�?5�7�4/,�0J><2@36/�7Á0�2�,�3®/(bJ/�C36/�6�5�265C3;7D¥8587 ><796�b2B979�J587±3@<2B45m_x792;> /�0�7Á0J><26/�0�2<7�/�2<7e,�0�B97a2�5=3�/�B�2;>?/�2�74><20879�J/�32B45�_x792;>[2;>?5Wb1,;><792;7ÁE�5J4/,�0�4CBÒ<?>;7D,�0�B979265C36/�B�,�1-2;>J5r3@<2B45 : �� K�587×<�485�/�BÁB�45,�0�4=BÁ<J><7D,�0J>L,�1-2;>J5 3@<2B45 : /�0J7]2�3658/�2x2;>J5�6 /;> 0�,�3;C6�/�B�7Á0J>�5=3<2<8b�72/�2658>/Z� 1�1(0�,�7Á0�2658I�3;792:. 5C3@3=,�3�/�b8b�58/�36587\,�3m2;>J5C365�_¥/;> 0�,�2;>87Á0JI�2�,l4�>J5/4 ^/�0J7 7Á1m2;>J5C365*5�AB74>;2�>®/�0~7Á0J><26/�0g2;74/�2;7D,�0 B979265C36/�B�2<>J/�2l74>®<20?7a�?/�32B45_x792;>]2;>J5Jb1,;><792;7ÁE�5�,�3V_x792;>]2;>J5�0?5�I;/�2�5�7$4/,�0�4CBÒ<?>;7D,�0�B979265C36/�B�,�1 :2;>J5C0�¡�/�0J7�,�02B9.�2<>J5C0 � � 4/,�6�b?7ÒB45 : Z

� 1�1�/�0}7Á0�2658I�3;792k. 4/,�0J><2@36/�7Á0�2(��� 74>!IR,�7Á0JIj2=,�3�5*7¢5=B45�26587�2;>?5=0{2�/ ^ 55�/R4�>�,�1-7926>LbJ/�36/�6 5�265C3;7D¥�587�>;796�b¢Ba79�J587l4/,�0J><2@36/�7Á0�2�>q¡ *,��� � -!� ) � �� K�5CB45d2�5+58/R4�>�b?/�36/�6�5�265C3;7D¥8587 ><796�b2B979�J587®3�<2B45J_x>J5C365m2<>J5J7Á0J><26/�0�2<7�/�C2;7D,�0�Ba79265C36/�B�- 725�b�5C0J72>m,�0j2;>J5�4/,�0�4CBÁ<J><7D,�0*B97a2�5=3�/�B ,�1 2<>J5®3�<2B45�,�32;>J5¨<20J><74I�0J587N7Á0J>;2�/�0�2;74/�2;7D,�0®B979265C36/�B�74>}<¢0879�J/�32B45�_x792;>�7925S�/�0J7¤7Ò1?2;>874>3@<2B45�74>"0�,�2�0?554858>�>6/�3;. 1,�3�2;>J5�5CE�/�BÁ<J/�2;7D,�0n,�1ª/�0g.&,�2<>J5C3J7Ò0g2658I�3;792:.45,�0?>;2@3�/�7Ò0g25Z

� K�5CB45d2�5�¡ *,��� � - � ) � Z� 1�1,/�3@<2B45 : 74>+IR,�7Á0JI¤2=,|3�5�725CB45�26587�/�0?7[2;>?7�> 3@<2B45�_¥/;>m4/,�6�b87ÁB4587�3�.2;>J5�7Á0�2658I�3;792:.[4�>J5/4 ^ 5C35�� 1�1L2;>?5=3�5�5�AB7�><26>±/(bJ/�36/�6�5�265C3;7D¥8587�>;796$b2B97a�?5�7�4/,�0J><2@36/�7Á0�2�,�3®/(bJ/�C36/�6�5�265C3;7D¥8587 ><796�b2B979�J587±3@<2B45m_x792;> /�0�7Á0J><26/�0�2<7�/�2<7e,�0�B97a2�5=3�/�B�2;>?/�2�74><20879�J/�32B45�_x792;>[2;>?5�0?5�I;/�2�5�7]4/,�0�4CBÁ<J><7e,�0�B97a2�5=3�/�B£,�1-2;>?5�3�<2B45 : �� � 3=,×7×<�485*/�BÁB72587×<�4858/�32B45�B97a2�5=3�/�B�>¤_x792;>}2;>874>!3�<2B45*/�0J7fb23=,B485�587_x792;>[2;>J5�6 /;>[0�,�3;6�/�B}725CB�5�265¬<8b�72/�2658>/Z

� 1�1�0�,`7Á0g2658I�3;792:. 5C3@3=,�3�/�b8b�58/�36587{,�3l2;>?5:3@<2B45 7¢7�7ð0£0 2l>J/8E�5(2=,�3�55=E;/�BÁ<J/�26587�2;>J5C0]26/ ^ 5r5�/R4�>],�1�2;>J5Jb?/�36/�6�5�265C3;7D¥8587!>;796�b¢Ba79�J587c3@<2B458>,�1 : �� GJ4d2�<J/�B97e¥85x4/,�6$b87ÁB�587±3�<2B45�>¨72587×<�4�7Á0JIrB97a2�5=3�/�B�> 2<>J5J4/,�0�4CBÒ<?>;7D,�0�Ba792;C5=3�/�B£,�1 : 725�b�5=0?72>x,�0£Z� K�5CB45d2�5m2;>J5�bJ/�36/�6 5d2�5=3<7e¥8587�><796�b2B979�J587�3@<2B45N,�1 : Z

Page 12: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � �¢�

+L>J5(7Á0�2658I�3;792k.~4�>J5/4 ^ 5C3 I;5C0J5C36/�2658>!/pbJ/�36/�6�5�265C3;7D¥8587 ><7a6$b2B979�J587�4/,�0J><2@36/�7Á0g2 1,�358/R4�>�Ba79265C36/�BL,�1/j45,�0?>;2@3�/�7Ò0g25Z 1k2 7¢5d2�5=3<6�7Á0J58>�_x>J5�2;>J5C3 >�<�4�> / ><796�b2B979�J587j4/,�08C><2@36/�7Á0�2N>J/;>�2=,(3�5�4�>?554 ^ 587 1,�3®5d792;>?5=3�7Á0J>65C3;2N,�3®725CB�5�265RZ�1V1�.�58>/S�2;>J5�><796�b2B979�J5874/,�0J><2@36/�7Á0�2J74> 365CB�/�2�5�7(2=,$2;>J5c72/�26/�3J/;>�5®><2@3@<�4�2@<23�5�7Á0�>@<�4�>�/$_¥//.(2;>J/�2�<8b�72/�2�5�>7B7Á365/4�2@B9.�2@3<7�I;I;5C3x7926> 5=E;/�BÁ<J/�2;7D,�0£Z�r<2B458>/�365�>J/�0?7×B45�7 /�0J/�BD,;IR,�<J>@B9.�Z

��� � # ���h� *d!�� � ! � � � ��� ��'L����� �"* �J�����m# � �t��� *5���

+L>J5¨I�36/�0�<¢B�/�3<7a2k.�,�187Á021,�3;6 /�2;7D,�0W7Á0®365CB4/�2;7D,�0J/�B9C�>;2k.×B�5,72/�26/�3?/;>658>�74>��8A2587W2�,m2@<8b2B458>_x792;>87Á0-365CB�/�2<7e,�0?>5ZN+L>?5=3�5=1@,�365RS14�>J/�0?I;5�>�2=,*><7Á0JI�B45�4/,�6�b1,�0J5C0�2�>J,�1ª/]2@<8b2B45¤>J/8E�52=,�3�5:3�5�/�B97D¥8587}3�.p<8b�72/�2�5�>],�1�2;>J5�_x>�,�B45�2@<?b2B45�Z +L>J5�/�B4IR,�3;792;>86 >�1,�<20J7o7Á02;>J5rB979265C36/�2@<23�5�><7a6�<2B4/�265"<8b�7¢/�2658>x3g. 7¢5=B45�2;7D,�0�1@,�BÒBD,/_[587]3�.]2;>J5�7Á0J>�5C3;2;7D,�0[,�1-2;>J5365CEB74>6587$2@<8b2B45RZ�I�.]2;>?7�>/S¢<2020J5/4858>6>�/�3;. 5=E;/�BÁ<J/�2;7D,�0\,�1,3@<2B458>"/�0J7[4/,�0J><2@36/�7Á0�26>m48/�0>J/�b8b�5C0 /;> >;>�,z_0n7Á0]2;>J5r1,�BÁBD,/_x7Á0JI!5�A2/�6�b¢B�5R���� �! #"�$ %'&)(+*,!-#.0/213&4 657�8*:9 ;!��<#=0>8?@4-�$!AB�2*C�!D!EBFHGI0 #"�$!�6&0"213&H 65+�2*:9#;!�H<J=4>K?L BM!M!-��0(B(+*�9J;!�H<J=�>K?N(!�JOP*CQ#R0E!�S?L #/T�2*�<J=!;U?C"4 #V��4(6,B-#.4/S*:9#;!�H<J=0>HG96.0W!W��J-H(H13@H #"H$!�6&�"S*�9J;0��<J=�>K?X(6YJ5Z@0"4%65[*�9J;B��<J=4>�GR�� !��(H1�M#-#.�/S*�9J;!�T<J=4>K?X(6YJ5Z@0"4%65[*\9J;0��<J=4>�G

Q!%'&](6"!-0 B$J&0"H(K*W0%#-0 !�!�^@S_LMK_L K_N(7_COS_L%I0 #"�$!�6&0"213@`_L K_:O8_a%K_aM�G� '&4MbR�� !��(H1�MK_6(!G^c!cBde96.0W!W��J-H(H1:@S_N(BG

1V1�2;>J5�/;727ð3658>6>",�1}/Wb?/�2;745=0g2�74>"4�>J/�0JI;5871S©2;>J5J4/,�0J><2@36/�7Á0g2"7�>¨5CE�/�BÁ<J/�26587¤2;>�,�<JI�>$7926>2@3@<?2;>n74>[0�,�2 /� �5/4�265871Z� 3?�_5/4�2;C:,�3;745C0�26587®72/�2�/�3J/;>658>�,� �5C3�/V6\,�365 �J5�AB7932B45F/;I;I�3658I;/�2;7D,�0 /�3J><2@36/R4�2;7D,�0N2;>J/�0365CB4/�2;7D,�0J/�B�72/�26/�3J/;>�58>5Z 1k6�b¢B�5�6 5S0�2�/�2;7D,�0J>�,�1N,�38�_5/4�2;C:,�3;745C0�2�5�7p7¢/�26/�3J/;>�5�>|>J/8E�57B79 �5C365C0�2�I�36/�0�<¢B�/�3<7a2<7�58>"1,�3J2<>J5 ><6�/�BÁB458> 2Lb1,;>6><7932B45W,�3?�_5/4d2�>5Z21V0�>=,�6 5W48/;>�5�>/S?2;>J5725/4/,�6�b1,;><792;7D,�0`,�1 /�0{,�38�_5/4�2 IR,×58>®78,/_ 0{2=,j2;>?5�B45CE�5CB),�1�/�2;2@3;7932<?2658>5Z�+L>?7�>¤74>0J5/4858>6>�/�3;.�1,�3�3�5=B4/�2;7Á0JI�/�2<2@3;7932<8265¨<8b�7¢/�2658>�b2365/4�74>65CB9.J2=,m2;>J5[/� �5/4�26587N45,�0?>;2@3�/�7Ò0g26>/ZG"0�,�2;>?5=3c365/i�<?7Ò3�5d6 5C0�2W74>N2<>J/�2�4CB4/;>6>�58>�/�365�3658I;/�3672587 /;>¤,�38�_5/4�26>/Z �mb�7¢/�2658>�,�02;>J5�6 ¡ 5�Z­I8Z9S�2;>J5�7Á0J>65C3;2<7e,�0N,�1u/[0?5d_ 4/,�0J><2@36/�7Á0�2z1,�3�/�4CB4/;>�> � /�365 2�3658/�26587�/;>z0�,�3;6 /�B

Page 13: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � � �

72/�26/�3?/;>65�,�b�5C36/�2;7D,�0J>/Z®.j,�365/,8E�5C35S�_[5 /;>�>@<?6�5N2;>?/�2W792W74>mb1,;>�>;7932B45N2=, 365C1A5C365C0�485/�2;2@3<7a3¢<82658>�,�1F/l4CB4/;>6>�7Á0n,�36725C3m2=,�B97Á0 ^ 2;>?5�B979265C36/�B4>x,�1�/�b¢36587B7D4�/�2<7ÒE�5¬1,�3;6�<2B4/�2=,2;>J5]4CB4/;>6>c>=4�>J5�6 /[,�1x2;>J5 72/�26/�3J/;>�5RZ �-7Á0J/�BÁB9.�S�7a2�IR,u58>®/�B96],;>;2�_x792;>�,�<82!>6/z.y7Á0JI2;>J/�2"_[50?5�587!/±>�<832B4/�0JI�<J/;I;5¨1,�3[725/4=B4/�36/�2<7ÒE�5CB9. ><b�5/4�7Ò1 .y7Á0JI�7¢5�7ð<�4�2;7D,�0 3@<¢B�58>¨/�0J77Á0�2658I�3;792k.h4/,�0J><2@36/�7Á0g26>+/;> /!>;26/�3<2;7Á0JI�b1,�7Á0�21,�3m,�<23�6 5�2;>�,×71Z� 0?5�5dA2/�6$b2B45),�1�/ B�/�0?I�<J/;I;5L2;>J/�2[14<¢Ba�¢BÒB4> 2;>?5�>�5 365/i�<?7Ò3�5d6 5C0�26> 74> 2;>J5 ^ 0�,z_B45�7¢I;5365�b23658>�5C0�26/�2;7D,�0²B4/�0JI�<J/;I;5]+�5CBD,;>[E¼.jI 9�G�QRX�Y�Z}G"1D2�5=3!/ ><>�,�3;2�7¢5d�¢08792;7D,�0 ,�1m2;>J5+�5CBD,;>}72/�26/m6\,×725CB;/mb236587B7D48/�2;7ÁE�5F>@<?32B4/�0JI�<J/;I;5F1@,�3�72587×<�4�2;7ÁE�5,3@<2B458>�/�0J7 7Ò0g2658I�3;792:.4/,�0J><2@36/�7Á0�26> 7�>�b23�5�>�5C0�265871Z�1k26>rBa79265C36/�B4>±/�365�725��20J587�,�0�2�,�b~,�1L2;>J5l3?/;>;7D4l+�5CBD,;>72/�26/ >;2@3�<�4�2@<2365RZ +L_), /;>6>�<86�b?2;7D,�0J>!/�365(6�/;725]_V>87D4�> /�BÁBD,/_ 2=, 725�265C3;6$7Á0J5*/<2087Dii<J5�4CB�/;>�>�¡ b1,;>6><7932B9. /�0 /�2;2�3;7932<8265$4=B4/;>�> � 4/,�0�485C3@087Á0JI$2;>J5|2@3@<82;> ,�1[/ B97a2�5=3�/�B,B4/4=<¢365C0�485�Z

�4� �!� � , % � % � * q�� v�s×v . *�0 % �+�5CBD,;>L6�/�b?>/�BÁB�365CB4/�2;7D,�0J><>879bJ>L7Á0�4CBÁ<J72587]7Á0 /[¡�4/,�6�b¢B�5�A � ,�3?�_5/4�2+725��208792;7D,�0£S?58>;b�Z/�BÁB17926>/�2<2@3;7932<82658>/S?2=,!/!>;7Á0JI�B45�72/�2�/�><2@3@<�4�2@<23�5q,�1,>=,�C:48/�BÁB45�7|b23=,�b1,;><792;7D,�0J>5�

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

v}5�2 1 K 3�5�/�0�,�08C�5�6$b82:. >65�2x,�1-74725C0�2;79�J5C36>/Z"+L>?5=0:/��20879265±>@<?3J>65�2-�� ����� ����� #���������� ¡������$� 6 � ! ��� ��� � ���1� 6 �.! ��� � �"!

74> 48/�BÁB4587 /�#����� $,%$H�H '& ����O&$���/ ,��N79 �2;>?5(� ���W4/,�6�b1,�0?5=0g2-74>�<¢087Di�<?5_x792;>87Á0®GWIJZ�+L>J5ª5CB45�6�5C0�2�>�/�365�365C1A5C3@36587±/;>N'D $N� 1,0����� ��-,�,�3? ��*)���)JD,RZ

��,�3�2;>J5�3658><2 ,�1V2;>J5$bJ/�b�5C3N_¥5 /;>6>�<86 5�2;>?/�2 1 K 45,�0g26/�7Á0J>�/�BÒB"�¢0879265]4�>J/�36/R4�265C3><2@3;7Á0JI;>/Z�+L>J5�/;7×E;/�0�26/;I;5�,�1)+(5=BD,;>r/�365�2<>J5�<2087Á1,�3;6$792:. ¡�+;5CE�5=3<.y2<>87Á0JIl74>�/�0�,�38C�_5/4�2�+ � /�0J7$7926>ª><796�b2B97D4�7 2k.©Z 1k2"74>F<?>@<J/�B�2=,®7¢5=0�,�265J+�5CBD,;> ^ 0�,/_B45872I;5x3?/;>658>FI�36/�b8>?C7D48/�BÒB9.]_x>J5C365¤b23=,�b1,;><792;7D,�0J>�/�365c365�b23658>�5=0g26587�/;>"B97Ò0 ^ >/ZJG"0 5�A2/�6�b2B45�74>�I�7ÁE�5=0�7Á0�JI8Z � Z�+L>J5�b23=,�b1,;><792;7D,�0J>x4/,�3@3658><b1,�0J7B7Á0JI¤2=,�2;>J5 �R� I�36/�b8>?7e48/�B�7a2�5d6 >[/�365R�I!-0%'@4%�(#$J"�$ % & 1�I��J-7(J%#&S_LI��J-7(J%#&S_�,K_CIH�J-H( %'&+GI!-0%'@4%�(#$J"�$ % & 1�I0 #"T$!�J&0"S_CI0 �"�$0�6&0"U_�,2_CI0 !"�$B�6&0"]GI!-0%'@4%�(#$J"�$ % & 1�-/.10/2�3'4�3�5K_CI� #"H$!�6&�"8_�6!$0( K_:I��J-](J% &]GI!-0%'@4%�(#$J"�$ % & 1�,!-#.�/8_L,!-!.0/8_�,+_L,!-#.�/HGI!-0%'@4%�(#$J"�$ % & 1�-/.10/2�3'487:9K_CI� #"H$!�6&�"8_L"0 #VH�0( _C,!-!.0/7GI!-0%'@4%�(#$J"�$ % & 1�;��6&�"0 �<JW4%#-!"T�+_=;��6&�"0 �<JW0%!-!"T�+_�,2_>;T�6&0"4 1< W0%#-B"��4G!G

Page 14: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � �

I!-0%'@4%�(#$J"�$ % & 1�-/.10/2�3'4�3�9�37_8;��J&0"0 <JW4%#-!"H�+_�6!$6&)(6"� '&HA0� %!W8_C,B-#.4/HGI!-0%'@4%�(#$J"�$ % & 1�� BA#V8_�� �AJV8_�,+_�� BA#VHGI!-0%'@4%�(#$J"�$ % & 1�-/.10/2�3'4�3�9��8_�� �AJV8_�6!$J&](6"4 '&7A!� %!W8_:I0 #"H$!�J&0"HGI!-0%'@4%�(#$J"�$ % & 1�-/.10/2�3'4�3�9��K_�� �AJV8_�M#-!.0/3+_>;T�6&0"4 1<#W0%#-0"��4GI!-0%'@4%�(#$J"�$ % & 1�-/.10/2�3'4�3�9/5K_�-/.�0�2�3 4�3�9��K_�6!$'&](6"4 '&7A!� %!W8_ -/.10/2�3'487�9TG

Person

Patient

Jack

Drug

Fenta_forte

takes

drug1

����& ��� D"A2/�6�b2B45m,�1�/l+�5CBD,;> ^ 0�,/_B45872I;5�3J/;>65

wy,�C:48/�BÁB45�7 �#�-O9� ���O L-/��Lb23=,�b1,;><7a2<7e,�0?>�_x792;>~74725C0g2;7D4�/�BL�23�>;25S >65/4/,�0J7 /�0?7²1,�<23;2;>4/,�6�b1,�0J5C0g2 /�365�7×36//_0²/;>±0�,×7258>5Z$+L>J5$,�2;>J5C3�,�3?�_5/4d2�> /�3�5�48/�BÁB�587 /��%' �0�9L<D��,_x792;> 2k_), >;b�5/4�74/�B§48/;>�5�>/� /�2;2@3;7932<?2658> _x792;> 2;>87Á367 4/,�6�b1,�0?5=0g2¦¡�B4/�3�5=B �� ����������� ��������� /�3�5�48/�BÁB�587 �#�-,.D/$�1���/���� �� /��D'��0�9L<D��,!/�0J7 /�2;2�3;7932<82658>¤_x792;> B4/�3�5CB �� ��� /�365N48/�BÁB�587 ,�N���)���/��#�0/J/���� K�3/��D'��0�9L<D��,RZ ��,�3xb¢3=,�b1,;>;792;7D,�0J>V,�1-2;>J5r1,�3;6I!-0%'@4%�(#$J"�$ % & 1N%B$ M _COS_�60$6&]('"0 #&HA!�!%#WS_�A0G+_I!-0%'@4%�(#$J"�$ % & 1N%B$ M _�A2_�60$0(J _LMHG

A�7�>"48/�BÁB4587 �#�-,.D/$�-)���,�114N¡�4x74> 2;>?5 )"��/ ,�,x,�1�A � /�0J7$4x74>"48/�BÁB�587¤2;>J5E,0L ��)"��/ ,�,m,�17`¡�7h7�> /�,0L-N���'D) ��/ ,�,W,�1 4 � Z!1V0]2;>J5r1,�BÁBD,/_x7Á0JI¤_¥5±/;>�>@<?6�5V2;>J/�2+/l+�5CBD,;> ^ 0�,/_B9C5872I;5J3?/;>65rGWI 4/,�0�2�/�7Ò0?>L2;>J5N,�38�U554�26> �"! �$#%� � � � �&��� S(' ��)���*%��)�+ �", S.- �"� ! ��/0+ � � S' � ����� �1�2�"3�� /�0J74' � -j_x>87D4�>�>J/8E�5!/;>�7Á0J><26/�0�4858>�/�BÁB"b23=,�b1,;><792;7D,�0J>W,�1G�I 2;>J/�2>J/8E�5m2<>J5�1,�3<6 7Á0J7B7D48/�26587l3�.l2<>J5J4CB�/;>�>F0?/�6�5RZ-+L>?5�>;2@3�<�4�2@<236/�B�b23=,�b�5C3;2;7458>L,�117Á08C><26/�0�2;74/�2;7D,�0£S¢/;I;I�3658I;/�2;7D,�0�/�0J7 >;b�5/4�74/�Ba7D¥C/�2;7D,�0 /�365r725��20J587 /;>L32<87ÁB92;C�7Á0�3�<2B45�> /�0J74/,�0J><2@36/�7Á0�26>N¡�>�585�>�554�2;7D,�0 �g� Z

Page 15: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � � �

�4� ���� � o % 0202'�� � v t % 02' w�v�s ' #&%�� o � v � � v � %+L>J5V�8A2587 ^ 0�,z_B45�7¢I;5L3J/;>�5>=4�>?5d6 /�,�1 � C�/�3<.�b23=,�b1,;><792;7D,�0J> � 7�>,0�,�2F<J>6587�7B7Á365/4�[email protected],�3x6],×725CBa7Á0JI�b2<¢3;b1,;>658>[B97 ^ 5�5RZ­I8Zg7Á0]2;>J5r365CB4/�2;7D,�0J/�B£48/;>�5�Z 1V0J>;2�5�/;7�S84CB4/;>6>�58>ª>�5=3�E�57Á0[2;>874> 3=,�B45RZ�+�5CBD,;>x4CB4/;>6>�58>[/�365r0�,�2 7¢7�><2;7Á0JI�<874><>J587�143=,�6 ,�2<>J5C3�,�38�_5/4�26>/Z � /�3;2;7D4�C<2B4/�3@B9.�S�4CB�/;>�>�5�>V6�/z.n2;>?5d6 >65CBÁE�58>x3�5�7Á0J><26/�0�4858>J,�1x,�2;>J5C3§¡ 6�5�26/�C � 4CB4/;>6>�58>5ZN+L>?7�>�J5�AB79387ÁBa792k.q74>(<J>�5=1Î<2B21,�3"6],u7¢5=B97Á0JIV32<82"3�58/�36> 2;>?5+72/�0?I;5=3",�1�>J/8EB7Á0JI¬0�,±>;2@3�<�4�2@<2365,�3 +�6�58/�087Á0JI +],�0J5l48/�0�3658/;>=,�0�,�0£Z]+L>J5C365C1,�3�5�S +�5CBD,;>�3�5=B97458>N,�0 /hb236587B7D48/�2;7ÁE�5B4/�0JI�<J/;I;5RZ�1k2x74>L6�/;725¬<8b*143�,�6 2;>J5r1,�BÁBD,/_x7Á0JIl4/,�0J><2@3@<�4�2=,�36>/�

W0%#-0 !�!��O�� Q ; �JO�$0(6"H(bO�� Q ;;3 '&4M ;�7 ;3 %#- ;�7 ;3 c!cBd ;�7 &4%#"�;E!"!"!-��0 !�'.H�)1��8_��K_HG <6&](6"0 '&HA!���JW 1��U_�HG <0(6E21��8_�HG;!�� 0D ;!E!F�9JD

��,�3;6 <¢B�/;> 365C1A5C3�2=,�/j+�5CBD,;>®GWI 3�.�<J><7Ò0?I[2;>?5�2<>236585�Ba79265C36/�B4> - �"� !�� �0, +�� S ' � ������ �����"3�� S ' � -~,�3l3g.~2k.yb�587{ii<J/�0g2;79��48/�2;7D,�0J>5Zo+L>J5(2:.Bb�58>�,�1J2<>J5nii<J/�0g2;79�J587E;/�3;74/�32B45�>�/�365�7Á0�2�5=3<b2365�26587 /;>�2;>?5d7Á3]4=B4/;>�>658>/S 7:Z­5�Z 2;>J5�. /�3�5 ><>�,�3;2;>?/�0J7p1,�3$2;>J51,�3;6�<2B4/;>/�

W0%#-0 !�!� Ob&4%#"�<6&](6"0 '&HA!���JW 1:O8_�Q�G^%#- ;�JO�$0(6"H( O�<6&](6"0 '&HA!��� W21:OU_LQHG '&4M ;

G�>:/{45,�0?>65/ii<J5C0�485�/�BÁB�1,�3;6�<2B4/;>[48/�0 3�5�2@36/�0?>@1,�3<6�587o2=, 5/ii<87ÁE�/�B45C0�2�36/�0JI;5�C3658><2@3;7D4�26587 1,�3<6 <2B4/;>!/;>!I�7ÁE�5C0~3g. 725��208792;7D,�0 � C � Z{�J,�2�5]2;>J/�2�58/R4�>¦+�5CBD,;> G�I74>m�20879265�>=,|2;>J/�2�7Ò0?�20879265±36/�0?I;5�>r/�365c0�,�2Jb1,;>6><7932B45RZ�+t>J5�7Á0g265C3;b2365�26/�2;7D,�0`,�1¨1,�3;C6�<2B4/;>�1@,�BÒBD,/_">�4CB�/;>�><7e48/�B,BD,;I�7e4�/;>N7Á0FE ILKr.jORO�Y�Z�Kr5�7ð<�4�2;7ÁE�5!3@<2B458>®/�365|6�/�b8b�5872=,#14<20�4�2;7D,�08C�143�5�5¤K�/�26/�BD,;I�C�0J58I�b23=,;I�3�/�6�> 1,�3�2<>J5Nb2<23<b1,;>65�,�1"ii<J5C3;. 5CE;/�BÒ<?/�2;7D,�0ETwy+-G4�JQRX�Y:Z

�4���4� � '�� ' s '�� � s , %��4% v,t?w , � � v�w %G ^ 5�.q74>�>@<?5ª1@,�3�2;>J5 >@<�4/4858>6> ,�1�2;>J5 >;796�b¢Ba79��48/�2;7D,�0N6�5�2;>�,u7 b23658>65C0g26587�7Ò0!>�554�2;7D,�0� 74>"2=,±B9796�792�/;>�6 <�4�>�/;>"b1,;>�>;7932B45�2;>J5�>�58/�3=4�>�>;b?/R4�5V,�1£4/,�0J><2@36/�7Á0�26>¨/�0J7!3�<2B45�>�2=,3�5�5CE;/�BÁ<J/�26587�1,�3 /�I�7ÁE�5C0*<8b�72/�265RZ!1V0[2<>J5r365CB�/�2<7e,�0?/�B£48/;>65RSB,�0J5�_[//.]2=,!/R4�>8745CE�52;>874>]74>]2�, >J/�E�5 /;>h6�/�0�.p3�5=B4/�2;7D,�0J> /;>]b1,;>�><7a3¢B�5�7Á0F2;>J5�>�4�>J5�6�/8Z +L>J5C0£Sr/�BÁB� G�727B792;7D,�0J/�B�265�6�b1,�36/�BW4/,�6$b1,�0J5C0�26>$b23658>�5C0�2[7Á0 2;>?5 1Î<2BÁB +(5=BD,;> B4/�0JI�<?/;I;5

E¼.jI 9�GWQRX�Y}/�365rB45=1 2�,�<82x7Á0[2;>?7�>tbJ/�b�5C31,�3�/�6],�365W4/,�0�4�74>65mb¢3658>65C0�2�/�2;7D,�0£Z

Page 16: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � � �

><7a6$b2B979�J587�b?/�36/�6�5�265C3;7D¥8587�1@,�3;6 <¢B�/;>V_x>�,;>�5N7Á0J><26/�0�2<7�/�2<7e,�0:B979265C36/�B4>+/�365c7B79 �5=3�5=0g2143=,�6 2;>�,;>65x,�1�2<>J5<?b�72/�265"/�365[0�,�2"7Á0l2;>J5 >658/�3=4�>�><bJ/R485���<J><2"3�5548/�<J>�5�2;>J5 0J/�6�58>,�1B2;>J5�Ba79265C36/�B4>z78,0�,�2£6 /�2=4�>£Z 1�0�2;>J/�2�>�5C0J>�5�S�2<>J5"_L,�36>;2-48/;>�5 7�>}/">;7Á0JI�B45(<2087ÁE�5C36>�/�B365CB4/�2;7D,�0l_x>J5C365J,�02B9.�2;>J5�><74I�0�,�1 /rB979265C36/�B�/�0J7l7926>�bJ/�36/�6 5�265C3"7Ò0?>;26/�0g2;74/�2;7D,�0l7Á0�/4/,�0J><2@36/�7Á0�2�¡�,�3r3@<2B45 � 48/�0�b2365CE�5C0�2W2<>J5 ><.2>;2�5d6 143=,�6 5CE;/�BÁ<J/�2;7Á0JI�2;>J5!><796�b2B979�J5871,�3;6jZ+�5CBD,;>�bJ//.2>¨1,�3L7a2�>��?5dAB79387ÁB9792:.�3�.�1�/�BÒB97Á0JI�7Á0�2=,¤2;>J5�_),�36><2x48/;>65RZ F 5m>J/�E�5�/�>;7Á0JI�B45+�3J/;>�5[B979265C36/�B>+ �0! �$#%� � � � �"��� /�0J7�/��8A25�7!>�5�2�,�1�2;>236585�725C3;7ÁE�587�B979265C36/�B4>�I�7ÁE�5C0l3�.2;>J5r1,�BÁBD,/_x7Á0JI�725��208792;7D,�0J>/�

W0%#-0 !�!� ���JI!-0%'@4%�(#$ "�$ %'& W0%#-0 !�!� ��JI!-0%'@4%�(#$J"T$ %'& W0%#-0 !�!�e@ �!<6&](6"0 '&HAB��� WI!-0%'@4%�(#$J"�$ %'& 1a@S_�8_�6!$6&+(6"4 '&HAB� %!W8_�]G�c!cBd <6&](6"0 '&HA!���#W21 �8_�7G

W0%#-0 !�!� ���JI!-0%'@4%�(#$ "�$ %'& W0%#-0 !�!� ��JI!-0%'@4%�(#$J"T$ %'& W0%#-0 !�!�e@ �!<0(6EI!-0%'@4%�(#$J"�$ %'& 1a@S_�8_�6!$0(# K_HG�c!cBd <0(6E21��8_�HG

W0%#-0 !�!� ���JI!-0%'@4%�(#$ "�$ %'& W0%#-0 !�!� ��JI!-0%'@4%�(#$J"T$ %'& W0%#-0 !�!�����JI!-0%'@4%�(#$#"�$ %'&1 �JO�$0(6"H( @ �JE!"!"!-�$��0.0"�� �JO�$0(6"H(bI!I��JE!"!"!-�$��B.0"�� �JO�$0(6"H( ��3��JI!-0%'@4%�(�$J"H$ %'&�JO�$0(6"H( %��JI!-0%'@4%�(!$J"�$!%'& �JO�$0(6"H( �����JI!-0%'@4%�(#$ "�$ %'& �JO�$0(6"H(������JI!-0%'@4%�(#$#"�$ %'&I!-0%'@4%�(#$J"�$!%'& 13@`_��8_���3+_�HG� '&4MI!-0%'@4%�(#$J"�$!%'& 1�%8_@S_�6!$J&](6"� '&]A!� %!W8_:I!IHG^ '&4MI!-0%'@4%�(#$J"�$!%'& 1:I0I8_����8_a�K_����HG0G

c!cBdE!"!"!-��0 !�'.H�+1��S_L�8_�HG

1V1x2;>J5 /�31,8E�5�725��20?7a2<7e,�0?>�_[5=3�5]2@3658/�26587 /;>�72587×<�4�2;7ÁE�5!3�<2B45�>�58/R4�> <8b�72/�2�5[,�1+/�"! ��#�� � � � �0� � B979265C36/�B�_),�<¢B�7�b1,�2�5=0g2;74/�BÁBa.$2@3;74I;I;5C3 /�>;796$b2B97a�?5�7|7Á0J>;2�/�0�485q,�1F58/R4�>,�1 2;>J5¤2;>236585±3@<¢B�58>/Z � 02B9.*0�,�08C�6 /�2=4�>87Á0JIlb?/�36/�6�5�265C36>x4/,�<2B47(2;>J5C0jb2365CE�5C0�2"3@<2B455CE�/�BÁ<J/�2<7e,�0�Z"+L>874>">;792@<J/�2<7e,�0(7�>�<20J/R4/485db?26/�32B45�><7Á0�485�/�BÁB-+�5CBe,;>t2@36/�0J>�/R4�2;7D,�0J>x4/,�08C26/�7Á0[b23�,�b1,;>;792;7D,�0 <8b�72/�2658>/Z � 0[2;>J5�b1,;><792;7ÁE�5�><7�7¢5�SB+(5=BD,;>/;>"/�0n,�3?�_5/4d2<C:,�3;745=0g26587B4/�0JI�<J/;I;5x,� �5C36> 2<>J50�,�2;7D,�0�,�114=B4/;>�>658>�2=,±725��20J5">;2�3@<�4�2@<2365V_x792;>87Á0l2;>?5+G�I¨Zg+L_L,,�3J>�5C3@E�/�2<7e,�0?>,3658I;/�367B7Á0JI�4CB4/;>6>�58>-6 / ^ 5L2;>J5�6 /±IR,B,×7l48/�0J7B7472/�265 1,�3[B97a6$792;7Á0JIm2;>J5>�5�/�3�4�> ><bJ/R485W,�1,/�Ba79265C36/�B:�� �,���' � /���� K� �

Dª/R4�>�+�5CBe,;>m,�38�U554�2m>J/;>"/�2+B458/;>;2V2:_),$4CB�/;>�>�5�>/� �0! ��#�� � � � �0��� /�0J7n,�0?5,�1 ' ��) �$*%��)�+ �0, S- �"� ! ��/0+ � � S(' � -�/�0?7 ' � ��� � �1�2�"3"� Z

Page 17: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � � �

� �,���' � /���� K� �Dª/R4�> E�/�3;74/�32B45�7Á0 /|b236587B7D48/�2;7ÁE�5�1,�3<6 <2B4/|7�>V31,�<20J7(2=, /�4CB4/;>�>5Z�+L>�<?>5S7Á0J><26/�0�2;74/�2;7D,�0}2=, / E�/�3<7�/�3¢B�5]4/,�3@3658><b1,�0J72>�7B7Á365/4�2@B9.�2�,`2<>J5 0�,�2;7D,�0{,�17Á0J><26/�0�4858>�7Á0n,�3?�_5/4�2;C:,�3;745C0�26587 B4/�0JI�<J/;I;58>/Z

+L>J5 b23=,�32B45�6 0�,/_ 74>V2=,l�20?7�/l4=B4/;>�>[1,�3�58/R4�>*B979265C36/�B-,B454C<23�365C0�485q,�1F/!1@,�3;6 <¢B�/2;>J/�2N74>±/;>±>;6 /�BÒB,/;>Wb1,;>�><7a3¢B�5RS 7:Zç5RZz/[4CB4/;>6>�2;>J/�2N>J/;>®/]6$7Á08796�/�B}0�<86�3�5C3�,�1�7Á08C><26/�0�4858>L_x>87D4�> IR,8E�5C3@0(2;>J5±>=,�BÁ<82<7e,�0[,�1-2<>J5rBa79265C36/�B:Z������������ �� � ���

v}5�2�GWI 3�5�/\+(5=BD,;> ^ 0�,/_ B�5872I;5¤3J/;>�5®/�0J7 �F3�5®/ B979265C36/�B ,B4/4C<23@365C0�485,�1+/(b236587B7D48/�2;7ÁE�5!1,�3<6 <2B4/8Z�+L>J5C0 /!)� K�H)+��'��-��O ) ��/ ,�, � 1,�3�� 74>®/+�5CBD,;>N4=B4/;>�>�_x792;> 2;>J5�1,�BÁBD,/_x7Á0JI(b23=,�b�5C3;2k.1�l7Á0J>�5C3;2;7Á0JI�,�3 725CB45d2<7Ò0?I*/�07Á0J><26/�0�485J,�1 � 48/�0 /� �5/4�2L2;>J5�2@3@<?2;>&,�19�{7Á0*GWIJZ

I�.~,�3J>�5C3@E�/�2<7e,�0 � /�0?7 2;>?5 725��20?7a2<7e,�0{,�1J2;>J5h2;>236585[+�5CBD,;>�B979265C36/�B4>�2;>?5*>65�2l,�14/,�0�485C3@0J587 4CB4/;>6>�58>W74>c0J5CE�5C3 5�6�b?2:.1�l2<>J5]4=B4/;>�> �"! ��#�� � � � �"��� /�B9_¥//.2>�/�b8b2B9745�>/Z1V0&,�3�725C3J2=,$>J/8E�5®/|�20J5C3�36/�0JI;5N_[5 7¢5d6 /�0J7]2;>?5±1,�BÁBD,/_x7Á0JIlb¢3=,�b�5C3;2:.:1,�3W+�5CBD,;>^ 0�,/_B45872I;5�3J/;>658>/�� ,�,DL3� NH��� K� �

r"5=1�5=3�5=0g2;74/�B87Á0�2658I�3;792k.�74>FI�<J/�36/�0g2658587�1,�3¥5CE�5C3;.�+�5CBD,;> ^ 0�,/_B45872I;5L3?/;>65RS7:Z­5�Z�7Á1.�"! ��#�� � � � �0� ��� ������� 6 �+!�� ��� 7�> 7Á0l2;>?5+G�I}2;>J5C0l2;>J5C365"/�365Vb23=,�b1,�C><7a2<7e,�0?>�_V7a2<>[�236><2¨4/,�6$b1,�0J5C0�26> 6 S !(/�0J7 �|7Á0[2;>J5±GWIJZ

+L>874>¨/;>6>�<86�b?2;7D,�0�74>F0�,�2ª/±3658/�BJ3�5�><2@3;7D4�2;7D,�0�><7Ò0�4�5t7a2"74>¨I�<J/�36/�0�2�5�587|3�.l2;>J5"><2@3@<�4�C2@<23�/�B�/�Ay7D,�6 >",�1£+�5CBD,;>�¡�>�585+>�5/4�2;7D,�0 �g� Z F¦792;>*/;>6>�<86$b82;7D,�0 � /�0J7l2;>?5�725��208792;7D,�0,�1W2<>J5*B979265C36/�B4>�792!1,�BÁBD,/_+>l2<>J/�2\,�0J5�48/�0{26/ ^ 5(2;>J5�4=B4/;>�> ' � ��� � �1�2�"32� 1,�3$2;>J5' � ����� �1�2�"3�� C�B979265C36/�B:� # 6 //. 0J5CE�5C3�3�5�bJ/�3;2N,�1M/$+�5CBD,;>�GWI 7Ò1 * ,�3� /�365N6$74>6><C7Á0JI8Zm+L>�<?>5S 2;>J5±B979265C36/�B ' � �$� � �����032���* �����*>�<�4/485�5872> 5dA2/R4�2@B9.�1@,�3J2;>J5¤7Ò0?>;26/�0�4�58>,�1-4CB�/;>�> ' � �$� � �����03 � ZxG"0J/�BD,;IR,�<J>�B9.�S�4CB4/;>6> ' � -�48/�0]3�5m26/ ^ 5C0 /;>t2;>J5W4/,�0�485C3@0J5874CB4/;>6>�,�1«><b�554�74/�B97D¥�/�2<7e,�0cBa79265C36/�B4>/Z�1�1�2;>J5�>�5/45,�0?7�/�36I�<86 5C0�2�7Á0 ' � �$� � �1���03"�� * ��� �74>L7Á0J><26/�0�2;74/�26587]2<>J5C0n,�0J5N48/�0\2�/ ^ 5W2<>874>x,�38�_5/4�2��*/;>L2;>?5q4/,�0�485C3@0J587]4CB4/;>6>/Z+L>J5(7Á0�265C3658><2;7Á0JI�48/;>65(74>�2;>J5 - �0� ! � �", + � B979265C36/�B+7×<J5�2�,`2<>J5�2;>236585j4/,�0J7B792;7D,�0B979265C36/�B4>®/�0J7�7926>c0�<86 5C3=,�<J>�ii<J/�0g2;79��48/�2;7D,�0J>5Z 1�1"/�BÒB¨E�/�3<7�/�3¢B�58>±/�365�1436585$7Á0 >�<�4�>/!B979265C36/�B�2;>J5C0�0�,�2<>87Á0JIl3�5�2;265C3J2;>?/�0 - �"� ! ��/0+ � � 48/�0n3�5N2�/ ^ 5=0�/;>�/�4/,�0�485C3@0J5874CB4/;>6>/Z�w�7Á0�485�/�2;2@3<7a3¢<82658>x6 / ^ 5"<8b�/�6�/���,�3Vb1,�3;2;7D,�0n,�1�/l+�5CBD,;> ^ 0�,/_ B�5872I;5�3J/;>�52;>874>�7�>"0�,�2�>6/�2;74>�1A/R4�2=,�3;.�ZJG >65/4/,�0J7 3658>;2@3<7e4�2;7D,�0 5C0J/�32B458> - �"� !�� �", +�� B979265C36/�B4>m2=,3�5J4/,�020J5/4�26587�2=, +�<J>65C3[725��20J587 +�/�2;2@3;7932<82�5�>¨B97 ^ 5x2<>J5 ����� � � /�2;2�3;7932<8265�7Ò0]�JI8Z � Z

Page 18: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � � �

� ,�,DL3� NH��� K� �1V1 / B97a2�5=3�/�B - �"� !�� �", +�� � 6 �+!�� ���{,B4/4=<¢36>$7Ò0 / 1@,�3;6 <¢B�/ 2;>J5C0 !N6 <?>;23�5J7Á0J><26/�0g2;74/�26587�/�0?7]2;>J5r0�<?6�3�5C3�,�1�G�Iob23=,�b1,;><7a2<7e,�0?>[<2087Á1D.B7Á0JI¤_x792;>�"! ��#�� � � � �0��� � � ��� � � �+!���� �V7�>,5�A2/R4d2�Ba.W,�0?5�Z � ���r/�0J7�� /�365¨E�/�3<7�/�3¢B�58>/�0J7 � 74>[55ii<J/�B�2=, 6 7Á1 6 74>�7Á0J><26/�0g2;74/�265871S8,�2;>?5=3<_x74>65RS � 74>[55ii<J/�B�2=,¤2;>J52:.Bb�5�,�1-2;>J5rE;/�3;74/�32B45 6 7Á0[2;>?5�1@,�3;6 <¢B�/[¡�,�3J>65C3@E;/�2;7D,�0 �R� Z

+L>874>F/;>�>@<?6�b82;7D,�0®5C021,�3=4858> 2;>J5 5dAB74><265C0�485�,�1�/�<2087Dii<J5/�2<2@3;7932<8265V7Á0�2<>J5GWIf2;>J/�24/,�3@3658><b1,�0J72>�2=,(2;>J5�B979265C36/�B:Z Fo7a2<> /�+�5CBD,;>�G�I 1Î<2B9�2BÁBa7Á0JI$792�,�0J5l48/�0�26/ ^ 5�2;>J5<2087Dii<J5r>=,�BÁ<82;7D,�0 1,�3m2;>J5N,�38�U554�2 � ����7Á0*/;>6>�<86�b?2;7D,�0 � /;>"/l45,�0�4�5C3@0?5�7]4CB4/;>6>/Z+L>J5m4/,�0�485C3@0J587l4CB�/;>�>�5�>(5=0?/�32B45L2;>J5�><796�b2B979�J587r1,�3;6�>�2=,�3�51@,�<20J7�ii<87D4 ^ B9.N_x>J5C0/�0®<8b�7¢/�265�26/ ^ 58>�b2B4/R485�Z�+L>J5�6\,�3�5ª>�<8314CB�/;>�>�5�>z/�365[725��20J587®/�0J7 <J>6587N7Á0�b¢36587B7D4�/�C2;7ÁE�5"1,�3;6�<2B4/;>/SR2;>?5�><6�/�BÁB45=3 74>"2;>?5�0�<?6�3�5C3),�1�7Á0J><26/�0�4858>"2=, 3�5�5dABb�5/4�26587�1,�3L2;>J54/,�0�485C3@0J587~4CB4/;>�>658>/Z/1:6$b2B45�6�5=0g26/�2;7D,�0J>�,�1J+�5CBD,;>\¡ /�0J7{,�1J6�/�0g. ,�2<>J5C3�,�38�_5/4�2;C,�3;745C0�26587 72/�26/�3?/;>658>/S+5RZ­I8Z�1V3;74>�E v��EFFQRX�Y � b23�,�6\,�265�2;>?5j747258/ ,�1 5�AB265C0J><7a3?7ÒB9792:.2;>23�,�<JI�> <?b�72/�2658>N2=,�2;>?5�>�5�2�,�1�4CB4/;>6>�58>J7Á0 2;>?5�7¢/�26/�3J/;>�5�Z�+L>i<J>/S"b1,B,�[email protected]/�B9C/�0�48587�4CB4/;>�>->8745C36/R4�>87458> 4�/�0l3�5V45,�3�365/4d2�5�7�/�2F3@<20?C�2;796�5x,�1�2;>?5>;.2><265�6 796�b23=,�Ey7Á0JIb�5C3@1,�3;6 /�0�485J,�1-7Á0�2658I�3;792k.h4�>?554 ^ 7Á0JI8Z�4�������� v � � � % �4% quq ' *�� *!+ � *�� w % � s���vFq %+L>J5 ^ 0�,z_B45�7¢I;5�3J/;>�5�6�/�0?/;I;5d6 5S0g2 ><.2>;265�6 s),�0�485�b82=I[/;>�5[E¼D�9�9�MPORQ�Y�>J/;>�3�5�5C0725CE�5CBD,�b�5�7 1,�3�b2<¢3;b1,;>658>",�1�365/ii<87Á365�6�5C0g26>-6],×725CBÒB97Á0JI"/�0J7!>�<8b8b1,�3;2L,�1�7258>;74I�0!/R4dC2;7ÁEB792;745�>VE­9�.�w�UWQRX�Y:Z 1:2�>ª72/�26/�6],u7¢5=BB74>"2<>J5 ^ 0�,z_B45�7¢I;5365�b23�5�>�5C0�26/�2<7e,�0!B4/�0JI�<?/;I;5+�5CBD,;>5Z s),�0�485�b82=I[/;>65h7�>�796$b2B45d6�5C0g26587`7Á0 /�4CB97�5C0g2 �|>65C3@E�5C3 /�3�4�>879265/4d2�<2365 <J>;7Á0JI�J�21� 7Á0g265C3;C�b23=,B4858>6>x4/,�6$6 <20?7e48/�2;7D,�0l_x792;>:<J>�5C3x7Á0�265C3@1A/R4858>[1,�3�w�<20?U 1_D F /�0J7� �R� Zx+t>J5 ^ 5C3@0J5CB�>65C3@E�5C3x74>V6\,;><2@B9.�_3<7a2<265C0n7Á0 � 3=,�BD,;I!/�0J7(2;>J5±<?>65C3m7Ò0g265C3@1A/R4858>6\,;><[email protected]Á0�s¨Z+L>J5!>�4C36585C0J7×<86$bj7Ò0��JI8Z � >;>�,/_+>±/*I�36/�b8>�323�,/_+>�5=3±BD,;/;72587�_x792;> 4CB4/;>6>�58>�/�0J77Á0J><26/�0�4858>q,�1"/ G�I ,�0 bJ/�2;745C0�2�>5Z � /�2;745=0g26>®/�365|b�5C36>=,�0?>N_x>�,j48/�0 >@<? �5=3c143=,�6485C3;26/�7Á0 ><.B6�b82�,�6�>/�0J7�6 //.]26/ ^ 5®7×3�<JI;>5Z�K�3�<JI;>W4/,�0J><74>;2�,�1ª/;I;5C0g26>m2;>J/�2�_),�3 ^,�0 ><.B6�b82=,�6 >5Z(G bJ/�2;745C0�2�9�/R4 ^ 26/ ^ 58>N2;>J5*7ð3@<JI �?5C0�26/ 1,�3<265$_x>87D4�>~4/,�0�26/�7Á0J>�?5=0g26/�0�.×B:Z�+t>874>�/;I;5C0�2�7�>"<?>6587j2�,�3�5�7ð<�485�>874>¬1A5CE�5=3�><.B6�b82�,�6&ZJ+L>?5!>;.B6�b?2=,�6bJ/�7Á0[>J/;>�0�,�365CB4/�2;7D,�0J>;>?7ab]2=,�2<>J5 �J5C0�2�/�0�.×B-,�3�9;/R4 ^ Z1V0]2;>J5�1Î36/�6�5�587B792=,�3/�2L2;>J5¬<8b8b�5C3[3;74I�>�2�4/,�3@0J5C3x,�1�2;>J5r>=4C36585C0�/�72587×<�4�2;7ÁE�5"3@<2B45725��20J58>�2;>J/�2ª/r7×3@<JI�>J58/�B�>,/�><.B6�b82�,�6 7Á18792"45,�0g26/�7Á0J>F/�0!/;I;5=0g2 2<>J/�2 >?/;> b1,;>;792;7ÁE�55� �5/4d2�>1,�0W2<>J5F>;.B6$b82=,�6&Z�G 4/,�0J><2@36/�7Á0�2zB4/�3�5=BÁB4587� ����� �0, - � ��� �%� 725�6 /�0J72>�2;>J/�2/�bJ/�2;745C0�2�6�//.®0�,�2�26/ ^ 5/c7×3@<JIN2<>J/�2�>J58/�B4>F/±>;.B6$b82=,�6 >?5+78,×58>�0£0 2M>�<8 �5C3F143=,�6jZ+L>J5"B4/;><2)4/,�6�b1,�0?5=0g2 - , � ����� ,�112;>J5¬B97a2�5=3�/�B�>�74>ª7×<J5�2=,N2;>?5J265�6�b1,�3�/�B21A58/�2@<2365�,�1+�5CBD,;>/�0J7 0�,�20J5/485�>�>�/�3;.!1,�3m2;>J5�b2<23;b1,;>�5W,�1�2;>874>xb?/�b�5=3/Z

Page 19: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

�y���m ��1������j�:� P����� ������� �L�� �������� �� ������D� � � �

����& �.� s),�0�485�b82=I[/;>65r>658>�>;7D,�0 >;>�,z_x7Á0JIl4CB�/;>�>�5�>¨/�0J7]7Á0J><26/�0�4858>/�3=,�<20?7 � � �� ����� � /�0?7*725��208792;7D,�0n,�1-2k_),#1,�3;6�<2B4/;>x,�0[792

+L>J5±>�4C36585=0?7×<86�b]7Á0[�JI8Z � ><>�,/_+>V2;>J5N3�5�>J/�Ey7D,�3x,�1�s),�0�485�b82=I[/;>65�_x>J5C0[7Á0J>�5C3;2;C7Á0JI*/�0 ,�38�U554�2N2;>J/�2±EB7D,�B4/�2658>�/�0�7Á0�2658I�3;792:.`4/,�0J><2@36/�7Á0g25Z 1V0`2;>874>�48/;>�5RS�/:>65/4/,�0J77Á0J><26/�0�485[,�1W2<>J5 #%� � � � ��*��"3 � /�2;2�3;7932<8265:1,�3$2;>J5�/;I;5C0�2 �J5C0g26/�0�.×Bm7�>|7Á0J>65C3;2�5�7�Z+L>J5rB979265C36/�B£4/,�3@3�5�><b1,�0J7B7Á0JI¤2=,�2;>?5�0?5d_ /�2;2@3;7932<82�5W74>

E!"!"!-��0 !�'.H�+18;H�6&0"� '&4Y0�8_@4%T(#$ "�$ �T���J&S_CI4 B$'&]G_x>87D4�>l2@3<7�I;I;5C36>¨/±>;796�b¢Ba79�J587±1@,�3;6 ������������� ,�1�2;>?5� � �",�� + , � ZVG 0J5�_ >=,�BÁ<82;7D,�0

E!"!"!-��0 !�'.H�+18;H�6&0"� 1< W0%!-!"��K_��]� !�T(7_LI0 B$J&]G74>�725C3;7ÁE�587p/�0J7}7Á0J>�5C3;26587}7Á0�2=,�2<>J5n4/,�3@3�5�><b1,�0J7B7Á0JI�><796�b2B979�J587�1,�3;6 �������������,�1m2;>J5]7Á0�2�5�I�3<7a2k. 45,�0?>;2@3�/�7Ò0g2 ����� �0, - � ��� �%� Z w�7Á0�485$2;>J5]b?/�2;745=0g2�� � � � 26/ ^ 58>� ��� ��� � ��, /�0?7*78,×58>ª0�,�2 >�<8 �5C3[143=,�6 bJ/�7Á0 /�0*5C3@3=,�3m6�58>�>6/;I;5L74>I;5C0J5C36/�2�5�7 /�0J72;>J5�2@36/�0J>�/R4�2;7D,�0]7�>¨365<�_5/4�265871Z �J,�265�2;>J/�2+/�0 <8b�72/�2�5W,�1�/�0*/�2;2@3;7932<82�5W2<>J/�2L7�>�0�,�2

Page 20: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

� ����� 2 P� �� ����P���=��� ��������� �d�P���R������ � ��������� � �

����& � � s),�0�485�b82=I[/;>65r/�1D265C3x7Á0J>�5C3;2;7D,�0[,�1M/c0J5�_ ><.y6$b82=,�6 1@,�3 � � � ��� � � ,

4/,�0�485C3@0J587�3�.±B97a2�5=3�/�B�>�,y4/4C<23;7Á0JIt7Ò0c3@<2B458>-,�3 4/,�0J><2@36/�7Á0g26>�¡�5RZ­I8Z/2;>?5�b¢3;7D4�5¨/�2;2@3;7932<?2651,�3+7ð3@<JI;> � _x7ÁBÁB�0�,�2x2@3;74I;I;5C3x7Á0�2658I�3;792k.h4�>?554 ^ 7Á0JI8Z

� �}!�� �q�"#��$� � !����-*��£���J���}�-���R!���� �W� *�!�� � ���£�����I¨<87ÁB47B7Á0JI�/�0 7Á021,�3;6 /�2;7D,�0 >;.2><265�6 2;>?/�2�796�b¢B�5�6�5C0�2�>W+�5CBD,;>±365/ii<87Á3658>®/�_¥/z. 2=,><2=,�365"/�+�5CBD,;> ^ 0�,/_B45872I;5V3J/;>�5+/�0J7�/±>@<83?C�>;.2><265�6 1,�3L>J/�0J7ðBa7Á0JI�2;>?5mb236587B7D48/�2;7ÁE�5B4/�0JI�<J/;I;5RZVw�<�4�>:1,�3;6�<2B4/;>/�365c>;26/�2�5d6 5C0�26>/�31,�<?2 >�,�6�5m_L,�3@B47 EHILv�ORu�Y�B97 ^ 5r/�0�.b23=,�b1,;><792;7D,�0n,�1�/l+�5CBD,;>G�I¨Z +L>�<J>/S�792x74>[0J/�2�<236/�B-2=,�3�5db¢3658>65C0�2m2;>J5�6 /;>VbJ/�3;2J,�12;>J5[G�I¨S�7:Z­5RZ8/;>�b23=,�b1,;><792;7D,�0J>5Z�Gp>65�2-,�1J><79AJb23658725��20J587±1,�3<6 <2B4/;>�7¢5d�¢087Á0JIJ4/,�0J>;74><C265C0�2/;I;I�3658I;/�2;7D,�0£Sg7Á0J><26/�0g2;74/�2;7D,�0�/�0J7 ><b�554�74/�B97D¥�/�2<7e,�0¤2=,;I;5�2;>J5C3L_x792;>]2;>J5J,�38�U554�26>

Page 21: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

� ����� 2 P� �� ����P���=��� ��������� �d�P���R������ � ��������� �<�

2;>J5�. 365C1A5C3J2=,�¡ �"! ��#%� � � � �"��� S ' � ����� �1�2�"3�� S(' � -�S ' ��) �$*%��)�+ �&, /;>V_¥5CBÁB�/;>J,�2;>8C5C36> � /�365�/;>6>�<86 5�7(2=,]3�5�7Á0�4CBÁ<J72587�7Á0 58/R4�>�+�5CBD,;> ^ 0�,z_B45�7¢I;5N3J/;>�5�E Gr.�wyILORQ�Y:Z1V1 /j+(5=BD,;>�GWI >6/�2<7�><�J58>N2;>?5�><79A�B�/�0?I�<J/;I;5 /�Ay7D,�6 >W792�74>�48/�BÁB45�7 ,.D'�L-) LH'D/�����(4/,�0J><7�><265C0�2/Z ��,�3�7Á0J><26/�0�485RS;365C1A5C365C0g2;74/�B�7Á0�2�5�I�3<7a2k.l74>ª5C0J>�<2365871Z�1V0l2;>J5J4C<23@365C0g2ªE�5C3;C><7e,�0`,�1ms),�0�4�5�b82�I¥/;>�5RS�><2@3@<�4d2�<236/�B)4/,�0J><74>;2�5=0�4d.]74>W4�>?554 ^ 587p3�.j>J/�0J7¢C:,�b82;796�7D¥8587b23=,B48587×<23658>[BD,B48/�26587$7Ò0]2;>?5 ><2=,�36/;I;5±>�<838C�><.2>;265�6jZwu5/4�2;7D,�0 � b23=,�Ey7472587:/�B4IR,�3;792;>86�>¨1,�3�/�<82=,�6 /�2;7D48/�BÒB9.�I;5C0J5C36/�2;7Á0JI!/�0?7 5CE;/�BÒ<?/�2;7Á0JI4/,×725"1,�3+725/4CB4/�36/�2;7ÁE�5"3@<2B458>/�0J7(45,�0?>;2@3�/�7Ò0g26>/Z"+L>J5�7Ò0¢1,�3;6�/�2<7e,�0*><.2>;265�6 >?/;>L2;>J526/;> ^ 2�, 3658/R4�2J2=,]7Á0J>�5=3<2;7D,�0J>�/�0J7-725CB45d2<7e,�0?>J,�1¥>�<�4�> 7B79 �5C365C0�2W,�3?�_5/4�26>±/;>�3@<2B458>/S4/,�0J><2@36/�7Á0�26>�/�0?7:Ba79265C36/�B4>V3�.�5�Að5/4C<82;7Á0JI¤2;>J5c3;74I�>�2Jb1,�3<2;7D,�0`,�1 2;>?5�4/,×725RS?7�Z­5RZ?2;>J54/,×725m>J/;>/�485=3<26/�7Á0�3�5=B4/�2;7D,�0J><>879b�2�, G�I <?b�72/�2658>/�0J7 ><>�,�<2B47$3�5�><2=,�36587$_x792;>87Á02;>J5±G�I¨Z ��74I8Z � b¢3658>65C0�2�>/�6\,×725CB�2;>J/�2x74>/�32B45�2=,l48/�b82@<2365�2;>?5�>�5"365CB4/�2;7D,�0J><>879bJ><2087Á1,�3<6�B9. /�0J7F48/�0{3�5:<J>�5�7}2�,�6\,×725CB+/�0J7o4/,�0�2@3=,�BJ2<>J5�796�b2B45�6�5 0�26/�2;7D,�0{,�1b236587B7D48/�2;7ÁE�5�1@,�3;6 <¢B�/;>/ZGL2L2;>J5�2=,�b�B4//.�5C3L2;>J5J4CB4/;>�> �"! ��#�� � � � �0� � >;26/�0?72>[/;>¥/c>;.×0�,�0g.y6 1,�3x+�5CBe,;>[G�I¥>><7Ò0�4�5�/�BÁB�b23=,�b1,;><7a2<7e,�0?>¥/�3�5J7Á0J><26/�0�4858>),�1�7a2/Z � b�5C36/�2;7D,�0J> /�b8b2B9.�2=,¤b23=,�b1,;><792;7D,�0J>/S5RZ­I8Z14/,�6�b?7ÒB97Á0JI�/]b236587B7D48/�2;7ÁE�5�1,�3;6�<2B4/8Z!D"A25/4C<82;7D,�0j74>±78,�0J5�3�.�2=,B,�B4>5Z�1V0J><26/�08C2;74/�2;7Á0JI]2<>J5l2=,�b�B45CE�5CB ,�3?�_5/4d2�>�48/�0`3�5�7Á0�265C3;b¢365�26587 /;>�2;>J5 ,�N���)����9)+/���� �� ,�1/485C3;26/�7Á0 ><.2>;265�6 /�3=4�>879265/4�2@<23�5�S�7Á0�2;>874>N48/;>65¤2;>J5 ' � � � #�� , � !f,�1xs),�0�485�b82=I[/;>�5RZ1k2 ,� �5C36>,/�0l,�b�5=3�/�2;7D,�0§48/�BÁB45�7 � � #�� , � _x>87D4�>�2�/ ^ 5�>,/�0 ' � � � �0! � � � � ��� ��� ! � �$� �/�0J7]b¢3=,×7×<�4858>/;>�,�<?2;b2<82m2;>J5±5CE�/�BÁ<J/�3¢B�5�� � # , � �����") � � ! J>5Z+L>J5m31,�2<2=,�6 ¡@7Á0J><26/�0�485 � B45=E�5CB874>�7Ò0g265C3;b2365�26587 /;> ���H� ) L<��� K�[,�112<>J5�>;.2><265�6&S�5RZ­I8Z7Á0`�JI8Z � 2;>?5l45,�6$b87ÁB4/�2;7D,�0&,�1[/*0J5�_ 45,�0?>;2@3�/�7Ò0g2q,�0�bJ/�2;745C0�2�> /�0?7 7×3@<?I;>5Z$+L>J5725�b�5C0J725C0�4�.n,�1�2;>J5!I;5C0J5C36/�26587j4/,×725�2�,]2;>J5l,�3;74I�7Á0J/�B 265�AB2W,�1�2;>J5l4/,�0J><2@36/�7Á0g2W74>365/4/,�3672587]3g. /�0(7Ò0?>;26/�0�4�5�,�1-2;>J5N,�3?�_5/4d2 ��� #%� , � Z+L>J5 ><796�b2B979�J587j4/,�0J>;2�36/�7Á0�26>®/�3�5�5CE;/�BÁ<J/�26587j3g. /�6�5�26/�C�7Á0g265C3;b2365�265C3�48/�BÒB4587 ' � �� * �", + � � � !�Z 1V0J>�5C3;2;7Á0JI�/®0?5d_ 7Ò0g2658I�3;792:.[4/,�0J><2@36/�7Á0�2x4/,�3@3658><b1,�0J72>L2=,!/;7¢7B7Á0JI�2;>J548/�bJ/�387ÁB9792:.�1,�3�4�>?554 ^ 7Á0JI]792�¡�/�0J7 7a2�> ><796�b2B979�J587:1,�3;6 > � 2=,�2;>J5�5CE�/�BÁ<J/�2=,�3�2=,B,�B:Z��7�I8Z � ><>�,/_+>m>�,/_ 2<>874>m7�> 365�b23658>�5C0�26587(7Ò0�2;>J5 2=,B,�B-6\,×725CB:Z�+t>J5 ' � � * �", + � � � !0�,/_ >J/;>±/;>®/*0?5d_ ,�b�5C36/�2;7D,�0�2;>J5�/�3?7ÒB9792:.j2�,n4�>J5/4 ^ 2;>?5�><7a6$b2B979�J587j45,�0?>;2@3�/�7Ò0g2,�1J�JI8Z � 1,�3l2<>J5]7Á0J>�5=3<2;7D,�0 ,�1 � �",&� B97a2�5=3�/�B�>/Z +t>J5 ><796�b2B979�J587�4/,�0J>;2�36/�7Á0�2l74>7Á0J><26/�0�2;74/�26587�3g. /�b8b¢Ba.B7Á0JI$2;>J5�������, - �0� ! � �", + � � ) � � �",&� � � ����� - �"� ! �� �0, +�� � � � � �%� � � , �� � �&,�� � � � ��� �l2�,�7a2/Z+L>��V2=,B,�86],� ����B7����R4/4/,�6�b���87��� �3�.����������;7D4Lb��=,B4��� �������� 2;>���2�2 �;7��������"6!���"���������,-2;>#�$@,�;6

;0%!%!�8* �0Y �6@H�J-0 #"�$ %'& W!-0%65Hc#I!-0%'@Z%�(#$ "�$!%'&

Page 22: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

� ����� 2 P� �� ����P���=��� ��������� �d�P���R������ � ��������� ���

Tool Operation Propositionby

from

to

Model

compile

IntegrityConstraint

executeICcompiler

SimplifiedForm

insert

output

System architecture

ICcompiler#Run1 compile#1

forall([InstanceOf(_p,Patient), AttrValue(_,takes,_d), InstanceOf(_d,Drug)],implies([InstanceOf,_s,Symplom)],AttrValue(_p,suffers,_s)))

forall p/Patient forall d/Drugforall s/Symptom AttrValue(p,takes,d) and AttrValue(d,heals,s)==> AttrValue(p,suffers,s)

...

in1

out6

executedby

Execution of a compile operation

����& � �j,� ����1, 2=,B,���5SB,�b ������2<7e,�#� ��� ]b���,�b1,��;792;7D,��� ��# ]792�� ��b?b��97e4���2;7D,�2=,�2;>��N4/,�6�b87 ����2;7D,�\, 45,�#�;2 �"��7 �g2��

_x>�������� ��� �(b��=,�b1,��<792;7D,�£S �"�/. 6 S�7 ��7 ���"���;2��� `,� �������2��� 1Zhs),��4���b82=I ���"����82=,�C6!��2<7e4��� �9.$������������2����-2<>��L6!���"��������� 3�.�������=4�>87 ���m2<>��x,�b ������2;7D,��� ��� ¤2=,B,� ��2;>���2

Page 23: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

� � � � 2 ������ �� ��� ������� � �� � � ���� �� ��� � �������� � �

ICcompilerAttrValue(_d,heals,_s)

System architecture

ICevaluator#Run1

forall([InstanceOf(_p,Patient), AttrValue(_,takes,_d), InstanceOf(_d,Drug)],implies([InstanceOf,_s,Symplom)],AttrValue(_p,suffers,_s)))

Insertion of a literal

evaluate insert

forall([InstanceOf(_p,Patient), AttrValue(_p,takes,Fentanyl), InstanceOf(Fentanyl,Drug)],implies([InstanceOf,Pain,Symptom)],AttrValue(_,suffers,Pain)))

AttrValue(Fentanyl,heals,Pain)

insert1evaluatedby

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

����)�*����#�&�+���� ,���%�� ��-�������"�����.� 60/21 ����' ��3�54.�!�+6���! � � ���.�87�����"� �:9���� <;4 �" �� � �=�� �� ��� ���>4?� ���)! �����"�������&@

< QBA %65B@H$ �B�#-S* �JO��!A6.0"�� A %65B@H$ �B�$6&](#�J-!"0c+A W0%#-4 !�B�e@ �JI0 #"�$!�6&4" W0%#-0 !�!��M��J,!-#.0/ 4/4/4BA

< QB� �0 !�'.4 #"�%#-`*�� �0 !�'.4 #"���W0%#-0 !�!�+1*C:<J&]('"0 '&]A!���JW21�<6@`_CI0 �"�$0�6&0"7G7_�4/4/4NG

Page 24: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

� � � ��������� ��� ��� � ���$6&](#�J-!"0c+AJE0"!"B-��0 0�'.7�]18;H�6&4"0 '&�Y0�8_��H�! !�H(7_CI4 B$'&]G�A

� � ��������� ��� �#� ����'���+! � �+ �� � ���� ��� � ��'�%� � �*��������'�"���(�� �� ���� �' ���� �����+7���' ���� �' ����%� ��B��'!!���'���� ��� ������ �� ��*��� �� ��� � �(������'���� / � � ��! � ��'����(� �+6 ��!��� ��� ���� �' ��<�&�� � ��� �#� �������"����� � �"�*�+�'������ / � ��$��� � ��� ����� �'�������� �� ��+! ���

� ��� � �������'������ � �� �� ���'! �0! �$#%� � � � �"��� � � ��� ���8��� � 2)�� #��2�&) � ��� ��� � / �� �������(�'����� � ������'���� � ����� ��� �"� ������ ������ �.�' �� �*��$����� ���� ��������� ����� �' ������ �+�'��!!� �.�' �������������� � �*����� �����$���!�=��� /#" � �' �� � ����� ������ �+6 ��! � ���%$ �' �� � ����������8� �*����� �����$��� - � �� ! � �0, + � � # � ��� � � � � ) � ���:�*������*�+���� ��� �' #� � � � � � ���'� ���&������� � � � � ����� �(' �"���7�� /*),+ �-

I!-0%'@4%�(#$J"�$!%'& 1�-/. 0�23 4�3�7 � _ A E!"!"B-��4 !�'.]�]1a@S_C"4 #VT�0(7_aM�G�A+_�6!MB�J@H�6&HM�( %'&S_ -/. 0�23 487/9�G" �� �$�� �?�*��$����� ���� =��������� ��� � ������������ ������$���.� � B����� ��� �' �� �*��! � � � � �'��!!��������'!�������$��' � � B��'! ��� � �"�� ���"� ���$�"�������"� � ��� �+6 ���'�'� ��� � �-�� ��* �� ��� ��� ����/ �*� �"� /1 ��:�' �������! � ����������0$ �' ��� ��*����������'� � � � � �*�+��7$�����'���� � � � �"� �������'� � � B��'! ��� �!!�1 �$���2� � ���+! � � �� !��� ���������� � �"� ����! � ����7��� �����!!� ���� � ���� � �' �� �� �����+! /3. ����:! ������&@ �' �� ���������'������� �� � � �+� 4 ����� � � �*� ��7$�����'���� ��� ��! � ���+! ��� �����'���� ���!!��� �(����� ���� !�� ����!!���'������ �4 ' �"� � ������6587-792:%;=< + /> � �' �� ���' ���� #��� .$ ���'� ������ ��.��� �� !#�� ���� ��� ��������'�4� �8�� �� �� �����+! ����� ������*�+� ��������?�����"��� �?� � �� ���@������+! � � �*�+��7$�����'���� / 7 �������' �� � ���"���'�'���� �� ������+�'���� � ��� � �������'���� ��� ����� ��� �A� ����� � ��� � ���'���'������ ��� ��� �����4?� � � �������� �� ���� �+ �� � ����:��' �������'�"� ! 4 / � / � / � � ��� ���=��� ��� �� ��$� ���� � ����� ���=��� �������� �� ��%� � �������'���� /CB ���' �� ��' ��2D � � �'��� � ���=/ �&�+�FE � " E � 587 �HG-I�;%J=<�� � ����������%� �' �� ��� ���! �� ������ � �*�+������LK��� ��� �����54 ���� � ��� �������3!#�� ������ ���,4 �����#���� ���<� �(�������*������*�+� � ��� �'�4��� ���� ��� � �&������! ��� ������� ������=�����"� �����54 ���� � � �*�+��7$�����'����0$� ������ �� ��� ��! � � �+! � � �"���'�����- �' �� �*��$��� � � � ������=����M���$�*4 ���� ����N������� / � � ��������� �"���'���� � � �$�� ��� ���� ���� ��'� � �' �� � ��� ����� ��������C���$�*4 � �� ����O�����"� � ����! ������� �' ����8�� �� �$���'����-� ������=�����"�� � ������'���� ����P� �����Q� ���"� ���� �� �����'�4� �=�*��������'�����(� ��� � � ���� !!��� ��� /

R#S � TVU6W*XZYP[]\QTVU6[" � �' ���� � � � ���.4 � � ���������(���� !�3!!�+�' �� �B�� �� ��*��� � �#� � � ������'���� ��� � � ����� � �"� �"� ��� B�� �=��/ �*�+�@�5��'����� ���� ����'���+! � / � ��� �����'� �����"� 4 � ��! � ���+!!� � ���� �� �� �� ������4?���' �� ���� �� �@������+! � ��$��� � ��� ���"� /^B � �������' #�$B�� ���*4 � �#�-�*�� � �'�4�����'������*@

Page 25: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

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

),+ � ��� ��$�+�'� � �.� � ������'���� �� ��*��� � ���:! �+�' $�� ��� � ��� � ���"�� )4?���' � ����! �����"�&��!��� � �����'���� � ����"� � �� �� � ���� ���� � �����! �� �� ������=�#�������'�"����� ��� �� ������ �#���'����� #�����"�� ��*��� � ��� � �(������'���� �0� ������"� � ������#� � ���'� ���3�&�� �� �������������"� � � �' ��7��"�'� � ����"� /�> ���& � �������$��� �*�+�'� �����*������ ����� � �"� ��"����������� ��� ��� � �(������'������ ��*��� � ��� /

+ G ��! � ��� 7 � ��������=�����'!�������� ��� � � ��� ������� �*4 �)������ �������� ��� �����'� �'�4��� ��� � � � ����"� � ���.� ��� ���"�� %�������� ��'���' �!!� � �#�� �� ���������'������� ���!!��� � 4? ������ � � ����"� �� �*�����?�� �*��! � ���+����� � � � ��� /

� + 3. #�8!!�+�' �� 2� ��������� �� ��.� ���"� 4? ������ �*����'� ����� � ��� ' �� � ������� + ���� � � ������� .$ � / � /� ���"���'���� =�� ������+���� .$ ��� � ���A� �'��!!�8� �� �� ����'���+! / 3. #�8� �$�����+!!��� �"����*��! � � ������ � ��$��� � ��� ����� ���"��� �+6 � �����+��� � � ����� � � � 4 ����� �' #� ��*������������ � � � � �*�+��7$�����'������� �' �� �+6 �*�������=��� �:�*�� ��2��� !!��� � �"��� � �' #� ����'�"� ! /

9 + 3. #� � � ������ 4? ����� � �������� �'����������� ����! � ����7��� ����! ��� � � ��� �� ��� ���������"��� /3. ���Z$ �+6 � �����������'������ ��������� � � � ��� ��� ! ���'� ��� ������ ��� � �$�+� ���'� ����$ � � � ��'�'���Q������� � � �*�+� ���� K����'��� � �������� �� ������ $(��� � � ��� ��'�"� /

; + ����������� �*������ ����� � �"� ������ � � ���� ��$���� ���)�=��/ �&�+�@�5���� ���(���� � ������ ! �� ������ �-�������'� ���� �� � ���� ����$�+��� � � �+�54 ����� �' ���� ������������ ��� ���������� �=��/ �*�+��� / � � #� � ����"����� � �*� �"� � �$�� ��� �&��! � � �����'���� ��� ������ �����'����!���� �'������� ���.7������:�������"�.� ���@�� K������:� � �' ��# � / � �+�'� � � ������=�����"� �?5 E�� � :%:=< ��# ����!!�)�=�A/ �*� ���5��'�����(���� ����"�=��������� ' � / � / 5 2� :%:=< + � �' �������! ������� �����& �� ���� � 4 �'���'����� � ���=����� ��������������' ����=�� ��� �� ��*������������ � ��� � �&�+��7$�����'������ / � � ���'������� �4-$ � � ����� ��� ����� �� �' #� �� � ���� ����$�+����� ��# � � #� � ����"�� ��� � �*�+��� ������ ����/ �*�+�:��� �*���������'�����$�Q%�' #� ! ����� � ��� /

G���� ������ ��! � ��'����(� � ���=�����+!!� ��� � � � ��'� �������'����� ���+!!��� � ��� � � �+6 � ����"� /1 � �"�'� �4-$ �� ��"!!��������+!!���(� � ���� ����� ��� � ����'� � �� � �����'! ���'���� ���*� ���' �' �� �=���/ �*�+� ����� ��� ' ������� ����'� � � 6�- � ������� + ��� ,�' ��3!!�+�������� ��� ' ��� �� ���������� ������ � �� 6�-�*��! � � �����'���� + �����+!!����� ��� ��� ���������7$���� � � ����! ���"� B�� ���'�' ���� � � �+�����$�Q ����� ���587-7 � ;%J=< / G��*�*��� ��4-$�4 � � ���� ��� �+6 ������ �' ����*��! � � �����'����-�"�&�� ������ �#� � �#���� ��������� �' #� �����"�=� �*��! � ��� 6%�*���7�����"� ,�=��/ �*�+��� ��� �'� �� ���� � � 5�� >�� D ;%J=< /3. �� ����� �����(� ��� �����"� �= ���������� � � ������ � � ������'���� � ��������'���� ���$����! � �4 ��������/ �*�+��' �� � �"������ �+�'���� / � !#�������� � � ���'���������� � ��� ����� �� �� ���� � ��� � �� ���� �������!!���'���� ��� � ��� � � � ��� ���� ����"� � �����#���"������ ����! � � ������'���� �*������ ����� � �"����� � �"� �"��� ���� � �5 � B ;%J=< / � ����*� � ��� $(�' #���"�?����� � � ��� � ��������%��� �+6 � ������� �' ���� � �"���"� � ������ � ! ��� ���&�� ��� � � ��������25�� " :(; $ G-I�:�� <�����������' ��������'!������ �'��! � ��� 7 � �������� ��� �������� �'���+�'����-��' ��"�*��$����� ���� #�������"����� / " ����=�*������� ������ !#�� ��7$�����'������ �$��� ��� � � ��� � � � ���"���'���� � ������ �"� � � �������� 4?���' �� ���:� ����#��� �+�'����!����� �����$��� ������.� � ���"���'����0$ ����?�*�����

Page 26: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

� ��������� � � ��� � � ��������"����� ����� ���'�"��� � � � ������'���� �&��#�'� �"��� �(���Z$ � / � / �' $���"� ��+! ��� � �����' �� �+6 ���'�"��� � �� � ! �� � 7#� ����'� �'�4��� ��� /1 � �#�� �4-$ ���� ����� 4 ��@� �*��$����� ���"�' ��%� �(����������'���� � � ���� ��� ����� � ����# �"� ! � ������*������ ����� � ����� � 3 ������� / 3. �� �����'�"���:���� � � ���"�� ���� � � �&�+� �' ��C� �+ �� � ���� � �' ���� �����+! �-����������'� ���:�� ��?��� ! � � �"��� ���� � � � �����'����)���"�' #� ����'���+! �'��! � � �����+4�=��/ �&�+� /

S � �� ������ UPW�� [

�������������! "�$#&%('*),+&-!)/.10324.5�$6!),78'*9*:,-!)/.1;<2=.>�@?8AB'*#&#C.D�E2=.F�G'*#&#&H&'I7J:/.DKE2=.F0L6!'I?8HC.1�M2=.3NPOQ-!)R'*%�.TS,2U&VC�����XWY2[Z�:\?]-!^,_�?C78#&`a-!H&'I?8)(#Y?CO5OQ6!#Y6!^,6�+&?L+�bc+�#Y?ed d�6!)R'=fg?h+�#Y-(2ji<k&lCmonqpsrIkJtvu@w8x,u�ny l�xhz�n{l�x5|�}Y~o�,mCu�r���}��oxP~L�{���C}Ymhua�&��k8r�}Cx\ua}Y~�|��oug�X�Y��te}etv.,KGb�-!#Y-(.���6!�,6!)�2

�����{�����! ��-!d�d�'*#&#Y?h?�fg-!H��GO(��6!)\7C?CO����$0�S�;Q�R),78#&'I-!)�U&VC�����XWY2�Z$:R'*HYOc`���?e),?8HY6!#&'I-!)MOR6!#Y6!^,6�+&?+�bR+�#Y?8d�d�6!)Q'=fg?C+�#Y-(2�0L?8d�-!HY6!),Oc�Rd �@���{���<�{� 0L���X��¡��(.¢�{)R'*�(?8HY+�'*#�b�-hf���6!9*'=fg-!H&`)R'I6(2�����£��¤! �¥HY6�7Y:Qd�6!)/.1��2=��2=.R�£?8��?h+&¦��\?�.D§�24�X2RU&VC����¤XWY2A":\6!#�d�6!%(?C+�6�%(),-C¨{9I?COc��?�^\6�+&?�%(),-h¨{9*`?COc��6!^R9I?!©ª�«�('I?8¨¬-hf�OQ6!#Y6!^,6�+&?C+Ef�HY-!d #&:,?�%(),-h¨{9I?CO(��?�9I?e��?89a23i<k­lhm�nBp¢rIkJt8u�w8x,u�n

y l�xhz�n{l�x5®¯8°�}hkvu<|���ua�X�Y�!tC}E±,²!t8ug}h³Etv.\0F?e)R9I-�´�6!H&%�.µ�¥6!9*'=f&2�����@0F���! �¥H&b�.D;¥24.��@?C7J%�?eHC.D§�2=.�0L6!)�#&:\?8b�.1��2QU&VC�����XWY2��¶�R)Q'=fg-!H&d·6!�Q�RHY-�6�7J:�#Y-�7C-!),+�#&HY6!'*)(#�+&6!#&`'I+¸fa6�78#&'I-!)�6!),O�7C-!),+�#&HY6!'*)(#¹+&6!#&'I+¸º�6!^R'*9*'*#»b<'*)�OR?COc�,78#&'*��?£OR6!#Y6!^\6�+&?C+82�i<k&lCmon�®<|@¼M½@¾À¿�¿�.�<?8)R'I7C?o2����0L0L���! ª�¥H&b�.D;¥24.¢0L6!)(#&:,?8b�.1�@24.0L6!H&#Y?8),+8.1��2U&VC�����XWY25Á�)(#Y?8��H&'*#»bÂ��?8H&'=º�7C6!#&'I-!)]'*)5%(),-h¨{9I?CO(��?^,6�+&?h+82��$S(´<�ÃÁ¸ZÄ���{�Å��-!d��Q�R9I-!�ÇÆ�-(2<È��(V!¡�./�$���É�"OR?89*'*�(?8HY6!^R9I?�ÆG-(2��E2Ê¡�24VC6(2�Ë��AÄ���! ��?8H&'a.ÊS,2=.�AB'IOR-!d].=��2U&VC�����XWY2]��?eH&'*��'*)Q���RHY-�Oc�,78#&'I-!)3H&�R9I?C+Éfg-!HM7C-!),+�#&HY6!'*)(#@d�6!'*)(#Y?8`),6!)\7C?�2�i<k&lCmonÉÌcÍ�u�Î�w8x,u�n y loxCz!nÉlox"Ï\}Ck8²�Ð���k�Ñ�}E|���ua���J�!te}etv.R�¥H&'I+�^,6!),?�.R�É�,+�#&HY6!9*'I6(2�����$0F���! �@6Cb(6!9a.D��24.��<�\7Y:Qd�6!)R)/.1��2=.M0L7!��6!H&#&:�bX.D�E2�U&VC�����XWY2 �$�R9I?C+]6!HY?Ò-!^\_»?C7e#Y+�#Y-�-(ÓÔ�%(),-h¨{9I?CO(��?�d�-�OR?89Õfg-!HM6!)>6�78#&'*�(?�-!^,_�?C78#&`a-!H&'I?8)(#Y?COÖOR6!#Y6!^,6�+&?�+�bR+�#Y?8d]2�i<k&lCmonÖ×�x�~w8x\u�nÙØ]l�kJÚ!tYÎRl8°jl�xÛ�Ã�g�e}JmCua�&�$k8r�}hx,ua}Y~�|���ua���J�!te}±\²!tvua}h³Mt8.���6�O¶0 Ü�R)\+�#Y?8HC.�Ý�?eH&`d�6!)(b�.�V!¡��!`&V8Þ�È(2�����$����¤! �@?C7J%�?8HC.1§�2(U&VC����¤XWY2<Á�)(#Y?8��H&'*#�bÇ?8)(fa-!HY7C?8d�?e)�#¢-!)]OR?hO(�,78#&'*�(?�OR6!#Y6!^,6�+&?h+82Ãi<k&lCmonÃpsrIkJtvuw8x\u�n y l�xhz�n{l�x5®¯8°�}hkvu<|���ua�X�Y�!tC}E±,²!t8ug}h³Etv.\0F?e)R9I-�´�6!H&%�.µ�¥6!9*'=f&2���{���������! �:,?eHY?8HC.TS\24.\��6!H&%(?�.D032=.���?8�\+¸fg?89IO�.1032�0Â'I?8#&:\+&6!d].D��24.R�{-�+&?�.1Z@2/U&VC�����XWY2{��-!),7C?e�R#Y��6�+&?��¡�21�E�,+&?8H{d�6!)(�,6!9a2�Ã?e�P-!H&#�0LÁa´`a����È�¤(.��{)R'*�(?8HY+�'*#�Ü6!#<´�6�+&+&6!�/.µÝ�?8H&d�6!)(b�2�ËÝ�ß��¥�<���! @Ý�-X7C?8%�.D032�U&VC�����XWY2�)�#�¨{�RH�f��Q),O��{?C6!9*'I+�'I?8H&�R)R��?e'*),?C+\'*)(#Y?8HY6!%(#&'*��?8)���+&+�'I+�#Y?e)�#Y?e)�fvÜ�QH%(-!)Rà�?8�R#&�\?89*9I?E��?8HY+�'I-!)\+�`��R)\O"K@-!)(º,���QHY6!#&'I-!),+&?8)(#Y+&7J:,?8'IO(�R)Q��?8)/2Ä�G'*�R9I-!d�6Ö#&:\?C+�'I+8.�{)Q'*��?8HY+�'*#�Ü6!#<´�6�+&+&6!��.�Ý�?8H&d�6!)(b�2

Page 27: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

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

��§�Áa���C §�+���.D��2=./Á�d�'I?89*'*),+�%('�.1Z@2�U&VC������WY2MÁ�)(#Y?8��H&'*#�b 7J:,?h7Y%('*)R��fg-!H@d��R9*#&'*�R9*?{�R��OR6!#Y?C+82�i<k&lCmon��y�� ��±(w�� � �$|jw8x\u�n y loxCz!nÉlox � ��x��CÑ(}C³�}hx,u�l­z�|���ua�o2

�Ê����0L���! �!6!H&%�?�.10324.<�!?8�,+¸fg?e9IO�.D032=.¹0Â'I?8#&:\+&6!d].D��2�U&VC�����XWY25�{?CO(�Q),OR6!),78b3'*)5'*)(#Y?8��H&'*#�bÖd�6!)R`6!��?8d�?8)(#�fg-!H�OR?hO(�,78#&'*�(?�-!^,_�?C78#M^\6�+&?C+8Ó]6L�RHY?e9*'*d�'4)\6!H&bF'*)(�(?C+�#&'*��6!#&'I-!)/25�$S�´<�{ÁaZ�$�Ã�Û��-!d��Q�R9I-!��Æ�-(2<È��(V!¡�.P�@?89*'*�(?8HY6!^R9I?�ÆG-(2��E2Ê¡�24V8^/2�Ê�����{���! �!6!H&%�?�.10324.\��?8�\+¸fg?89IO�.10324.(�{-�+&?�.1Z�2�U&VC�����XWY2ÉS�-hf�#�¨Ã6!HY?{�QHY-�7C?C+&+¥d�-�OQ?89*'*)R�M6�+{6M+�#&HY6!#&`?8��bÂfa-!HÇK@��0�SF'*d��R9I?8d�?J)(#Y6!#&' -!)�2Fi<k&lCmon5p¢rIkJt8uÃw8x\u�n y loxCz!n>l�x¶|�}J~��,mhu�rI��}Ö��x�~�{���C}Ymhua�&��k8r�}Cx\ua}Y~�|���ua���J�!tC}8t8.,KGb�-!#Y-(.£��6!�,6!)�2�Ê��0�S������! Ä�!6!H&%�?�.10324.!0]b(9I-!��-!�R9I-�+8.=��2=.�S(7Y:Qd�'IO(#C.=��2�Aq2=.C�<6�+&+�'*9*'I-!�/.��M2�U&VC�����XWY2�Ág)(fg-!H&d�6!#&'I-!)M+�bR+�`#Y?8d�+¢OR?8�(?89I-!�Rd�?8)(#¢6�+%(),-h¨Ã9I?hO(��?{?8)R��'*),?C?eH&'*)R�RÓ¹6@HY?e��'I?e¨ -hf¹#&:,?{����Á¸���¶�RHY-�_»?h78#C2Z¢-@6!�R��?C6!H�'*)Öi<k&l&ÑXk­�o³Çr�k­lo���ox,r�}C.QS�-h�('I?8#��{)R'I-!)�.�6!9I+&-@'*)/Ó¢�{?8��-!H&#�0LÁa´`a���(VC�(.,�{)Q'*`�(?8HY+�'*#�Ü6!#�´6�+&+&6!�/.�Ý�?8H&d�6!)(b�2��K@Ý����! KG'I?�9*'*)R�R.�AÔ24.QÝ Ü�Q)�#&à!?8HC.D��2,U&VC�����XWY2��@?CO(�Q%�#&'*�(?��@6!#Y?8)(^,6!)R%R+�bR+�#Y?8d�?{6!�(f�OR?8d A>?8�àC�QH�´HY6��('I+82¢w8xCzCl�k8³���u�r*Ú�pPlokJtemeÎ��Rx(ÑM�QxP~�®<x,u� r�meÚ��T�Qx�Ñ���U&VC�����XWY.\S��RH&'*)R��?8H�<?8H&9I6!�R2��K�0�S��$���! �K@-!�R^,6!HY6!%('I+8.10>2=.<0Âb�9I-!��-!�R9I-�+8.=��2=.<S�#Y6!)Q9I?8b�.¢0324.��-!H&��'IOR6(.1��2$U&VC�����XWY2>Z¢?89I-�+8Ó�fg?h6!`#&�RHY?h+Ã6!)\OÖfa-!H&d�6!9*'*à�6!#&'*-!)/2�Z¢?h7Y:Q)R'I7C6!9��Ã?e�P-!H&#�K��$`a���!`a�!ÞR.¢�{)R'*�(?8HY+�'*#ab�-hf¥Zs-!HY-!)�#Y-(.ß�)(#C2��K�S����! K@-C¨{6!9I+�%('a.D�@2=.¢S�6�OcH&'a.D;<2$U&VC�����XWY25�¬#&:\?C-!HY?8d�`��RHY-h�('*)R� 6!�Q�RHY-�6�7J:Ò#Y-]OR6!#Y6!^,6�+&?�'*)Q`#Y?8��H&'*#�b�2�Á�)>0Â'*)R%(?8HC.4�X2£Ua?CO�2ÊWYÓM;,-!�Q),OR6!#&'I-!),+E-hfÉ�@?CO(�,78#&'*�(?M�@6!#Y6!^,6�+&?C+E6!),O>�£-!��'I7´HY-!��HY6!d�d�'*)R�R.�0L-!H&��6!)LK�6!�(f�d�6!)R)L´�R^R9*'I+�:,?8HY+82��K�� Ü�����! KGH�Ü�Q��?8HC.D�{2ÒU&VC�����XWY2 Á�)(#Y?8��H&'*#�Ü6!#Y+��RH�Ü�(f��Q)R� '*) OR?COc�R%(#&'*��?8) ß�^,_»?e%�#&^\6!)R%�?8) 6!d�$?8'I+��R'I?89R�(-!)L��-!),7C?8�R#Y�$6�+&?�2��G'*�R9I-!d�6�#&:,?C+�'I+8.R�{)Q'*��?8HY+�'*#�Ü6!#<´�6�+&+&6!��.�Ý�?8H&d�6!)(b�2���������! �£?Jfa?8^RHY?�.1��2=.8��'I?8'*9*9I?!.D�2!U&VC�����XWY2<ß�)M�@?CO(�,7e#&'*��?����,?eH&b����6!9*�,6!#&'I-!)�'*)�#&:,?<�@?CO\Ý�'*)��S�bR+�#Y?8dÂ2¢i<k­lhm�n�psrIkJtvuRw8x\u�n y loxCz!n¥lox�|�}Y~��\mCu�rI��}<��x�~E�Ã�g�e}JmCua�&�$k8r�}hx,ua}Y~G|���ua���J�!te}etv.KGb�-!#Y-(.���6!�,6!)/2���¢S(ZÃ��¤! ��9I-hbcOµ.4�X2 AÔ2=.�S�-!)R)\?8)(^P?8H&�R.1�{21��24.XZ¢-!�P-!HC.1�@2 AÔ2(U&VC����¤XWY2�Ág)�#Y?e��H&'*#»b�7C-!),+�#&HY6!'*)(#/7J:,?C7J%(`'*)R��'*)Ö+�#&HY6!#&'=ºP?CO�OR6!#Y6!^,6�+&?C+82<Z¢?C7J:R)Q'I7C6!9,�{?8��-!H&#É��¤X����.��@?8�,6!H&#&d�?e)�#<-hf<��-!d��R�R#Y?8HS�7e'I?8),7C?�.X�{)R'*��?eHY+�'*#»b�-hf�0L?89*^P-!�QH&),?�2���¹§ÉA ���! ��b()R��^��$%�.D´s24.�§�6�+&6!)�. AÔ2=.£A"'*9*%('*),+&-!)�.DKE2£U&VC�����XWY2ÇZ$:,?EÁa�{Á�S]%�?eH&),?89¢6!HY7J:R'*#Y?C78#&�RHY?o2i<k&lCmonî<|@¼M½@¾ ����.Q��?8)Q'I7C?�2��0F�GÆ����! 0L6!),-!9I6(.1;<2�U&VC�����XWY2 �É)j?8��6!9*�,6!#&'I-!)"-hfM-!^,_�?C78#&`a-!H&'I?8)(#Y?CO3���$05S OR?e��?89I-!�Rd�?8)(#Y+82Z¢?h7Y:Q)R'I7C6!9,�{?8��-!H&#�Z{�$`g����¤�¤!`&VC�!`a���!`&VC¤���.sÝ�Z{� �£6!^P-!HY6!#Y-!H&'I?h+8.RA>6!9*#&:,6!dÂ.,0L��2��0F�G��K@���! Ç0Âb(9I-!�P-!�Q9I-�+8.4�X24.<��-!H&��'IOQ6(.D��2=.@��6!H&%�?o.D032=.�K@-!�R^,6!HY6!%('I+8.1032ÃU&VC�����XWY2BZ¢?89I-�+8Ó�6L9I6!)R`���,6!��? fg-!H�HY?e�RHY?C+&?8)(#&'*)R��%(),-h¨{9I?CO(��?�6!^�-!�R#�'*)(fg-!H&d�6!#&'I-!)L+�bR+�#Y?8d�+82 ��y�� ½Qk­�oxRt!nw8xhzelokv³��ou�r�l�x±,²!t8ug}h³Etv.Q#Y-Ç6!�Q�P?C6!H��Æ�Z{���! Æ�6�¦X�('a.ÊS,24.�ZÃ+��QHC.TS,2U&VC�����XWY2��Û9I-!��'I7C6!9¢9I6!)R���\6!��?Efg-!H�OR6!#Y6Ö6!),O�%(),-C¨{9I?COc��?�^,6�+&?C+82��-!d��R�Q#Y?8H�S�7e'I?8),7C?{´HY?C+&+82��Æ�Á������! Æ{'I7h-!9I6�+8.4�X2 `a032{U&VC�����XWY2ª�£-!��'I7 fg-!HÖ'*d��RHY-C�('*)R��'*)�#Y?e��H&'*#ab 7J:,?h7Y%('*)R��'*)"HY?e9I6!#&'I-!),6!9OR6!#Y6!^\6�+&?C+82�Z¢?h7Y:Q)R'I7C6!9��{?8��-!H&#C.(ß�Æ��<�{�{`����<�¢[email protected]!�R9I-!�,+&?�.�;QHY6!),7C?�.!6!9I+&-�'*)�Ó � mhua�w8xhzelokv³��ou�r Úo��VC�(UaÈXWY.��@?C7�2$VC���X¡�2

Page 28: ConceptBase.cc - A System for Metamodeling and Method ...conceptbase.sourceforge.net/mjf/jeusfeld90deductive.pdf3g.lb =, C E B7 47 Á0JI!/ 0 5 AB2 65C0J>  5 d2m,

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

���Ã�{�G�����! j�{?8:RdÂ.TS,2=.]�{6!�R�R��.DZ@2=.5�Ã6!)cf�#C.10>2=.]�<Ü6!)R��9I?�.1�@24.L§MÜ6!H&#&'*�R.10324.ÂÝ�-!#&#&:,6!HYO�.�AÔ24.L�G'*#&`#&H&'I7J:/.1KM2=.{�{^RHY6!d�-h¨{'*#&à�.DKE2{U&VC�����XWY2«S��R�R��-!H&#Öfa-!H OQ?C+�'*��)B�RHY-�7C?h+&+&?C+�'*)Ä6Ò+�#&H&�,7e`#&�RHY6!9*9*b{-!^,_�?C78#&`a-!H&'I?8)(#Y?CO{OR6!#Y6!^,6�+&?$+�bc+�#Y?ed]2¢i<k&lCm�n$×�x�~{w8x,u�nMØ]lokYÚ!tYÎRl8°�lox �{�g�e}Ymhua��$k8r�}hx,ua}Y~ |��oug�X�Y��te}�±\²!tvua}h³Mt8.R��6�OÂ0 Ü�R),+�#Y?eHC.�Ý�?8H&d�6!)(b�2�ËS������C S�'*d�-!)/.D�{2=.��<6!9IO(�RH&'I?8àX.D´s2¹U&VC������WY2���?h+�'*��) 6!)\O>6!),6!9*bR+�'I+@-hfÉ6�HY?89I6!#&'I-!)\6!9¢'*)(#Y?8��H&'*#»b+��R^\+�bc+�#Y?ed]2¢0��Ã�BZ¢?C7J:R)R'I7C6!9��{?8��-!H&#ÉÆG-(2����¥`a�(V��C`g����2�ËS�Z¢�{�����! ÔS�#Y6!�\O(#C.D032(U&VC�����XWY2��É)(f�HY6!��?8HY?e�RH�Ü6�+&?8)(#Y6!#&'I-!)��R),OE`a6!�,+�¨Ã?eH&#&�R)R��'*)MOR?hO(�R%(#&'*��?8)Eß�^R`_�?8%(#&^,6!)R%�?e)/2¢��'*�Q9I-!d�6@#&:,?C+�'I+8.R�{)Q'*��?8HY+�'*#�Ü6!#<´�6�+&+&6!��./Ý�?eH&d�6!)(b�2�ËS,��Ý�´<���! S�#Y-!)\?8^RHY6!%�?eHC.D032=.<�C:R'*)R��HY6!)�.D��2=.$Ý�-!:/.=��2=.�´-!#&'I6!d�-�+8.ÊS,2U&VC�����XWY25ß�)3H&�R9I?C+8.£�RHY-X7C?8`O(�QHY?C+8.�7C6�7J:R'*)Q� 6!),O �('I?8¨�+�'*)jOR6!#Y6!^\6�+&?>+�bR+�#Y?8d�+82¬0L?8d�-!HY6!),O(�Rd �@���{���<�{�0L���X��È�¤(.��{)R'*�(?8HY+�'*#»b�-hf<�¥6!9*'=fa-!H&)R'I6(2