Представления и преобразования гипертекстовой информации в специализированных расширяемых форматах

05.12.2000
М.Ю.Колодин. РИ-2000.
Об авторе
М.Ю.Колодин:
Научный сотрудник ИГИТО СПИИРАН
Основные интересы: мета-системы, XML, TeX
Адрес: [e-mail]Адрес: [e-mail], http://myke.da.ru

05.12.2000
М.Ю.Колодин. РИ-2000.
Тема и метод
Область: обработка сложной информации в текстовой форме
Особенности: сложноструктурированный гипертекстовый характер
Методы: внешняя и внутренняя обработка представлений на основе XML

05.12.2000
М.Ю.Колодин. РИ-2000.
Два типа языков
Есть два способа представления информации в языковой форме:
а. конкретные языки (конечные, специализированные)
б. мета-языки (с порождением производных языков)

05.12.2000
М.Ю.Колодин. РИ-2000.
Простые языки
Частные языки
Новые программы обработки для каждого языка
Доказательства (обоснования) для каждого языка
Оптимизация
Ограниченность применения
Широкое использование

05.12.2000
М.Ю.Колодин. РИ-2000.
Мета-языки
Описания семейства языков
Общие обработчики
Единая доказательная база
Многократность использования
Многообразие представлений
Адекватность предметной области

05.12.2000
М.Ю.Колодин. РИ-2000.
Примеры мета-языков
SGML, основной мета-язык
SGML-производные (DocBook, TEI, пр.)
XML, новый мета-язык
XML-производные (MathML, XLink, XPointer, XSL, XSLT,..)

05.12.2000
М.Ю.Колодин. РИ-2000.
Традиционные обработчики
Модели: SAX, DOM
Языки: C++, Java, Perl, Python, прочие
Внешний просмотр документа с преобразованием его в HTML, XML, пр.

05.12.2000
М.Ю.Колодин. РИ-2000.
Новые методы
Внутренние (непосредственные) обработчики
Настройка инструментального средства (FORTH)
Многоуровневые представления

05.12.2000
М.Ю.Колодин. РИ-2000.
Инструментальные средства
FORTH: переопределение синтаксиса языка для включения целевого языка
Непосредственное исполнение текста на целевом языке в различных контекстах
Получение различных производных

05.12.2000
М.Ю.Колодин. РИ-2000.
Многоуровневые представления
Мета: «между», «над»
Описание систем
Многоуровневое (произвольно- уровневое) описание
Обобщение системного представления

05.12.2000
М.Ю.Колодин. РИ-2000.
Результаты
Значительная польза для ТЕОРИИ (единый аппарат, формальная модель, систематизация, прочее)
Ощутимая ПРАКТИЧЕСКАЯ польза (эффективность, применимость, доступность, прочее)

05.12.2000
М.Ю.Колодин. РИ-2000.
Новые исследования
Сравнение с другими обработчиками (Java, C++, Perl, Python, пр.)
Обработка систем сложноструктурированных текстов с ГТ-разметкой
Интернет-приложения
Развитие теории

05.12.2000
М.Ю.Колодин. РИ-2000.
Ссылки
Языки ГТ-разметки (SGML, XML, пр.): http://www.w3c.org;
Обработчики: Java (http://java.sun.comОбработчики: Java (http://java.sun.com), Perl (http://www.perl.com),
Мои материалы: http://myke.webjump.com