Title (eng)

A Logic-Based Approach to the Formal Specification of Data Formats: Paper - iPRES 2008 - London

Author

Michael Hartle

Max Mühlhäuser

Daniel Schumann

Arsene Botchak

Description

Processing information stored as data in a specific data format is tightly coupled with software implementations that handle necessary elementary processes such as reading and writing. These implementations depend on specific technological environments and thus age due to rapid technological change. The resulting effective loss of information is a major problem for Digital Preservation. In order to provide for persistent, authentic access to stored information, this paper presents a logic-based approach for the formal specification of data formats.

Object languages

English

Rights

Creative Commons License
This work is licensed under a
CC BY-SA 3.0 AT - Creative Commons Attribution-ShareAlike 3.0 Austria License.

CC BY-SA 3.0 AT

http://creativecommons.org/licenses/by-sa/3.0/at/

Classification

iPRES, London

Conferences, Conference 2008

Member of the Collection(s) (3)

o:424738 Openaire v3.0 collection
o:294193 iPRES 2008 - Proceedings of the 5th International Conference on Preservation of Digital Objects: iPRES 2008 - London
o:168770 Open Access Collection