Страница публикации

On the use of specifications of binary file formats for analysis and processing of binary scientific data

Тип публикации: Статья в журнале

Тип материала: Текст

Авторы: Hmelnov A., Li T.

Журнал: CEUR Workshop Proceedings: Proc. of 3rd Intern. Workshop on Data Life Cycle in Physics (DLC'2019; Irkutsk)

Язык публикации: english

Серия книг: CEUR Workshop Proceedings

Том: 2406

Номера страниц: 63-77

Количество страниц: 15

Год публикации: 2019

Отчетный год: 2019

Аннотация: The data collected during various kinds of scientific research may be represented both by well known binary file formats and by custom formats specially developed for some unique device. While thorough understanding of the file format may be required for the former case of the well known format, for the latter case of custom formats it is of critical importance. For the custom formats usually only few people know how they are organized, and this expertise can easily be lost. We have developed the language FlexT (Flexible Types) for specification of binary data formats. The language is declarative and designed to be well understood for human readers. Its main elements are the data type declarations, which look very much like the usual type declarations of the imperative programming languages, but are more flexible. The primary purpose of the language FlexT development is to be able to view the binary data and to check that the data conform to the specification, and that the specification conforms to the data samples available. As a result of the tests we can be sure, that the specification is correct. The FlexT specifications doesn‘t contain any surplus information besides from that about the file format. They are compact and human readable. We have also developed the algorithm for data reading code generation from the specification. In the report we’ll consider some FlexT language details and the experience of its application to specification of some scientific data formats.

Индексируется WOS: Нет

Индексируется Scopus: Нет

Индексируется УБС: Нет

Индексируется РИНЦ: Нет

Индексируется ВАК: Нет

Индексируется CORE: Нет