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

ai.cs.uni.dortmund.de

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

��

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

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

N|PPOLFKHQ +DVKLQJ QLFKW P|JOLFK 'LH YRUOLHJHQGH ,PSOHPHQ

WLHUXQJ GHU VHTXHQWLHOOHQ 6XFKH PLW 3HUO Ol‰W VLFK GLUHNW DXI

UHJXOlUH $XVGU FNH DXVZHLWHQ

✗ 'LH (IIL]LHQ]VWHLJHUXQJ EHL GHU 6XFKH PLW HLQHP +DVKYHUIDKUHQ

LVW ]ZDU XQEHVWULWWHQ MHGRFK NRVWHW GHU $XIEDX GHU +DVKWDEHOOH

JHQDX VR YLHO =HLW ZLH GLH VHTXHQWLHOOH 6XFKH 'HQ 9RUWHLO GHV

+DVKLQJ NDQQ PDQ QXU GDQQ DXVQXW]HQ ZHQQ GLH 7DEHOOH QXU

HLQPDO DXIJHEDXW ZLUG XQG ZHQQ DQVFKOLH‰HQG PHKUHUH 6XFKHQ

GDPLW DXVJHI KUW ZHUGHQ 'LHV LVW KLHU QLFKW P|JOLFK GD GDV ���

6NULSW EHL MHGHU 6XFKH YRP :HE 6HUYHU QHX DXIJHUXIHQ ZLUG

: UGH HV GDQQ ]XQlFKVW GLH ,QGH[GDWHQ VHTXHQWLHOO HLQOHVHQ XQG

GDUDXV GLH +DVKWDEHOOH DXIEDXHQ VR N|QQWH PDQ LQ GHU JOHLFKHQ

=HLW GLH VHTXHQWLHOOH 6XFKH GXUFKI KUHQ

(LQH $OWHUQDWLYH ZlUH HV HLQH ELQlUH 6XFKH LQ GHU VRUWLHUWHQ

:RUWOLVWH DXI GHU )HVWSODWWH GXUFK]XI KUHQ 'D]X P ‰WH MHGRFK

GLH *U|‰H HLQHV )HOGHV XQG GDPLW GLH PD[LPDOH :RUWOlQJH HLQHV

6WLFKZRUWV EHVFKUlQNW ZHUGHQ 6ROOWH VLFK GLH 6XFKH DOV ]X ODQJ

VDP KHUDXVVWHOOHQ ZlUH GDV GLH EHVWH $OWHUQDWLYH 1DFKWHLOH Zl

UHQ DXFK KLHU GHU 9HU]LFKW DXI GLH 6XFKH QDFK UHJXOlUHQ $XVGU N

NHQ VRZLH GHU HUK|KWH 3ODW]EHGDUI GHU DXV GHU IHVWHQ )HOGJU|‰H

UHVXOWLHUW

%HL GHQ 7HVWOlXIHQ ZDU GLH /DXI]HLW GHU 6XFKH YHUVFKZLQGHQG JH

ULQJ VR GD‰ GLH WDWVlFKOLFKH $QWZRUW]HLW VWlUNHU YRQ (LQIO VVHQ

DEKlQJW GLH DX‰HUKDOE YRQ �� � OLHJHQ �

3U IHQ DXI hEHUHLQVWLPPXQJ PLW GHP 6XFKPXVWHU

XQG (UPLWWHOQ GHV SDVVHQGHQ $WRPV

'LH EHL GHU ,QGH[VXFKH JHIXQGHQHQ 7UHIIHU VLQG ]XQlFKVW QXU hEHU

HLQVWLPPXQJHQ YRQ 6XFKEHJULII XQG ,QGH[HLQWUDJ (V PX‰ QRFK JH

SU IW ZHUGHQ RE GLH 7UHIIHU DXFK LQ GHU ULFKWLJHQ 8PJHEXQJ OLHJHQ

'DV KHL‰W GDV JHIXQGHQH :RUW PX‰ VLFK LQQHUKDOE GHV JHZ QVFKWHQ

=LHOHOHPHQWV XQG GLHVHV LQQHUKDOE GHU ULFKWLJHQ XPJHEHQGHQ (OH

PHQWH EHILQGHQ 'HU %HQXW]HU ZlKOW GD]X HLQH .DWHJRULH DXV LQ GHU

HU GLH 6XFKH GXUFKI KUHQ P|FKWH 'DV ]X HLQHU .DWHJRULH NRUUH

VSRQGLHUHQGH 6XFKPXVWHU HQWKlOW GLH ,QIRUPDWLRQHQ GLH ]XU 8PJH

EXQJVSU IXQJ EHQ|WLJW ZHUGHQ 8P GLH 3U IXQJ P|JOLFKVW VFKQHOO

GXUFKI KUHQ ]X N|QQHQ ZHUGHQ GLH 6XFKPXVWHU HLQPDOLJ LQ 3UR

JUDPPFRGH XPJHZDQGHOW GHQ GDV 3URJUDPP ]XU 8PJHEXQJVSU

IXQJ XQG $WRPHUPLWWOXQJ VHDUFK DWRPV FRVW ]XU /DXI]HLW HLQOHVHQ

� ��������������à ��������à �����à �������à ���������à ����à ��������à �������à �������������

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

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

���������à ���à ���������à ���à ����������������à ������à ��������à ������à ���� ����à ���à �����

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

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

More magazines by this user
Similar magazines