jETI: A Tool for Remote Tool Integration

  • Tiziana Margaria
  • Ralf Nagel
  • Bernhard Steffen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3440)


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. 1.
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)Google Scholar
  2. 2.
    Eclipse Foundation,
  3. 3.
    Margaria, T.: Web Services-Based Tool-Integration in the ETI Platform. SoSyM, Int. Journal on Software and System Modelling, to appear. Springer Verlag (Springer Online First DOI: 10.1007/s10270-004-0072-z) Google Scholar
  4. 4.
    Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools in JETI. In: Proc. of ECBS 2005, 12th Annual IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems, Washington DC, USA, April 4-7. IEEE Press, Los Alamitos (2005)Google Scholar
  5. 5.
    Müller-Olm, M., Yoo, H.: MetaGame: An Animation Tool for Model-Checking Games. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 163–167. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Steffen, B.: Characteristic Formulae. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol. 372. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  7. 7.
    Steffen, B., Ingolfsdottir, A.: Characteristic Formulae for Finite State Processes. Information and Computation 110(1) (1994)Google Scholar
  8. 8.
    Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design, [10], pp. 9-30Google Scholar
  9. 9.
    Steffen, B., Margaria, T., Claßen, A.: Heterogeneous Analysis and Verification for Distributed Systems. In: SOFTWARE: Concepts and Tools, vol. 17(1), pp. 13–25. Springer, Heidelberg (1996)Google Scholar
  10. 10.
    Special section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer (November 1997)Google Scholar
  11. 11.
    SUN Microsystems. Java WebService Developer Pack,
  12. 12.
  13. 13.
    WebServices.Org - homepage of the WebServices and SOA communities,
  14. 14.
  15. 15.
    Web Service Choreography Interface (WSCI) 1.0, W3C Note, 8 August (2002),

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Tiziana Margaria
    • 1
  • Ralf Nagel
    • 2
  • Bernhard Steffen
    • 2
  1. 1.Service Engineering for Distributed Systems, Institute for InformaticsUniversity of GöttingenGermany
  2. 2.Chair of Programming SystemsUniversity of DortmundGermany

Personalised recommendations