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

ai.cs.uni.dortmund.de

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

,P IROJHQGHQ .DSLWHO JHEH LFK HLQH NXU]H (LQI KUXQJ LQ GLH .RQ

]HSWH XQG %HJULIIOLFKNHLW GHU 7HFKQLNHQ GLH LFK EHL GHU 5HDOLVLHUXQJ

PHLQHV 3URJUDPPV\VWHPV HLQJHVHW]W KDEH 'LHV LVW QRWZHQGLJ GD

LFK LQQHUKDOE GLHVHU 'LSORPDUEHLW GXUFKJlQJLJ GLH 7HUPLQRORJLH

YHUZHQGH GLH LP ���� 6WDQGDUG >��� @ E]Z LQ GHU ��� 6SH]LILND

WLRQ >� � �@ >� � �@ EHQXW]W ZLUG 'HV ZHLWHUHQ EHQXW]H LFK DQ

6WHOOHQ GLH GLH )RUPDWLHUXQJ EHWUHIIHQ %HJULIIH DXV ����� >��� �@

'HU ]ZHLWH 7HLO GHV .DSLWHOV RUGQHW PHLQH (QWZLFNOXQJ LQ GLH 3DOHWWH

GHU EHVWHKHQGHQ /|VXQJHQ HLQ XQG YHUVXFKW GHQ 6LQQ PHLQHU $U

EHLW KHUDXV]XVWHOOHQ �

'DV DQVFKOLH‰HQGH .DSLWHO EHVFKUHLEW GDV JHVDPWH 6\VWHP XQG

VHLQH .RPSRQHQWHQ ,FK JHKH GDEHL ]ZDU LQ GLH 7LHIH YHU]LFKWH DQ

GLHVHU 6WHOOH DEHU DXI ,PSOHPHQWDWLRQVGHWDLOV RGHU DXI 'HWDLOV ]XU

.RQILJXUDWLRQ

.DSLWHO ]HLJW HLQH $QZHQGXQJ YRQ �� � 'DEHL QHKPH LFK VRZRKO

GLH 6LFKWZHLVH GHV 6\VWHPEHWUHXHUV DOV DXFK GHQ 6WDQGSXQNW GHV

%HQXW]HUV HLQ $P (QGH GLHVHV .DSLWHOV VROOWH HV GHP /HVHU P|JOLFK

VHLQ GHQ =ZHFN XQG GHQ SUDNWLVFKHQ 1XW]HQ PHLQHV 3URJUDPPV\

VWHPV ]X EHXUWHLOHQ

'DV IROJHQGH ,PSOHPHQWDWLRQVNDSLWHO ]HLJW ZLH LFK GLH ]XYRU EH

VFKULHEHQHQ )XQNWLRQHQ UHDOLVLHUW KDEH 'D]X JHK|UW DQ HLQLJHQ 6WHO

OHQ DXFK HLQH %HVFKUHLEXQJ GHU (QWVFKHLGXQJVSUR]HVVH GLH LFK

GXUFKODXIHQ KDEH EHYRU LFK HLQH EHVWLPPWH /|VXQJ JHZlKOW KDEH

,Q .DSLWHO ]HLFKQH LFK GLH 6FKULWWH QDFK GLH ]XU 8PZDQGOXQJ GHU

JHJHEHQHQ 7H[WGDWHQ LQ ���� Q|WLJ ZDUHQ ) U GLH )XQNWLRQVZHLVH

PHLQHV 3URJUDPPV VSLHOW GLHV ]ZDU NHLQH 5ROOH VR GD‰ GLH %H

VFKUHLEXQJ DXFK LQ HLQHP $QKDQJ LKUHQ 3ODW] ILQGHQ N|QQWH MHGRFK

KDOWH LFK GLH DXVVFKODJJHEHQGH 0RWLYDWLRQ GLH YRQ GLHVHU $QZHQ

GXQJ DXVJLQJ I U *UXQG JHQXJ LKU HLQHQ 3ODW] LP +DXSWWHLO HLQ]X

UlXPHQ

'DV DEVFKOLH‰HQGH .DSLWHO GLVNXWLHUW HLQLJH 9HUEHVVHUXQJHQ XQG

(UZHLWHUXQJHQ GLH DQ �� � GXUFKJHI KUW ZHUGHQ N|QQHQ

,P $QKDQJ $ VLQG %HGLHQXQJVDQOHLWXQJHQ I U GLH DXVI KUEDUHQ 3UR

JUDPPH YRQ �� � ]X ILQGHQ 0DQXDOVHLWHQ 'HU IROJHQGH $QKDQJ

HQWKlOW ���V XQG 6W\OHVKHHWV GLH LFK LP 5DKPHQ GLHVHU $UEHLW JH

VFKULHEHQ KDEH

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

��

����������

More magazines by this user
Similar magazines