A formal, declarative approach to data format description [Elektronische Ressource] / vorgelegt von Michael Hartle

Sujets

• Informatik

Informations

• Publié par: technischen_universitat_darmstadt
• Publié le: 01 janvier 2010
• Nombre de lectures: 22
• Langue: Deutsch
• Poids de l'ouvrage: 1 Mo

Extrait

T
A
geb
F
Andreas
ormal,
ag
Declarativ
ten:
e
(FH)
Approac
rankfurt
h
ung:
to
16.
Data
M?hlh?user,
F
Darmstadt
ormat
hael
Description
in
V
Main
om
Einreic
F
Juni
ac
der
h
2010
b
Dr.
ereic
Prof.
h
er,
Informatik
D17
der
Mic
T
Hartle
ec
oren
hnisc
F
hen
am
Univ
T
ersit?t
der
Darmstadt
h
genehmigte
7.
Dissertation
2010
zur
ag
Erlangung
Disputation:
des
Juli
ak
Referen
ademisc
Prof.
hen
Max
Grades
Darmstadt
Dr.-Ing.
Dr.
v
Raub
orgelegt
Wien
v
2010
on
Dipl.-Inform.c
i
erw
Ehren
Mic
w
hab
?rtlic
ternommen.
he
1
Erkl?rung
enen
1
hab
Hiermit
Promotionsv
erkl?re
Juni
ic
1
h,
der
die
der
v
erstellt
orgelegte
Ic
Arb
bisher
eit
k
zur
h
Erlangung
den
des
Dipl.-Inform.
ak
Har-
ademisc
?9
hen
Promotionsordn
Grades
Darmstadt
Dr.-Ing.
endung
mit
angegeb
dem
Hilfsmittel
Titel
zu
A
en.
F
h
ormal,
e
Declarativ
no
e
h
Approac
einen
h
ersuc
to
un
Data
Darmstadt,
F
7.
ormat
2010
Descrip-
(FH)
tion
hael
selbst?ndig
tle
und
Gem??
aussc
Abs.
hlie?lic
der
h
ung
un
TU
ter
Viider
iii
der
Wissensc
her
haftlic
erb
her
hen
W
Ho
erdegang
09/200602/2010
des
opp
V
der
erfassers
07/200407/2010
2
e-learning
09/199803/2003
ulrec
Studium
hen
der
Graduiertenk
Informatik
durc
an
Gem??
der
TU
F
ec
ac
ersit?t
hho
ec
c
eiter
hsc
ter
h
hsc
ule
zen
Darmstadt
ec
Absc
ersit?t
hluss
Mitglied
mit
1223
Note
im
1,3
r?c
09/200203/2003
Prozesse
Diplomarb
Abs.
eit
ung
an
an
der
T
F
hnisc
ac
Univ
hho
Darmstadt
c
T
hsc
hnisc
h
Mitarb
ule
am
Darmstadt
cen
Titel
im
Real-Time
c
Generation
h
of
hen-
Planetary
trum
Landscap
T
es
hnisc
07/200407/2010
Univ
Wissensc
Darmstadt
haftlic
Assoziiertes
her
im
Mitarb
olleg
eiter
Qualit?tsv
am
esserung
F
E-Learning
ac
h
hgebiet
kgek
T
elte
elek
2
o
?20
op
3
eration
Promotionsordn
(Prof.
der
Dr.
Darmstadt
M?hlh?user)ivas
v
capabilities.
Abstract
h
The
ondence
concept
instances
of
v
data
e
formats
thesis
is
the
cen
the
tral
whic
to
us
information
data
storage
and
and
Rev
exc
instances.
hange,
and
as
A
it
BSG
coins
Securit
the
Using
pro
the
cess
(PNG)
of
description
ho
wn
w
w
information
tractabilit
is
en
written
b
to
the
and
(BSG)
read
dened
bac
hine-pro
k
through
from
is
format-
construction,
complian
the
t
of
data
an
b
del,
y
oten
senders
e
and
t
receiv
surv
ers.
Net
In
giv
con
format
trast
elemen
to
formalisation,
the
ersal
widespread
to
use
terms
of
tee
natural-language
e
descriptions
erses
in
and
tended
e
for
using
h
Mac
uman
in
engineers,
stream
and
describing
of
instances,
pro
visualisation
cedural
exc
de-
tations.
nitions
BSG
of
of
format-complian
of
t
measure
comp
supp
onen
ex-
ts,
is
describing
Editor.
data
demonstrated
format
litm
kno
for
wledge
con
in
on
a
the
for-
data
mal,
of
declarativ
BSG
e
giv
manner
to
is
Reasoning
necessary
the
for
.
making
P
this
ork
kno
image
wledge
as
mac
for
hine-pro
as
cessible,
all
enabling
descriptiv
its
on
exible,
is
automated
a
application
h
to
description
format-complian
p
t
in
data.
to
T
to
o
that
that
of
ef-
ping
fect,
in
data
neither
format
necessarily
kno
one-to-one
wledge
a
is
function
considered
guaran
b
T
oth
T
on
Building
the
giv
lev
analysis,
el
the
of
t
format-complian
del
t
data
data
or
as
tations
a
oth
data
w
format
storage
instance
through
and
RDF-based
on
tal
the
dication
lev
is
el
closed
of
erations,
a
v
data
BSG
format
as
consisting
its
of
to
suc
for
h
dication
instances.
of
In
arbitrary
a
vided
surv
eiron
ey
of
of
del
curren
the
t
PNG
State
test
of
analysis,
the
description
Art
in
in
of
Data
.
F
BSG
ormat
thesis
Description,
Reasoning
examined
describing
related
as
w
innite
ork
format
from
rules,
the
can
data-cen
for
tric
bit
researc
is
h
e
domains
The
of
h
Digital
of
Preserv
Art
ation,
ey
Multi-
A
media
alid
and
ortable
T
w
elecomm
Graphics
unication
raster
sho
is
w
en
a
litm
lac
test
k
data
suitable
description,
formalised
its
mo
exercises
dels
four
for
tary
univ
e
ersal
Based
applicabilit
the
y
it
.
sho
As
that
w
univ
ell,
approac
examined
to
related
format
w
is
ork
o
pro
o
vides
erful
only
computational
a
as
subset
b
of
able
the
guaran
four
termination,
nec-
the
essary
y
descriptiv
bijectiv
e
map-
capabilities
functions
to
their
describ
v
e
is
data
giv
whic
nor
h
related,
ma
that
y
corresp
b
of
e
bijectiv
primitiv
mapping
e,
can
structured,
e
transco
teed
ded
information-preserving,
or
uring-complete
fragmen
ersible
ted.
uring
In
hines.
the
on
analysis,
formalisation
a
en
formalisation
the
is
the
presen
denes
ted
Bit-
whic
Segmen
h
Graph
is
mo
based
for
on
arbitrary
the
format
researc
F
h
BSG
h
represen
y-
are
p
b
othesis
for
that
as
a
ell
data
for
format
and
denes
hange
a
mac
normativ
cessible,
e
represen
set
Incremen
of
construction
lossless
mo
information
of
repre-
instances
sen
enabled
tations,
a
where
set
there
op
exists
and
a
co
bijectiv
erage
e
a
mapping
instance
b
dened
et
a
w
of
een
completeness.
in
ctual
teral
ol
represen
ort
tations
the
of
mo
senders
and
/
ploration
receiv
BSG
ers,
on
and
data
external
pro
represen
through
tations
Ap
that
BSG
are
Applications
exc
the
hanged
mo
as
are
format-
through
complian
description
t
the
data.
image
The
us
formalisation
from
is
previous
univ
and
ersally
the
applicable
of
for
exploit
arbitrary
the
data
text
for-
IT
mats,
y
is
Building
suitable
the
for
mo
b
the
oth
denes
so-called
BSG
lossless
approac
and
for
lossy
arbitrary
data<