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

ai.cs.uni.dortmund.de

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

��

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

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

LI HV JLEW HLQ (OHPHQW ; LQ DWRPBLGV 0LQ ; 0D[

GDV KHL‰W PLQGHVWHQV HLQ 1DFKIDKUH

LVW ]X IRUPDWLHUHQ

WKHQ

9HUDUEHLWH UHNXUVLY DOOH .LQGHU .

GHV DNWXHOOHQ (OHPHQWV (

HOVH

/LHIHUH OHHUHV )ORZ 2EMHFW DOV (UJHEQLV

IL

IL

IL

)DOOV GDV DNWXHOOH (OHPHQW ]X GHQ ]X IRUPDWLHUHQGHQ JHK|UW ZLUG

GLH .RQWUROOH ZLH REHQ EHVFKULHEHQ DQ GHQ 5XPSI EHUJHEHQ

,P DQGHUHQ )DOO KlQJW GDV ZHLWHUH 9RUJHKHQ GDYRQ DE RE HV HL

QHQ M QJHUHQ %UXGHU JLEW 'DV LVW HLQ (OHPHQW GDV GHQ JOHLFKHQ 9D

WHU ZLH GDV DNWXHOOH (OHPHQW EHVLW]W XQG LQ GHU ,QVWDQ] XQPLWWHOEDU

DXI GDV DNWXHOOH (OHPHQW IROJW %HL ���� ��� PX‰ PDQ QRFK XQWHU

VFKHLGHQ RE (OHPHQWH *HVFKZLVWHU VLQG ZHQQ VLH QLFKW YRP JOHL

FKHQ7\S VLQG ,Q ����� LVW GLHVHU 8QWHUVFKLHG YRQ %HGHXWXQJ ,Q

�� � VSLHOW GHU (OHPHQWW\S NHLQH 5ROOH 'LH hEHUSU IXQJ ZLUG GHV

KDOEPLW GHU )XQNWLRQDEVROXWH ODVW VLEOLQJ" XQG QLFKW PLW ODVW

VLEOLQJ" DXVJHI KUW VLHKH LQ >��� �@ )DOOV HV HLQHQ VRO

FKHQ %UXGHU JLEW LVW HV P|JOLFK GDV ,QWHUYDOO ]X EHVWLPPHQ LQ

GHP GLH (OHPHQWEH]HLFKQHU GHU 1DFKIDKUHQ OLHJHQ )DOOV HV HLQ (OH

PHQW LQ GHU /LVWH GHU ]X IRUPDWLHUHQGHQ (OHPHQWEH]HLFKQHU JLEW

GDV LQQHUKDOE GHV ,QWHUYDOOV OLHJW VR ZHUGHQ UHNXUVLY DOOH .LQGHU DE

JHDUEHLWHW ,P DQGHUHQ )DOO LVW NODU GD‰ NHLQ 1DFKIDKUH IRUPD

WLHUW ZHUGHQ PX‰ $OVR NDQQ GHU JHVDPWH 7HLOEDXP DXVJHODVVHQ

ZHUGHQ ) U GHQ )DOO GD‰ HV JDU NHLQHQ M QJHUHQ %UXGHU JLEW

LVW HV QLFKW P|JOLFK GDV ,QWHUYDOO GHU (OHPHQWEH]HLFKQHU GHU 1DFK

IDKUHQ XQPLWWHOEDU ]X EHVWLPPHQ�� $XV GLHVHP *UXQG ZHUGHQ

DXFK GDQQ DOOH .LQGHU DEJHDUEHLWHW 'HU UHFKWH =ZHLJ HLQHV 7HLO

EDXPV ZLUG DOVR VWHWV EHWUDFKWHW

9HUKLQGHUQ YRQ PHKUIDFKHU $XVJDEH YRQ 'RNXPHQWDXVVFKQLWWHQ

'DV 8PVFKDOWHQ ]ZLVFKHQ 5DKPHQ XQG 5XPSI VRUJW DXFK GDI U

GD‰ ]ZHL ]X IRUPDWLHUHQGH (OHPHQWH GLH LQHLQDQGHU YHUVFKDFKWHOW

VLQG QLFKW PHKUIDFK DXVJHJHEHQ ZHUGHQ

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

More magazines by this user
Similar magazines