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

ai.cs.uni.dortmund.de

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

'LH $QIRUGHUXQJHQ ODVVHQ VLFK VWLFKSXQNWDUWLJ ZLH IROJW ]XVDPPHQ

IDVVHQ =HQWUDOH %HGHXWXQJ KDEHQ GDEHL GLH EHLGHQ HUVWHQ 3XQNWH

'DV 6\VWHP VROO GLH 6XFKH QDFK %HJULIIHQ LQ GHQ 7H[WHQ HUODXEHQ

'LH 6XFKH VROOWH NHLQH VLPSOH 9ROOWH[WVXFKH VHLQ VRQGHUQ LQQHU

KDOE HLQHU YRP %HQXW]HU DXVJHZlKOWHQ .DWHJRULH VWDWWILQGHQ

ªTXDOLIL]LHUWH 6XFKH©

'DV (UJHEQLV HLQHU 6XFKH VROO HLQ P|JOLFKVW VLQQYROOHU $XVVFKQLWW

DXV GHP 'RNXPHQW VHLQ

'HU %HQXW]HU VROO GLH 0|JOLFKNHLW EHNRPPHQ VLFK HLQ ªHLJHQHV©

QHXHV 'RNXPHQW DXV PHKUHUHQ $XVVFKQLWWHQ ]XVDPPHQ]XVWHO

OHQ

'LH 'HILQLWLRQ HLQHV 'RNXPHQWDXVVFKQLWWV GHU (UJHEQLV HLQHU

6XFKH LVW VROO PLW %H]XJ DXI GHQ 'RNXPHQWW\S ] % /HKUEXFK

+DQGEXFK %HGLHQXQJVDQOHLWXQJ %ULHI $UWLNHO XVZ JHVFKHKHQ

XP YLHOH JOHLFKDUWLJH 'RNXPHQWH PLW P|JOLFKVW JHULQJHP $XI

ZDQG SXEOL]LHUHQ ]X N|QQHQ

$OV ZHLWHUH 5DQGEHGLQJXQJHQ XQG : QVFKH VLQG IROJHQGH 3XQNWH ]X

QHQQHQ

'DV 6\VWHP VROO PLW VWUXNWXULHUWHQ 7H[WHQ XPJHKHQ N|QQHQ $OV

JHHLJQHWHV )RUPDW ZXUGH ���� ��� DXVJHZlKOW

'LH 7H[WH VROOHQ LQ GHU ���� ��� )RUP YHUEOHLEHQ XP VLH ZHLWHU

KLQ LQ HLQHU 7H[WYHUDUEHLWXQJ QXW]HQ ]X N|QQHQ

'DV 6\VWHP VROO GLH 3XEOLNDWLRQ GHU 7H[WH EHU GDV :RUOG :LGH

:HE HUP|JOLFKHQ

'DV 6\VWHP VROO GLH *UXQGODJH ELOGHQ XP GXUFK :HLWHUHQWZLFN

OXQJ XQG XQWHU =XKLOIHQDKPH YRQ 9HUIDKUHQ GHV PDVFKLQHOOHQ

/HUQHQV GDV EHQXW]HUDGDSWLYH 3XEOL]LHUHQ LP :RUOG :LGH :HE

P|JOLFK ]X PDFKHQ 'LHVHU 6FKULWW ZLUG LQ HLQHU ZHLWHUHQ 'LSORP

DUEHLW DXVJHI KUW

$OV $QZHQGXQJ I U GLHVH 'LSORPDUEHLW ZXUGH 7H[WPDWHULDO LP 8P

IDQJ ]ZHLHU % FKHU ]XU 9HUI JXQJ JHVWHOOW %HL GHP 0DWHULDO KDQGHOW

HV VLFK XP YRONVZLUWVFKDIWOLFKH 7H[WH EHU PDNUR|NRQRPLVFKH 0R

GHOOH (LQ +LQGHUQLV EHVWDQG GDULQ GD‰ GLH 'DWHLHQ LP )RUPDW GHU

0DFLQWRVK 7H[WYHUDUEHLWXQJ :ULWH1RZ RGHU DOWHUQDWLY LP 5LFK 7H[W

)RUPDW ��� YRUODJHQ 'LH DQJHVSURFKHQH LPSOL]LWH 6WUXNWXU IDQG

VLFK OHLGHU LQ NHLQHU :HLVH LQ GHQ $XV]HLFKQXQJHQ GHU 7H[WH ZLHGHU

GLH VLFK DXVVFKOLH‰OLFK DXI $WWULEXWH EHVFKUlQNWHQ GLH GHU )RUPD

WLHUXQJ XQG YLVXHOOHQ 'DUVWHOOXQJ GLHQHQ 7HLO PHLQHU 'LSORPDUEHLW

ZDU HV DOVR DXFK QHEHQ GHU +DXSWDXIJDEH HLQ 6\VWHP ]X HQWZLN

NHOQ GDV GLH RELJHQ $QIRUGHUXQJHQ HUI OOW GDV YRUOLHJHQGH 0DWHULDO

DXI VWUXNWXUHOOH (LQKHLWHQ ]X DQDO\VLHUHQ XQG $XV]HLFKQXQJHQ ]X

HQWZHUIHQ GLH GLH 6WUXNWXU GDUVWHOOHQ 6HOEVWYHUVWlQGOLFK VROOWH GDV

��

����������

More magazines by this user
Similar magazines