TermWare

TermWare — система символьных вычислений для разработки динамических приложений на основе правил переписывания. Предназначена для встраивания в другие программные продукты, написанные на Java.

Разработка языка TermWare началась в 2002 году под влиянием языка APLAN. Он должен был решить три основные проблемы существующей системы:

• изменяющиеся условия внешнего мира. Взаимодействие с окружающей средой моделируется не побочными эффектами, а в явном виде, при помощи правил вида x [ input ] -> y [ output ], где input — запрос информации из внешней среды, а output — действия. Такие правила позволяют описывать поведение программы в терминах реакции на внешние стимулы.
• интеграция с другими программами. TermWare реализован на Java и с одной стороны, может использовать существующие библиотеки платформы, а с другой, легко встраивается в любые системы, построенные на JVM, при помощи TermWare API.
• среда проектирования — в TermWare включены объектно-ориентированные средства организации информации — наследование и иерархические пространства имен.

TermWare разрабатывается компанией GradSoft.

TermWare используется в основном для символьных вычислений и преобразований символьных моделей. В частности, существуют плагины для преобразования исходных кодов на Java и graphwiz в системы термов.