jETI: a tool for remote tool integration

Authors:
Tiziana Margaria;Ralf Nagel;Bernhard Steffen
Affiliations:
Service Engineering for Distributed Systems, Institute for Informatics, University of Göttingen, Germany;Chair of Programming Systems, University of Dortmund, Germany;Chair of Programming Systems, University of Dortmund, Germany
Venue:
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Year:
2005

Citing 3
Cited 7

Characteristic formulae for processes with divergence

Information and Computation
Characteristic Formulae

ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Remote Integration and Coordination of Verification Tools in JETI

ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems

LearnLib: a library for automata learning and experimentation

Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Tools for model-based security engineering

Proceedings of the 28th international conference on Software engineering
NAOMI --- An Experimental Platform for Multi---modeling

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Seven variations of an alignment workflow: an illustration of agile process design and management in bio-jETI

ISBRA'08 Proceedings of the 4th international conference on Bioinformatics research and applications
Workflow-driven tool integration using model transformations

Graph transformations and model-driven engineering
Data-Flow analysis as model checking within the jABC

CC'06 Proceedings of the 15th international conference on Compiler Construction
Scientific workflows: eternal components, changing interfaces, varying compositions

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

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.