ATerm Service

XT -- A Bundle of Program Transformation Tools
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?

-- MartinBravenboer - 10 Feb 2003