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

ai.cs.uni.dortmund.de

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

GHILQLHUWHQ $WRPH QLFKW EHL DOOHQ ,QVWDQ]HQ GHU ��� I U RSWLPDOH (U

JHEQLVVH VRUJHQ 'HU %HQXW]HU ZLUG GLHV GDGXUFK NRPSHQVLHUHQ

GD‰ HU GLH JHOLHIHUWHQ $WRPH YHUZLUIW RGHU GHQ $XVVFKQLWW YHUJU|

‰HUW 'LHVHV 9HUKDOWHQ NDQQ EHQXW]W ZHUGHQ XP EHL GHU QlFKVWHQ

6XFKH ªEHVVHUH© $WRPH ]XU FN]XOLHIHUQ /HW]OLFK NDQQ PDQ GLH JH

QDQQWHQ $QVlW]H DXI MHGHQ %HQXW]HU LQGLYLGXHOO DQZHQGHQ RGHU PDQ

NDQQ GLH 0HQJH DOOHU %HQXW]HU JHPHLQVDP EHKDQGHOQ 'DKLQWHU

VW QGH GLH $QQDKPH GD‰ ]ZHL YHUVFKLHGHQH %HQXW]HU GLH JOHLFKHQ

: QVFKH EH] JOLFK GHU 7UHIIHUOLVWH XQG GHU $WRPH KDEHQ

,FK P|FKWH KLHU ]ZHL 3XQNWH EHVSUHFKHQ GLH ]XU WHFKQLVFKHQ 8P

VHW]XQJ Q|WLJ VLQG

/RJJLQJ GHV %HQXW]HUYHUKDOWHQV

'D :HE7UDQVDNWLRQHQ ]XVWDQGVORVVLQGPX‰ PDQ VHOEVWGDI U

VRUJHQ QDFKHLQDQGHU HLQWUHIIHQGH $QIUDJHQ DQ GHQ :HEVHUYHU

HLQGHXWLJ HLQHP %HQXW]HU ]X]XRUGQHQ =X GLHVHP =ZHFN ELHWHW HV

VLFK DQ MHGHP %HQXW]HU HLQH HLQGHXWLJH �� ]X JHEHQ (V VWHKHQ

]ZHL 0|JOLFKNHLWHQ ]XU 9HUI JXQJ .RGLHUXQJ GHU �� LQ YHUVWHFNWH

)RUPXODUIHOGHU HWZD LQSXW W\SH KLGGHQ YDOXH [\]

QDPH 8,' ! 'D]X P ‰WH MHGHV )RUPXODU G\QDPLVFK JHQHULHUW

ZHUGHQ 'LH EHWURIIHQHQ .RPSRQHQWHQ YRQ �� � VLQG VHDUFK SO

SUHYLHZ SO XQG IRUPDW GVVVO 'LH $OWHUQDWLYH EHVWHKW LQ GHU 9HU

ZHQGXQJ YRQ &RRNLHV 'D]X ZLUG GHP %HQXW]HU EHLP (LQVWLHJ LQ

GDV 6\VWHP HLQH �� DOV &RRNLH JHJHEHQ GLH GHU %URZVHU VSHLFKHUW

XQG EHL =XJULII DXI YRUGHILQLHUWH $GUHVVHQ ZLHGHU DQ GHQ 6HUYHU

VFKLFNW 'HU HUVWH &RRNLH VROOWH GDQQ YRQ VHDUFK SO YHUJHEHQ ZHU

GHQ

:DV LVW HLQ (QGHUJHEQLV"

:HQQ PDQ YHUVXFKW HLQH %H]LHKXQJ ]ZLVFKHQ GHU XUVSU QJOLFKHQ

$QIUDJH XQG GHP (QGHUJHEQLV KHU]XVWHOOHQ VWHOOW VLFK GLH )UDJH

ZDV HLQ (QGHUJHEQLV LVW EH]LHKXQJVZHLVH ZLH PDQ HV HUNHQQW"

$EVWUDNW NDQQ PDQ VDJHQ 'DV (QGHUJHEQLV LVW GDV 'RNXPHQW

GDV GHU %HQXW]HU DOV DQJHPHVVHQH $QWZRUW DXI VHLQH 6XFKDQIUDJH

DQVLHKW 'D PDQ QLFKW HUNHQQHQ NDQQ RE GHU %HQXW]HU GDV

6\VWHP LUJHQGZDQQ IUXVWULHUW XQG HUIROJORV YHUODVVHQ KDW LVW HV

QLFKW XQEHGLQJW VLFKHU GD‰ GLH OHW]WH EHWUDFKWHWH 6HLWH GLH

JHZ QVFKWH ZDU (V ELHWHW VLFK MHGRFK DQ GLH 'RNXPHQWDXV

VFKQLWWH GLH VLFK GHU %HQXW]HU JHPHUNW KDW DOV JXWHV (UJHEQLV

DQ]XVHKHQ �� � EHNRPPW GLHVH ,QIRUPDWLRQ ZHQQ GHU %HQXW

]HU DXI ªJHPHUNWH $XVVFKQLWWH ]HLJHQ© NOLFNW 'DQQ QlPOLFK ZLUG

GDV 6NULSW SUHYLHZ SO PLW GHP ��� 3DUDPHWHU NHLQHVWHXH

UXQJ WUXH DXIJHUXIHQ ZDV GDI U VRUJW GD‰ GLH XQVFK|QHQ )RUPX

ODUHOHPHQWH YHUVFKZLQGHQ 'D HV QLFKW DXVJHVFKORVVHQ LVW GD‰

HLQ %HQXW]HU GLHVHQ /LQN PHKUIDFK DQNOLFNW VROOWH GHU OHW]WH

=XJULII JHZHUWHW ZHUGHQ

��

��������

More magazines by this user
Similar magazines