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

ai.cs.uni.dortmund.de

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

$QZHQGXQJ DP %HLVSLHO

GHU ;0/ 6SH]LILNDWLRQ

'LHVHV .DSLWHO EHVFKUHLEW HLQH JHWHVWHWH $QZHQGXQJ XP GLH SUDNWL

VFKH (LQVHW]EDUNHLW YRQ �� � ]X YHUDQVFKDXOLFKHQ XQG ]X EHOHJHQ

0HLQH $EVLFKW LVW HV KLHU HLQHQ (LQGUXFN YRQ GHP ODXIHQGHQ 3UR

JUDPPV\VWHP ]X JHEHQ VR ZHLW GDV LQ JHGUXFNWHU )RUP P|JOLFK LVW

$OV $QZHQGXQJVIDOO YHUZHQGH LFK KLHU QLFKW GDV LQ GHU (LQI KUXQJ

JHQDQQWH XQG LQ .DSLWHO GHWDLOOLHUW EHVFKULHEHQH 0DWHULDO EHU 0D

NUR|NRQRPLH 'HU *UXQG GDI U LVW GD‰ GDV 0DWHULDO ]XP JHJHQZlU

WLJHQ =HLWSXQNW QRFK LQ HLQHP PDQJHOKDIWHQ =XVWDQG LVW ,Q .DSLWHO

I KUH LFK GLHVHQ 3XQNW HWZDV JHQDXHU DXV 2EZRKO GLH 4XDOLWlW GHU

]XU 9HUI JXQJ JHVWHOOWHQ 7H[WH QLFKW VHKU JXW LVW KLQWHUODVVHQ GLH

7HVWOlXIH PLW �� � HLQHQ SRVLWLYHQ (LQGUXFN 6LFKWEDUH 6FKZlFKHQ

ZDUHQ GLUHNW DXI LQ GHU ,QVWDQ] IHKOHQGH $XV]HLFKQXQJHQ ]XU FN]X

I KUHQ VR GD‰ VLFK GLHVH $QZHQGXQJ HLJQHW XP (UIDKUXQJHQ EHU

EHQ|WLJWH $XV]HLFKQXQJHQ ]X HUODQJHQ

,P IROJHQGHQ EHVFKUHLEH LFK GLH $QZHQGXQJ YRQ �� � DXI GLH GHXW

VFKH hEHUVHW]XQJ GHU ��� 6SH]LILNDWLRQ >� � �@ 'LHVHV 'RNX

PHQW LVW DXV PHKUHUHQ *U QGHQ EHVRQGHUV LQWHUHVVDQW

✗ 'HU ,QKDOW EHVWHKW X D DXV 6\QWD[UHJHOQ I U ��� GLH EHU GHQ

7H[W YHUVWUHXW VLQG XQG LQ DOOHQ YHUI JEDUHQ )DVVXQJHQ GLHV JLOW

DXFK I U GHQ HQJOLVFKHQ 2ULJLQDOWH[W QLFKW DGlTXDW ]X GXUFKVX

FKHQ RGHU ]X H[WUDKLHUHQ VLQG �� � HUP|JOLFKW GDV HUVWPDOV

✗ ,P 7H[W VLQG YLHOH %HJULIIVGHILQLWLRQHQ HQWKDOWHQ GLH QLFKW GXUFK

HLQH EHVRQGHUH YLVXHOOH 8PVHW]XQJ KHUYRUJHKREHQ ZHUGHQ 6LH

VLQG DEHU LQ GHU 'DWHL DOV ª'HILQLWLRQ© DXVJH]HLFKQHW

✗ 'LH EHUVHW]WH 6SH]LILNDWLRQ LVW JHPl‰ HLQHU ��� DXVJH]HLFKQHW

GLH NHLQH EHVRQGHUH 8QWHUVW W]XQJ I U GLH LP �� � 6\VWHP UHDOL

VLHUWHQ )XQNWLRQHQ PLWEULQJW ,Q GLHVHP 6LQQH KDQGHOW HV VLFK

DOVR XP HLQHQ 7HVWIDOO GHU GHP (LQVDW] ªXQWHU UHDOHQ %HGLQJXQ

JHQ© QDKH NRPPW 'D‰ GLH ��� VHKU DOOJHPHLQ JHKDOWHQ LVW HU

VFKZHUW GLH $XIJDEH I U �� � ]XVlW]OLFK (V KDQGHOW VLFK ]ZDU

QLFKW XP GHQ ªZRUVW FDVH© DEHU ,QVWDQ]HQ XQG ���V VROOWHQ GRFK

EHVVHU VHLQ DOV GLHVHU 7HVWIDOO

��

More magazines by this user
Similar magazines