Ein Modell für Hypermedia: Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Aachen
Shaker
1995
|
| Ausgabe: | Als Ms. gedr. |
| Schriftenreihe: | Berichte aus der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: Dortmund, Univ., Diss., 1995 |
| Beschreibung: | IV, 289 S. graph. Darst. |
| ISBN: | 3826506189 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010143453 | ||
| 003 | DE-604 | ||
| 005 | 19950801 | ||
| 007 | t | ||
| 008 | 950403s1995 gw d||| m||| 00||| ger d | ||
| 016 | 7 | |a 943977592 |2 DE-101 | |
| 020 | |a 3826506189 |c kart. : DM 149.00, sfr 149.00, S 1039.00 |9 3-8265-0618-9 | ||
| 035 | |a (OCoLC)722828563 | ||
| 035 | |a (DE-599)BVBBV010143453 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-20 |a DE-739 |a DE-525 | ||
| 084 | |a AP 26150 |0 (DE-625)7181: |2 rvk | ||
| 084 | |a ST 280 |0 (DE-625)143645: |2 rvk | ||
| 100 | 1 | |a Tochtermann, Klaus |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Ein Modell für Hypermedia |b Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte |c Klaus Tochtermann |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Aachen |b Shaker |c 1995 | |
| 300 | |a IV, 289 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Berichte aus der Informatik | |
| 500 | |a Zugl.: Dortmund, Univ., Diss., 1995 | ||
| 650 | 0 | 7 | |a Hypermedia |0 (DE-588)4233581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Hypermedia |0 (DE-588)4233581-4 |D s |
| 689 | 0 | 1 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006739123&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805082783387746304 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
2.1
HYPERMEDIASYSTEME
-
BEGRIFFSBILDUNG
.
8
2.2
FORMALE
MODELLE
.
10
2.2.1
DAS
DEXTER
HYPERTEXT
REFERENZMODELL
.
10
2.2.1.1
DER
STORAGE-LAYER
.
11
2.2.1.2
DER
RUNTIME-LAYER
.
13
2.2.1.3
DER
WITHIN-COMPONENT-LAYER
.
14
2.2.2
EIN
VDM-MODELL
.
14
2.2.3
ABSTRAKTIONSMECHANISMEN
VON
GARG
.
15
2.2.4
EIN
HYPERGRAPHENMODELL
.
17
2.3
NICHT
FORMALE
MODELLE
.
19
2.3.1
HAM
-
EINE
ABSTRAKTE
MASCHINE
FUER
HYPERTEXT
.
19
2.3.2
DAS
TRELLIS
REFERENZMODELL
.
20
2.4
WEITERE
ANSAETZE
AUS
DER
LITERATUR
.
21
2.5
BEWERTUNG
EXISTIERENDER
ANSAETZE
.
22
2.5.1
ANPASSBAIKEIT
UND
ERWEITERBARKEIT
.
22
2.5.2
STRUKTURIERUNGSKONZEPTE
.
23
2.5.3
TYPISIERUNGSMOEGLICHKEITEN
UND
BEZIEHUNGEN
ZWISCHEN
SPEZIFIZIERTEN
DATENTYPEN
.
24
2.5.4
SPEZIFIKATION
VON
OPERATIONEN
.
25
2.5.5
SPEZIFIKATIONSSPRACHE
UND
ABSTRAKTIONSEBENE
.
25
2.6
ANFORDERUNGEN
AN
DIE
ARBEIT
.
27
2.6.1
BASIS
UND
STRUKTURIERUNGSKONZEPTE
.
27
2.6.2
EIGENSCHAFTEN
VON
UND
BEZIEHUNGEN
ZWISCHEN
DATENTYPEN
.
28
2.6.3
ANPASSBARKEIT
UND
ERWEITERBARKEIT
.
29
2.6.4
ABSTRAKTIONSEBENE
.
30
2.7
SPEZIFIKATIONSMETHODEN
.
31
2.7.1
FORMALE
METHODEN
.
31
2.7.2
AUSWAHL
EINER
FORMALEN
METHODE
32
3.
MODELLARCHITEKTUR
.
.
_
35
3.1
KOMPONENTEN
EINES
MODELLS
FUER
HYPERMEDIA
.
36
3.2
BASISKONZEPTE
IM
ZUSAMMENHANG
.
38
3.3
STRUKTURIERUNGSKONZEPTE
IM
ZUSAMMENHANG
.
40
HISISIUMZCPIC
*3
4.1
KNOTEN
.
44
4.1.1
FORMALE
BESCHREIBUNG
VON
KNOTEN
.
47
4.2
KOMPONENTEN
.
50
4.2.1
FORMALE
BESCHREIBUNG
VON
KOMPONENTEN
.
54
4.3
VERWEISE
.
60
4.3.1
STRUKTURELLE
VERWEISKLASSEN
.
62
4.3.2
FORMALE
BESCHREIBUNG
VON
VERWEISEN
.
68
4.4
ANKER
.
71
4.4.1
ANKER
IN
KONTINUIERLICHEN
MEDIEN
.
71
4.4.2
FORMALE
BESCHREIBUNG
VON
ANKERN
.
76
4.5
HYPERDOKUMENTE
UND
HYPERMEDIASYSTEME
.
81
4.5.1
FORMALE
BESCHREIBUNG
VON
HYPERDOKUMENTEN
UND
HYPERMEDIASYSTEMEN
.
81
4.5.2
INVARIANTE
FUER
KONSISTENTE
HYPERDOKUMENTE
.
84
YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY
5.1
STRUKTURIERUNGSKONZEPTE
FUER
KNOTEN
.
92
5.1.1
ZUSAMMENGESETZTE
KNOTEN
.
92
5.1.2
FORMALE
BESCHREIBUNG
VON
ZUSAMMENGESETZTEN
KNOTEN
.
93
5.2
STRUKTURIERUNGSKONZEPTE
FUER
VERWEISE
.
95
5.2.1
VERWEISSTRUKTUREN
.
95
5.2.2
FORMALE
BESCHREIBUNG
VON
VERWEISSTRUKTUREN
.
96
5.3
SICHTEN
UND
SICHTENKNOTEN
.
98
5.3.1
SICHTEN
.
99
5.3.2
FORMALE
BESCHREIBUNG
VON
SICHTEN
.
102
5.3.3
SICHTENKNOTEN
.
107
5.3.4
FORMALE
BESCHREIBUNG
VON
SICHTENKNOTEN
.
109
5.3.5
INVARIANTE
FUER
SICHTENKNOTEN
.
111
5.4
DOKUMENTORDNER
.
118
5.4.1
FORMALE
BESCHREIBUNG
VON
DOKUMENTORDNEM
.
122
5.4.2
ANPASSUNG
DER
INVARIANTEN
FUER
HYPERDOKUMENTE
.
128
6.1
HYPERDOKUMENTE
OHNE
ZUSAMMENGESETZTE
KNOTEN
.
142
6.2
BEZIEHUNGEN
ZWISCHEN
HYPERDOKUMENTEN
UND
DOKUMENTORDNEM
.
154
6.3
BEZIEHUNGEN
ZWISCHEN
HYPERDOKUMENTEN
UND
SICHTEN
.
158
SPERAUVNEN
YYYYYYYYYYYY
YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY*YYYYYYYY.
7.1
OPERATIONEN
FUER
HYPERDOKUMENTE
.
164
7.1.1
VERAENDERNDE
OPERATIONEN
FUER
HYPERDOKUMENTE
.
166
7.2
OPERATIONEN
FUER
DOKUMENTKNOTEN
.
169
7.2.1
VERAENDERNDE
OPERATIONEN
FUER
DOKUMENTKNOTEN
.
169
7.3
OPERATIONEN
FUER
MEDIENOBJEKTE
UND
KOMPONENTEN
.
173
7.3.1
VERAENDERNDE
OPERATIONEN
FUER
MEDIENOBJEKTE
UND
KOMPONENTEN
.
173
7.4
OPERATIONEN
FUER
VERWEISE
.
175
7.4.1
VERAENDERNDE
OPERATIONEN
FUER
VERWEISE
.
175
7.4.2
INSPIZIERENDE
OPERATIONEN
FUER
VERWEISE
.
176
7.5
OPERATIONEN
FUER
ANKER
.
185
7.5.1
VERAENDERNDE
OPERATIONEN
FUER
ANKER
.
185
7.6
OPERATIONEN
FUER
SICHTEN
UND
SICHTENKNOTEN
.
187
7.6.1
VERAENDERNDE
OPERATIONEN
FUER
SICHTEN
.
187
7.6.2
VERAENDERNDE
OPERATIONEN
FUER
SICHTENKNOTEN
.
187
7.7
OPERATIONEN
FUER
DOKUMENTORDNER
.
192
7.7.1
VERAENDERNDE
OPERATIONEN
FUER
DOKUMENTORDNER
.
192
7.8
KONTEXTOPERATIONEN
.
199
-
III
-
8.
ANPASSUNGEN
UND
ERWEITERUNGEN
YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY
203
8.1
UMGANG
MIT
DEM
MODELL
.
204
8.2
ERWEITERUNGSMOEGLICHKEITEN
FUER
KNOTEN
UND
VERWEISE
.
205
8.2.1
SITUATIONSABHAENGIGE
KNOTENINHALTE
UND
VERWEISE
.
205
8.2.2
TYPOLOGIEN
FUER
KNOTEN
UND
VERWEISE
.
206
8.2.3
VERWEISE
HOEHERER
ORDNUNG
.
206
8.3
ERWEITERUNGEN
FUER
DOKUMENTOBJEKTE
.
207
8.4
WEITERE STRUKTURIERUNGSMOEGLICHKEITEN
.
209
8.5
OFFENE
HYPERMEDIASYSTEME
.
210
8.6
MEHR-BENUTZER-SYSTEME
UND
VERTEILTE
HYPERMEDIASYSTEME
.
213
8.7
RETRIEVALASPEKTE
.
214
8.8
SPEZIFIKATION
DER
BENUTZUNGSSCHNITTSTELLE
UND
DER
SPEICHEREBENE
.
216
9.
SCHLUSSBETRACHTUNGEN
.
_
_
.
217
9.1
BEWERTUNG
DER
ARBEIT
.
218
9.2
BEZUG
ZUM
DEXTER
REFERENZMODELL
.
220
9.3
UMFELD
DER
ARBEIT
.
222
9.3.1
DAS
HYPERMEDIASYSTEM
YYHYPERDOLL
"
.
222
9.3.2
DAS
HYPERMEDIASYSTEM
YYHYPERLARGE
"
.
223
9.3.3
KONSISTENZPRIIFUNG
DER
SPEZIFIKATION
.
224
9.3.4
EINE
ALGEBRAISCHE
SPEZIFIKATION
.
224
ANHANG
A:
GRUNDLAGEN
VON
VDM
225
ANHANG
C:
SPEZIFIKATION
EXISTIERENDER
HYPENNEDIASYSTEME
YYYYYYYYYYYYYYYYYYYY YYYYYYYYYYYYYYYYYYYYYYYYYYYY
249
ANHANG
D:
UEBERSICHT
UEBER
DIE
DATENTYPSPEZIFIKATIONEN.
.W.^
263
LITERATURVERZEICHNIS
271
INDEX
-IV |
| any_adam_object | 1 |
| author | Tochtermann, Klaus |
| author_facet | Tochtermann, Klaus |
| author_role | aut |
| author_sort | Tochtermann, Klaus |
| author_variant | k t kt |
| building | Verbundindex |
| bvnumber | BV010143453 |
| classification_rvk | AP 26150 ST 280 |
| ctrlnum | (OCoLC)722828563 (DE-599)BVBBV010143453 |
| discipline | Allgemeines Informatik |
| edition | Als Ms. gedr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010143453</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950801</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950403s1995 gw d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">943977592</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3826506189</subfield><subfield code="c">kart. : DM 149.00, sfr 149.00, S 1039.00</subfield><subfield code="9">3-8265-0618-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)722828563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010143453</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">AP 26150</subfield><subfield code="0">(DE-625)7181:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 280</subfield><subfield code="0">(DE-625)143645:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Tochtermann, Klaus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein Modell für Hypermedia</subfield><subfield code="b">Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte</subfield><subfield code="c">Klaus Tochtermann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 289 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Berichte aus der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Dortmund, Univ., Diss., 1995</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hypermedia</subfield><subfield code="0">(DE-588)4233581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hypermedia</subfield><subfield code="0">(DE-588)4233581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006739123&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010143453 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T07:38:08Z |
| institution | BVB |
| isbn | 3826506189 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006739123 |
| oclc_num | 722828563 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-20 DE-739 DE-525 |
| owner_facet | DE-19 DE-BY-UBM DE-20 DE-739 DE-525 |
| physical | IV, 289 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Shaker |
| record_format | marc |
| series2 | Berichte aus der Informatik |
| spelling | Tochtermann, Klaus Verfasser aut Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte Klaus Tochtermann Als Ms. gedr. Aachen Shaker 1995 IV, 289 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berichte aus der Informatik Zugl.: Dortmund, Univ., Diss., 1995 Hypermedia (DE-588)4233581-4 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Hypermedia (DE-588)4233581-4 s Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006739123&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tochtermann, Klaus Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte Hypermedia (DE-588)4233581-4 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| subject_GND | (DE-588)4233581-4 (DE-588)4299725-2 (DE-588)4113937-9 |
| title | Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte |
| title_auth | Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte |
| title_exact_search | Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte |
| title_full | Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte Klaus Tochtermann |
| title_fullStr | Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte Klaus Tochtermann |
| title_full_unstemmed | Ein Modell für Hypermedia Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte Klaus Tochtermann |
| title_short | Ein Modell für Hypermedia |
| title_sort | ein modell fur hypermedia beschreibung und integrierte formalisierung wesentlicher hypermediakonzepte |
| title_sub | Beschreibung und integrierte Formalisierung wesentlicher Hypermediakonzepte |
| topic | Hypermedia (DE-588)4233581-4 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| topic_facet | Hypermedia Formale Spezifikationstechnik Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006739123&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tochtermannklaus einmodellfurhypermediabeschreibungundintegrierteformalisierungwesentlicherhypermediakonzepte |