TermWare

TermWare is a rule processing engine intended for embedding into Java applications.

Main range of applications:
  - problem-oriented languages (or DSL, from domain-specific) development.
  - computer algebra systems.
  - various formal models analysis and transformation.
  - software engineering.

TermWare implements terminal systems concept.

Concept of such systems as object structures (of monad type or of signature type) and rewriting rules with evident knowledgebase interaction actions. The concept implementation allows to unite mathematical and imperative programming semantics components.

TermWare is Java library, that provides access to TermWare language interpreter and terminal systems operation API. Also simple command line driver is included.

Documentation

Description of API:	eng.: [html]
Semantics	eng.: [html] rus.: [html]
Description of built-in functions:	eng.: [html]
jsr223 implementation notes:	eng.: [html]
jsr94 implementation notes:	eng.: [html]
Tutorial:	eng.: [html]
License:	[html]

Downloads

Distributive source:	[TermWareInstaller-2.3.0.jar]
Just jars:	[TermWare-2.3.0.jar]

Java parser/printer plugin:

Source distributive:	[TermWareJPP-src-1.1.tar.gz]
jar:	[TermWareJPP-1.1.jar]

Graphviz dot parser/printer plugin:

Source distributive:	[TermWareDot-src-1.1.tar.gz]
jar:	[TermWareDot-1.1.jar]

Articles:

A Rewriting Framework for Rule-Based Programming Dynamic Applications eng.

Managing Business Logic with Symbolic Computations    rus.    eng.

The system of symbolic computing for programming the dynamic applications    rus.