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.
Chapter PDF
Similar content being viewed by others
References
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
Eclipse Foundation, http://www.eclipse.org/
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)
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)
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)
Steffen, B.: Characteristic Formulae. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol. 372. Springer, Heidelberg (1989)
Steffen, B., Ingolfsdottir, A.: Characteristic Formulae for Finite State Processes. Information and Computation 110(1) (1994)
Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design, [10], pp. 9-30
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)
Special section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer (November 1997)
SUN Microsystems. Java WebService Developer Pack, http://java.sun.com/webservices/
Tomcat homepage, http://jakarta.apache.org/tomcat/
WebServices.Org - homepage of the WebServices and SOA communities, http://www.webservices.org/
W3C. SOAP, http://www.w3.org/TR/SOAP/
Web Service Choreography Interface (WSCI) 1.0, W3C Note, 8 August (2002), http://www.w3.org/TR/2002/NOTE-wsci-20020808
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Margaria, T., Nagel, R., Steffen, B. (2005). jETI: A Tool for Remote Tool Integration. In: Halbwachs, N., Zuck, L.D. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2005. Lecture Notes in Computer Science, vol 3440. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31980-1_38
Download citation
DOI: https://doi.org/10.1007/978-3-540-31980-1_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25333-4
Online ISBN: 978-3-540-31980-1
eBook Packages: Computer ScienceComputer Science (R0)