jETI: A Tool for Remote Tool Integration

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]  Tiziana Margaria,et al.  Heterogeneous Analysis and Verification for Distributed Systems , 1996, Softw. Concepts Tools.

[2]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[3]  Bernhard Steffen,et al.  Characteristic Formulae for Processes with Divergence , 1994, Inf. Comput..

[4]  Markus Müller-Olm,et al.  MetaGame: An Animation Tool for Model-Checking Games , 2004, TACAS.

[5]  Tiziana Margaria,et al.  Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[6]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.

[7]  Tiziana Margaria.  Web services-based tool-integration in the ETI platform , 2004, Software & Systems Modeling.