Ярошевич В.И.
Московский государственный университет, Москва
В настоящее время наблюдается достаточно большая шумиха вокруг 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 будет использоваться качестве подключаемого модуля для более широких преобразований).
Преобразования реализованы на чистом XSLT 1.0, без использования каких-либо расширений.
На данный момент реализована поддержка только элементов разметки представления. Однако поддержка элементов содержания не представляет какой-либо исключительной сложности, и это всего лишь дело времени. Уже сейчас существуют преобразования XSLT, предназначенные для конвертации разметки содержания в разметку представления, которые можно использовать для двухступенчатой схемы трансформации элементов разметки содержания в LaTeX.
Поддерживается web-страница библиотеки XSLT MathML. На этой странице представлен исходный код всех преобразований. Дополнительно, реализована возможность проведения трансформаций в режиме on-line, а также доступны результаты преобразования MathML-файлов из набора W3C MathML Test Suite.
Результатом данной работы стало включение Библиотеки XSLT MathML в список рекомендуемого программного обеспечения для работы с MathML на домашней странице рабочей группы по математике W3C.
Ваши комментарии Обратная связь |
[Головная страница] [Конференции] [СО РАН] |
© 2002, Сибирское отделение Российской академии наук, Новосибирск
© 2002, Объединенный институт информатики СО РАН, Новосибирск