jETI: A Tool for Remote Tool Integration

Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience with tool providers, tool users and students. Most important was here the reduction of the effort for integrating and updating tools. jETI combines Eclipse with Web Services functionality in order to provide (1) lightweight remote component (tool) integration, (2) distributed component (tool) libraries, (3) a graphical coordination environment, and (4) a distributed execution environment. These features will be illustrated in the course of building and executing remote heterogeneous tool sequences. 1 Motivation The Electronic Tool Integration platform (ETI) [10] is an online platform specifically designed to support the distributed use of and experimentation with tools over the internet. Born in 1996 and online since early 1997, it offered a unique service to tool providers and users: its solution for the remo...

• Type: Conference
• Year: 2005
• Where: TACAS
• Authors: Tiziana Margaria, Ralf Nagel, Bernhard Steffen
• Keywords: Algorithms, TACAS 2005, Tool, Tool Integration, Tool Providers