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

ai.cs.uni.dortmund.de

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

(OHPHQWLGHQWLILNDWLRQ LQ ,3 :

) U GLH (OHPHQWLGHQWLILNDWLRQ LQ �� � KDEH LFK PLFK DQ GHQ ���

3DWWHUQV RULHQWLHUW 6LH VWHOOHQ DOOH )XQNWLRQHQ ]XU 9HUI JXQJ GLH I U

GLH %H]HLFKQXQJ YRQ (OHPHQWVWHOOHQ ]XU 6XFKH LQ �� � EHQ|WLJW

ZHUGHQ $X‰HUGHP VWHOOW GLH 6\QWD[ I U GHQ $GPLQLVWUDWRU NHLQ +LQ

GHUQLV GDU LQ 9HUELQGXQJ PLW HLQHU ��� LVW VRJDU DXWRPDWLVFK HLQH

%HQXW]HUVFKQLWWVWHOOH YRUKDQGHQ GLH GHP $GPLQLVWUDWRU YHUWUDXW LVW

XQG PLW HLQHP ���� (GLWRU I U HLQHQ JXWHQ %HGLHQNRPIRUW VRUJW

'LH ��� 1RWH >� � �@ HQWKlOW DXFK HLQH ��� I U GLH LQ ��� IRUPX

OLHUWHQ 3DWWHUQV 'D DEVHKEDU ZDU GD‰ GLH ��� 1RWH HLQH XQJHZLVVH

=XNXQIW YRU VLFK KDW KDEH LFK QLFKW GLUHNW GLHVH ��� EHUQRPPHQ

VRQGHUQ HLQH HLJHQH JHVFKULHEHQ GLH VLFK MHGRFK VHKU VWDUN DQ GLH

��� GHU 1RWH DQOHKQW 'XUFK GLHVHQ 6FKULWW NRQQWH LFK GLHVHQ 7HLO

YRQ �� � YRQ GHQ ]X HUZDUWHQGHQ 9HUlQGHUXQJHQ LP ��� 8PIHOG

HQWNRSSHOQ $X‰HUGHP NRQQWH LFK VR DXFK (UZHLWHUXQJHQ HLQEULQ

JHQ GLH I U �� � XQEHGLQJW EHQ|WLJW ZHUGHQ ZLH ]XP %HLVSLHO ,Q

IRUPDWLRQHQ EHU GDV ]X JHQHULHUHQGH ���� )RUPXODU

(LQ %HLVSLHO I U HLQ �� � 6XFKPXVWHU

HOHPHQW W\SH DEVDW] !

WDUJHW HOHPHQW W\SH GHILQLWLRQ !

WDUJHW HOHPHQW!

HOHPHQW!

:HLWHUH %HLVSLHOH KDEH LFK EHUHLWV LQ $EVFKQLWW JH]HLJW 'HVKDOE

YHU]LFKWH LFK DQ GLHVHU 6WHOOH GDUDXI

'LH *U QGH I U GLH 9HUZHQGXQJ YRQ ��� EDVLHUWHQ 6XFKPXVWHUQ LQ

�� � ODVVHQ VLFK ZLH IROJW ]XVDPPHQIDVVHQ

✗ 'LH ���� 6\QWD[ LVW GHP $GPLQLVWUDWRU YHUWUDXW

✗ 'LH %HUHLWVWHOOXQJ HLQHU ��� I U GLH 6XFKPXVWHU HUP|JOLFKW GLH

9HUZHQGXQJ HLQHV ���� (GLWRUV DOV %HQXW]HUVFKQLWWVWHOOH

✗ 'LH HLJHQV I U �� � HQWZRUIHQH ��� LVW GHQ VSH]LHOOHQ %HG UIQLV

VHQ XQG 0|JOLFKNHLWHQ GHV 6\VWHPV DQJHSD‰W 6ROOWH GHU )XQNWL

RQVXPIDQJ GHV 6\VWHPV GXUFK 8QWHUVW W]XQJ NRPSOH[HUHU 6XFK

PXVWHU HUZHLWHUW ZHUGHQ Ol‰W VLFK GLH ��� OHLFKW DQSDVVHQ

✗ .HLQHU GHU DQGHUHQ JHQDQQWHQ $QVlW]H ELHWHW DOOH GLHVH 9RUWHLOH

3URJUDPPH

'LHVHU $EVFKQLWW EHVFKUHLEW GLH ,PSOHPHQWLHUXQJ GHU 3URJUDPPH

YRQ �� � ,KUH $XIJDEHQ XPIDVVHQ GLH (U]HXJXQJ YRQ ���� )RUPX

ODUHQ GLH ,QGH[LHUXQJ XQG ,QGH[VXFKH LQ 'RNXPHQWHQ GDV )HVWVWHO

OHQ YRQ hEHUHLQVWLPPXQJHQ PLW 6XFKPXVWHUQ GLH (UPLWWOXQJ HLQHV

$WRPV GDV )RUPDWLHUHQ YRQ 'RNXPHQWDXVVFKQLWWHQ VRZLH GLH 8Q

WHUVW W]XQJ GHV $GPLQLVWUDWRUV EHL GHU %HGLHQXQJ YRQ �� �

��

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

More magazines by this user
Similar magazines