Тезисы докладов

Введение

В настоящее время наблюдается достаточно большая шумиха вокруг XML. Пишутся статьи, книги, выпуск каждой новой программы сопровождается магической фразой: "Осуществлена поддержка XML"... В общем, делаются деньги. И за всей этой суматохой, практически незамеченным прошло присвоение 21 февраля 2001 года Консорциумом WWW (W3C) статуса Рекомендации спецификации MathML 2.0. А это значит, что теперь MathML 2.0 является открытым XML-стандартом для представления математической информации в Сети.

Тем не менее, сейчас идет этап становления этой новой технологии, разрабатываются программные средства, осуществляется связывание MathML с уже существующими технологиями.

Так, огромное влияние на языки математической разметки оказала система верстки TeX, разработанная Дональдом Кнутом (Donald Knuth) в середине 70-х годов прошлого века. Благодаря доступности и высокому качеству визуализации документов, TeX является стандартом de facto в математическом сообществе и очень широко распространен в научной среде, и много усилий было приложено, чтобы MathML мог обеспечить такое же качество. Таким образом связь MathML с TeX'ом является одной из ключевых.

Целью же данной работы является написание библиотеки преобразований XSLT для трансформации из формата MathML 2.0 в формат LaTeX. Возможность и практическая необходимость осуществления такой конвертации были указаны в спецификации MathML.

Конечно, такое преобразование можно было осуществить и раньше. Например загрузить код MathML в систему компьютерной алгебры Mathematica, а затем сохранить результат в формате LaTeX. Однако такой подход является слишком искуственным и не может быть использован для практического применения.

Выбор же XSLT в качестве платформы реализации обеспечивает гибкость, расширяемость и модульность (предполагается, что реализованное преобразование XSLT будет использоваться качестве подключаемого модуля для более широких преобразований).

2. Библиотека XSLT MathML

Основным результатом данной работы стало написание библиотеки преобразований XSLT для трансформации из формата MathML 2.0 в формат LaTeX. Выбор языка XSLT для реализации такой трансформации, на наш взгляд, является естественным, так как XSLT дает большую гибкость при выборе платформы использования. Например, не составляет труда преобразовать код XSLT в программу на языке Java. К слову, такое преобразование непосредственно встроено практически в любой XSLT-процессор.

Преобразования реализованы на чистом XSLT 1.0, без использования каких-либо расширений.

На данный момент реализована поддержка только элементов разметки представления. Однако поддержка элементов содержания не представляет какой-либо исключительной сложности, и это всего лишь дело времени. Уже сейчас существуют преобразования XSLT, предназначенные для конвертации разметки содержания в разметку представления, которые можно использовать для двухступенчатой схемы трансформации элементов разметки содержания в LaTeX.

Поддерживается web-страница библиотеки XSLT MathML. На этой странице представлен исходный код всех преобразований. Дополнительно, реализована возможность проведения трансформаций в режиме on-line, а также доступны результаты преобразования MathML-файлов из набора W3C MathML Test Suite.

Результатом данной работы стало включение Библиотеки XSLT MathML в список рекомендуемого программного обеспечения для работы с MathML на домашней странице рабочей группы по математике W3C.

3. Заключение

Данная работа не закрывает эта область исследований. Предстоит еще очень много сделать. Есть повод надеяться, что Библиотека будет развиваться и, в конце концов, будет полностью удовлетворять требованиям спецификации MathML. Все изменения будут отражены на домашней web-странице Библиотеки.

Дополнительные материалы:

HTML

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии Обратная связь

[Головная страница] [Конференции] [СО РАН]

© 2002, Сибирское отделение Российской академии наук, Новосибирск
© 2002, Объединенный институт информатики СО РАН, Новосибирск