An ATermService is a software component that:

• is accessible at some URL using HTTP
• takes an ATerm input in the body of a HTTP POST request
• returns an ATerm output in a HTTP response

You can implement an ATermService using any language. Packages that support the implementation of ATermServices:

• stratego-net^?
• Java ATerm Servlets^?

Implementations:

• ATerm Database Interface uses Java ATerm Servlets^?

-- MartinBravenboer - 10 Mar 2003