We present a protocol for interactively using software tools in a loosely coupled tool environment. Such an environment can assist the user in doing tasks that require the use of multiple tools. For example, it can invoke tools on certain input, set processing parameters, await task completion and have tools communicate the resulting output. It can also keep track of files produced by tools and prevent tools from reading and writing to the same file at the same time. The protocol serves as an interface between the tools and a central tool manager. Generally, the manager controls the tools and forms an interface to a human user. The protocol is used to connect our tool manager SQuADT to a variety of tools, hereby allowing these tools to be used on all major software platforms.
|Name||Computer science reports|