Automatisierte WWW-Veröffentlichung auf der Basis formaler ...

ai.cs.uni.dortmund.de

Automatisierte WWW-Veröffentlichung auf der Basis formaler ...

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

VWHKHQ 'HU *UXQG GDI U LVW GD‰ GLH 3URGXNWH LQ 3HSSHUV .DWHJRUL

VLHUXQJ 6SH]LDOLVWHQ LQ GHU MHZHLOLJHQ .DWHJRULH VLQG 'DV LVW QLFKW

EHUUDVFKHQG GD GLH YRQ 3HSSHU EHWUDFKWHWHQ 3URGXNWH VHOEVW HUVW

GLH .DWHJRULHQ GHILQLHUHQ (V JLEW QXU VHKU ZHQLJH 3URJUDPPH GLH

VLFK QLFKW HLQGHXWLJ HLQRUGQHQ OLH‰HQ

(V ZlUH ZHGHU LQKDOWOLFK VLQQYROO QRFK ZLVVHQVFKDIWOLFK LQWHUHVVDQW

JHZHVHQ JHJHQ HLQHQ GLHVHU 6SH]LDOLVWHQ DQ]XWUHWHQ %HVRQGHUV

GHXWOLFK ]HLJW VLFK GDV DQ GHU .DWHJRULH ª���� GRFXPHQW PDQDJHU©

GLH VLFK LQ 3HSSHUV ,QWHUSUHWDWLRQ NDXP YRQ NODVVLVFKHQ 'RNXPHQ

WHQ 'DWHQEDQNHQ XQWHUVFKHLGHW ª6\VWHPH GLH ���� DXI 'RNXPHQ

WHQHEHQH RGHU DOV JUR‰H 6W FNH VSHLFKHUQ XQG YHUZDOWHQ XQG GLH

(QWLWLHV RGHU (OHPHQWH DXI KRKHU (EHQH GHU 'RNXPHQWHQKLHUDUFKLH

UHSUlVHQWLHUHQ © ,P *HJHQVDW] GD]X LVW GHU REHQ VFKRQ JHQDQQWH %H

UHLFK GHU .RPSRQHQWHQYHUZDOWXQJ YLHO LQWHUHVVDQWHU �� � VLHKW

'RNXPHQWH GHVKDOE QLFKW DOV PRQROLWKLVFKHV *HELOGH DQ VRQGHUQ

EHU FNVLFKWLJW GLH LQWHUQH 6WUXNWXU XQG QXW]W VLH DXV XP QHXH XQG

EHVVHUH )XQNWLRQHQ GDUDXI DQ]XELHWHQ

=XVDPPHQIDVVHQG ODVVHQ VLFK DOV 9RUWHLOH YRQ �� � JHJHQ EHU YRU

KDQGHQHQ 6\VWHPHQ IROJHQGH (LJHQVFKDIWHQ QHQQHQ

✗ �� � HUP|JOLFKW GDV 5HWULHYDO YRQ 'RNXPHQWDXVVFKQLWWHQ XQWHU

%HU FNVLFKWLJXQJ GHU 6WUXNWXU GHV 'RNXPHQWW\SV GXUFK 6XFK

PXVWHU GLH DXI GHU ��� GHILQLHUW ZHUGHQ GHU 6WUXNWXU GHU ,Q

VWDQ] VRZLH HLQHU TXDOLIL]LHUWHQ %HQXW]HUHLQJDEH GDV LVW HLQH

(LQJDEH GLH QLFKW QXU DXV HLQHP 6XFKEHJULII VRQGHUQ DXFK DXV

HLQHU 6XFKNDWHJRULH EHVWHKW

✗ 'DV (UJHEQLV HLQHU 6XFKH NDQQ YRP %HQXW]HU YHUIHLQHUW ZHUGHQ

✗ hEHU HLQH DQ :DUHQNRUE 6\VWHPHQ RULHQWLHUWH 6FKQLWWVWHOOH NDQQ

GHU %HQXW]HU 'RNXPHQWDXVVFKQLWWH NRPELQLHUHQ GLH GDV (UJHE

QLV YRQ PHKUHUHQ 6WLFKZRUWVXFKHQ VLQG

✗ �� � HUP|JOLFKW GHQ =XJULII DXI ���� ��� 'DWHQEHVWlQGH EHU

HLQH ��� 6FKQLWWVWHOOH 'DV KHL‰W HV N|QQHQ KHUN|PPOLFKH :HE

%URZVHU YHUZHQGHW ZHUGHQ GLH DXI MHGHP UHOHYDQWHQ %HWULHEVV\

VWHP ]XU 9HUI JXQJ VWHKHQ

✗ (V JLEW NHLQ 6\VWHP GDV GLH YRQ �� � LPSOHPHQWLHUWHQ )XQNWLR

QHQ LQ YHUJOHLFKEDUHU :HLVH DQELHWHW �

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

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

��

More magazines by this user
Similar magazines