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

ai.cs.uni.dortmund.de

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

��

��������

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

$OV ����� 0DVFKLQH YHUZHQGH LFK -DGH 'HU 3URJUDPPLHUHU -DPHV

&ODUN LVW DXFK GHU 9HUIDVVHU GHU ����� 6SH]LILNDWLRQ >��� �@ VR

GD‰ PDQ DXFK KLHU YRQ (LQKDOWXQJ GHV 6WDQGDUGV DXVJHKHQ NDQQ

$OOHUGLQJV LVW -DGH NHLQH YROOVWlQGLJH ,PSOHPHQWLHUXQJ $XVI KUOLFK

LVW GLHV LQ GHU 'RNXPHQWDWLRQ QDFK]XOHVHQ >���� �@ ,QVEHVRQGHUH

IHKOW GLH 7UDQVIRUPDWLRQVVSUDFKH &ODUN KDW DOV (UVDW] HLQLJH QHXH

)ORZ 2EMHFWV GHILQLHUW YRQ GHQHQ LFK EHL GHU 7UDQVIRUPDWLRQ LQ

���� *HEUDXFK PDFKH

%HL GHU :HE hEHUWUDJXQJ LVW GHU 6HUYHU I U GLH (LQKDOWXQJ GHV 3UR

WRNROOV ���� YHUDQWZRUWOLFK 'HU YRQ �� � DXVJHJHEHQH ���� .RSI

&RQWHQW W\SH LVW ���� NRQIRUP XQG PHLQH 6NULSWH KDOWHQ VLFK

DQ GLH ��� .RQYHQWLRQ 6LH VLQG GDKHU PLW MHGHP :HE 6HUYHU ODXIIl

KLJ GHU ��� EHKHUUVFKW

3HUVLVWHQ] YRQ 85/V

'LH 3HUVLVWHQ] YRQ ���V LVW YRQ %HGHXWXQJ ZHQQ PDQ HLQH 9HUNQ S

IXQJ /LQN ]X HLQHU 6HLWH KHUVWHOOHQ P|FKWH GLH YRQ �� � JHQHULHUW

ZXUGH $XI GLH JUXQGVlW]OLFKH 3UREOHPDWLN GHU 1DPHQ XQG $GUHV

VHQ P|FKWH LFK KLHU QLFKW HLQJHKHQ 'D]X HPSIHKOH LFK GHQ $XIVDW]

ª7KH 0\WK RI 1DPHV DQG $GGUHVVHV© YRQ 7LP %HUQHUV /HH

>���� �@

�� � I KUW NHLQH PXWZLOOLJH bQGHUXQJ YRQ ���V GXUFK 'DV KHL‰W

ZHQQ GDV 6\VWHP NHLQH 9HUlQGHUXQJ YRQ DX‰HQ HUIlKUW VLQG GLH YRQ

�� � HU]HXJWHQ ���V DXFK LQ =XNXQIW J OWLJ =ZHL 3UREOHPH JLEW HV

DEHU

✗ 'LH YRQ �� � HU]HXJWH 6HLWH LVW EOLFKHUZHLVH LQ HLQHQ )UDPH HLQ

JHEHWWHW 6HW]W PDQ HLQHQ /LQN DXI GHQ REHUHQ )UDPH GHU GLH JH

Z QVFKWH 6HLWH HQWKlOW VR IHKOW GHU XQWHUH )UDPH PLW GHU 6WHXH

UXQJ 'DV 3UREOHP EHVWHKW GDULQ GD‰ GHU 6FKDOWHU ª$XVVFKQLWW

PHUNHQ© QXU IXQNWLRQLHUW ZHQQ GHU XQWHUH )UDPH H[LVWLHUW 'DV

3UREOHP ZLUG DEJHVFKZlFKW ZHQQ GHU ��� EHQXW]W ZLUG GHQ

PDQ HUKlOW ZHQQ PDQ LQ GHU 6WHXHUXQJ GHQ /LQN ª*HPHUNWH $XV

VFKQLWWH ]HLJHQ© EHQXW]W ,Q GLHVHP )DOO VLQG LQ GHP JHQHULHUWHQ

'RNXPHQW NHLQH )RUPXODUIHOGHU PHKU HQWKDOWHQ

✗ 'DV ]ZHLWH 3UREOHP WULWW DXI ZHQQ DP $XVJDQJVGRNXPHQW bQGH

UXQJHQ JHPDFKW ZHUGHQ 6REDOG VLFK GDGXUFK GLH 1XPHULHUXQJ

GHU (OHPHQWH YHUlQGHUW VLQG ���V GLH VLFK DXI GHQ HKHPDOLJHQ

=XVWDQG EH]LHKHQ XQJ OWLJ ZHLO LQ LKQHQ YHUDOWHWH (OHPHQWQXP

PHUQ HQWKDOWHQ VLQG

More magazines by this user
Similar magazines