An ATermService is a software component that: * is accessible at some URL using HTTP * takes an [[Stratego.ATerm]] input in the body of a HTTP POST request * returns an [[Stratego.ATerm]] output in a HTTP response ---+++ Library support You can implement an ATermService using any language. Packages that support the implementation of ATermServices: * [[Stratego.StrategoNetworking][stratego-net]] * [[Java Stratego.ATerm Servlets]] ---+++ Implementations * [[ATermDatabaseInterface][Stratego.ATerm Database Interface]] uses [[Java Stratego.ATerm Servlets]] -- Main.MartinBravenboer - 10 Mar 2003