maude bindings

Языковые привязки для Мод

Привязки языка для языка спецификации Maude с использованием SWIG. Они используют модифицированную версию Maude, дополненную средством проверки модели для системы, управляемой стратегиями, которая также доступна через привязки.

Пакет Python доступен на PyPI. После установки с помощью pip install maude его можно использовать напрямую, поскольку Maude встроен в пакет:

 import maude
maude . init ()
nat = maude . getModule ( 'NAT' )
t = nat . parseTerm ( '1 + 2' )
t . reduce ()
print ( t )

Из этого репозитория можно собрать привязки для других языков, поддерживаемых SWIG, но им не была предоставлена ​​специальная поддержка и тестирование. Конкретные инструкции для некоторых из них доступны здесь.

Здание

Этот репозиторий включает расширенную версию Maude в качестве подмодуля, который необходимо сначала клонировать с помощью git submodule update --init или эквивалентной команды Git. Для сборки пакета Python используется scikit-build-core с помощью любой из стандартных команд:

 python -m build  # or
pip wheel .

Это приведет к тому, что Мод будет собран в каталоге subprojects , для чего потребуется система сборки Meson, Ninja, а также различные внешние библиотеки и инструменты, как описано в ее репозитории. Альтернативно, скомпилированные версии Maude в виде библиотеки можно загрузить из раздела релизов и разместить в ожидаемых местах:

• subprojects/maudesmc/installdir/lib для библиотек и
• subprojects/maudesmc/build для заголовочного файла config.h .

В этом случае или при сборке Мод непосредственно из его подкаталога перед предыдущей командой следует добавить CMAKE_ARGS="-DBUILD_LIBMAUDE=OFF" .

Привязки для других языков также можно создать напрямую с помощью CMake, где srcdir — это каталог, в котором был клонирован репозиторий, а language — это один из языков, поддерживаемых SWIG:

 cmake <srcdir> -DLANGUAGE=<language>
cmake --build .

Для некоторых языковых целей этого будет достаточно, но для других можно ожидать дополнительных шагов.

Документация

Документация по пакету Python доступна здесь, и ее можно в значительной степени экстраполировать на другие целевые языки. Также доступна документация, созданная Javadoc. В дополнение к этому примеры в репозитории можно использовать в качестве справочника по различным темам:

• Загрузка файлов, парсинг терминов, сокращение, переписывание, переписывание со стратегиями и поиск в test.py
• Соответствие в match.py .
• Выборочное применение правил в apply.py .
• Объединение в unify.py .
• Управление графом перезаписи в graph.py .
• Проверка модели в modelcheck.py .
• Сужение в vunarrow.py .
• Генерация вариантов в variants.py .
• Перебор аргументов термина в gui.py
• Создание терминов из символов в buildTerm.py .
• Проверка модулей в maudedoc.py .
• Загрузка файлов и ввод необработанного текста в loading.py .
• Манипуляции с метауровнем в metalevel.py .
• Пользовательские специальные операторы hooks.py .

Более того, учебное пособие по библиотеке доступно в статье Мод как библиотека: эффективный универсальный программный интерфейс вместе с описанием ее дизайна и реализации.