{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T07:59:47Z","timestamp":1767772787857,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253334"},{"type":"electronic","value":"9783540319801"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31980-1_38","type":"book-chapter","created":{"date-parts":[[2010,7,11]],"date-time":"2010-07-11T22:44:59Z","timestamp":1278888299000},"page":"557-562","source":"Crossref","is-referenced-by-count":47,"title":["jETI: A Tool for Remote Tool Integration"],"prefix":"10.1007","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"Nagel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"38_CR2","unstructured":"Eclipse Foundation, http:\/\/www.eclipse.org\/"},{"key":"38_CR3","unstructured":"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)"},{"key":"38_CR4","volume-title":"Proc. of ECBS 2005, 12th Annual IEEE Int. Conf. and Workshop on the Engineering of Computer Based Systems","author":"T. Margaria","year":"2005","unstructured":"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)"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-24730-2_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"M. M\u00fcller-Olm","year":"2004","unstructured":"M\u00fcller-Olm, M., Yoo, H.: MetaGame: An Animation Tool for Model-Checking Games. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 163\u2013167. Springer, Heidelberg (2004)"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035794","volume-title":"Automata, Languages and Programming","author":"B. Steffen","year":"1989","unstructured":"Steffen, B.: Characteristic Formulae. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372. Springer, Heidelberg (1989)"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Steffen, B., Ingolfsdottir, A.: Characteristic Formulae for Finite State Processes. Information and Computation\u00a0110(1) (1994)","DOI":"10.1006\/inco.1994.1028"},{"key":"38_CR8","doi-asserted-by":"crossref","unstructured":"Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design, [10], pp.\u00a09-30","DOI":"10.1007\/s100090050003"},{"key":"38_CR9","first-page":"13","volume-title":"SOFTWARE: Concepts and Tools","author":"B. Steffen","year":"1996","unstructured":"Steffen, B., Margaria, T., Cla\u00dfen, A.: Heterogeneous Analysis and Verification for Distributed Systems. In: SOFTWARE: Concepts and Tools, vol.\u00a017(1), pp. 13\u201325. Springer, Heidelberg (1996)"},{"key":"38_CR10","unstructured":"Special section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer (November 1997)"},{"key":"38_CR11","unstructured":"SUN Microsystems. Java WebService Developer Pack, http:\/\/java.sun.com\/webservices\/"},{"key":"38_CR12","unstructured":"Tomcat homepage, http:\/\/jakarta.apache.org\/tomcat\/"},{"key":"38_CR13","unstructured":"WebServices.Org - homepage of the WebServices and SOA communities, http:\/\/www.webservices.org\/"},{"key":"38_CR14","unstructured":"W3C. SOAP, http:\/\/www.w3.org\/TR\/SOAP\/"},{"key":"38_CR15","unstructured":"Web Service Choreography Interface (WSCI) 1.0, W3C Note, 8 August (2002), http:\/\/www.w3.org\/TR\/2002\/NOTE-wsci-20020808"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31980-1_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:32:49Z","timestamp":1605760369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31980-1_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253334","9783540319801"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31980-1_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}