A Logic-Based Approach to the Formal Specification of Data Formats

Abstract

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.

Details

Creators
Michael Hartle; Max Mühlhäuser; Daniel Schumann; Arsene Botchak
Institutions
Date
Keywords
london
Publication Type
paper
License
CC BY-SA 3.0 AT
Download
79292 bytes

View This Publication