{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,7]],"date-time":"2026-01-07T08:00:56Z","timestamp":1767772856780,"version":"build-2065373602"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:00:00Z","timestamp":1114905600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,5]]},"DOI":"10.1007\/s10270-004-0072-z","type":"journal-article","created":{"date-parts":[[2004,11,9]],"date-time":"2004-11-09T10:04:34Z","timestamp":1099994674000},"page":"141-156","source":"Crossref","is-referenced-by-count":24,"title":["Web services-based tool-integration in the ETI platform"],"prefix":"10.1007","volume":"4","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,1]]},"reference":[{"key":"72_CRToolNet2","unstructured":"Altheide F, D\u00f6rfel S, D\u00f6rr H, Kanzleiter J (2003) An Architecture for a Sustainable Tool Integration. In: Proc. TIS 2003, Workshop on Tool-Integration in System Development, joint with ESEC\/FME 2003, Helsinki (FIN), September 1\u20132, pp 29\u201332"},{"key":"72_CRDLHandbook","first-page":"Theory","volume":"Handbook","author":"Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (eds) (2003) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, January","journal-title":"The Description Logic"},{"key":"72_CRCheops2","unstructured":"Becker S, Westfechtel B (2003) UML-based Definition of Integration Models for Incremental Development Processes in Chemical Engineering. In: Proc. Int. Conf. on Integrated Design and Process Technology (IDPT-2003), Austin, TX, December"},{"key":"72_CRToolBus1","doi-asserted-by":"crossref","unstructured":"Bergstra JA, Klint P (1996) The ToolBus Coordination Architecture. In: Proc. int. Conf. on Coordination Models and Languages, LNCS, vol 1061. Springer Verlag, pp 75\u201388","DOI":"10.1007\/3-540-61052-9_40"},{"key":"72_CRETI2","doi-asserted-by":"crossref","unstructured":"Braun V, Margaria T, Weise C (1997) Integrating Tools in the ETI Platform. [33], pp 31\u201348","DOI":"10.1007\/s100090050004"},{"key":"72_CRnusmv","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"Cimatti","year":"2000","unstructured":"Cimatti A, Clarke E, Giunchiglia F, Roveri M (2000) NUSMV: a new symbolic model checker. Int. J Softw Tools Technol Transfer 2(4):410\u2013425","journal-title":"J Softw Tools Technol Transfer"},{"key":"72_CRMerelli","unstructured":"Corradini F, Mariani L, Merelli E (2003) An Agent-based Layered Middleware as Tool Integration. In: Proc. TIS 2003, Workshop on Tool-Integration in System Development, joint with ESEC\/FME 2003, Helsinki (FIN), pp 17\u201321, September 1\u20132"},{"key":"72_CRBPEL4WS","unstructured":"Curbera F, Goland Y, Klein J, Leymann F, Roller D, Thatte S, Weerawarana S. Business Process Execution Language for Web Services. http:\/!\/www.ibm.com\/developerworks\/library\/ws-bpel\/ (also under ftp:\/!\/www6.software.ibm.com\/software\/developer\/library\/ws-bpel.pdf)"},{"key":"72_CRDAMLOIL","unstructured":"DAML+OIL. The Joint United States\/European Union ad hoc Agent Markup Language Committee, DAML+OIL. http:\/!\/www.daml.org\/2001\/03\/daml+oil-index.html"},{"key":"72_CRJSongDong","doi-asserted-by":"crossref","unstructured":"Dong JS, Sun J, Wang H (2002) Semantic Web for Extending and Linking Formalisms. In: Proc. of Formal Methods Europe (FME\u201902 \u2013 FLoC), Copenhagen, Denmark, LNCS. Springer-Verlag, pp 587\u2013606, July","DOI":"10.1007\/3-540-45614-7_33"},{"key":"72_CRToolNet1","unstructured":"Freude R, K\u00f6nigs A (2003) Tool Integration with consistency Relations and their Visualisation. In: Proc. TIS 2003, Workshop on Tool-Integration in System Development, joint with ESEC\/FME 2003. Helsinki (FIN), pp 6\u201310, September 1\u20132"},{"key":"72_CRcadp","unstructured":"Garavel H, Lang F, Mateescu R (2002) An overview of CADP 2001. EASST Newsletter (European Association of Software Science and Technology), Vol. 4, pp 13\u201324, August. http:\/!\/www.easst.org\/newsletter_und_templates\/NL-August02.pdf (see also INRIA Technical Report TR-254, December 2001), http:\/!\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"72_CRbandera","doi-asserted-by":"crossref","unstructured":"Hatcliff J, Dwyer M (2001) Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software. In: Proc. of CONCUR 2001 (invited tutorial paper), June","DOI":"10.1007\/3-540-44685-0_5"},{"key":"72_CRhytech","doi-asserted-by":"crossref","unstructured":"Henzinger TA, Ho P-H, Wong-Toi H (1997) HyTech: A Model Checker for Hybrid Systems. Int. Journal on Software Tools for Technology Transfer 1\u20132:110\u2013122","DOI":"10.1007\/s100090050008"},{"key":"72_CRHLL","first-page":"Entwicklung","volume":"Interpreter","author":"Holzmann","year":"1997","unstructured":"Holzmann A (1997) Der METAFrame Interpreter: Entwicklung und Implementierung eines dynamischen Modulkonzepts. Master Thesis, Univ. of Passau","journal-title":"Der METAFrame"},{"key":"72_CRspin","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"Holzmann","year":"1997","unstructured":"Holzmann GJ (1997) The model checker Spin. IEEE Trans. on Software Engineering 23(5):279\u2013295, May","journal-title":"on Software Engineering"},{"key":"72_CRspin2","unstructured":"Holzmann GJ (2003) The Spin Model Checker. Primer and Reference Manual. Addison Wesley, October"},{"key":"72_CRJavaBeans","unstructured":"JavaBeans: The only Component Architecture for Java Technology. http:\/!\/java.sun.com\/products\/javabeans\/"},{"key":"72_CRKindler","unstructured":"Kindler E (2003) On the Semantics of EPC: A framework for resolving the vicious circle. In: Proc. EPK 2003 \u2013 Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten \u2013 2. GI-Workshop, Bamberg, pp 7\u201318, October"},{"key":"72_CRToolBus3","doi-asserted-by":"crossref","unstructured":"Klint P, Olivier P (1996) The TOOLBUS Coordination Architecture: A Demonstration. In: Proc. 5th Int. Conf. on Algebraic Methodology and Software Technology (AMAST\u201996), LNCS, vol 1101. Springer Verlag, pp 575\u2013578","DOI":"10.1007\/BFb0014345"},{"key":"72_CRBPEL4WS-2","unstructured":"Little M, Webber J (2003) Introducing BPEL4WS 1.0: building on WS-Transaction and WS-Coordination. Web Services Journal, August. http:\/!\/www.findarticles.com\/cf_0\/m0MLV\/8_3\/106174062\/p1\/article.jhtml"},{"key":"72_CRPython","unstructured":"Lutz M (2001) Programming Python. O\u2019Reilly"},{"key":"72_CRMandell","unstructured":"Mandell DJ, McIlraith SA (2003) Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. In: Proc. ISWC2003, 2nd Intern. Semantic Web Conference, October 2003, Sundial Resort, Sanibel Island, FL (USA), LNCS vol 2870. Springer Verlag, pp 227\u2013241"},{"key":"72_CRGrabats-tm","doi-asserted-by":"crossref","unstructured":"Margaria T (2002) The Electronic Tool Integration Platform as a supplier and user of Graph Transformation Tools \u2013 Experience and Perspectives. In: Int. Workshop on Graph Based Tools (GraBaTs\u201902), Barcelona (E), October 7\u20138, Invited talk. ENTCS, vol 72, no 2","DOI":"10.1016\/S1571-0661(05)80527-4"},{"key":"72_CRQPQ-tm","unstructured":"Margaria T (2003) Peopleware in Practice: Human Experiences in Tool Integration in ETI and Lessons Learned for QPQ. In: Proc. 1st QPQ Workshop, satellite to CADE-19, Miami, July"},{"key":"72_CRETI3","first-page":"A","volume":"ETI","author":"Margaria","year":"1997","unstructured":"Margaria T, Braun V, Kreileder J (1997) Interacting with ETI: A User Session. [33], pp 49\u201363","journal-title":"Interacting with"},{"key":"72_CRlightweight","doi-asserted-by":"crossref","unstructured":"Margaria T, Steffen B (2004) Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. Int. J Softw Tools Technol Transfer (Special Section on Formal Methods in Industrial Critical Systems, ed. Jaco van de Pol) 5(2\u20133):107\u2013123","DOI":"10.1007\/s10009-003-0119-4"},{"key":"72_CRMaWuHelsi","unstructured":"Margaria T, Wuebben W (2003) Tool Integration in the ETI Platform \u2013 Review and Perspectives. In: Proc. TIS 2003, Workshop on Tool-Integration in System Development, joint with ESEC\/FME 2003, Helsinki (FIN), pp 39\u201344, September 1\u20132"},{"key":"72_CRStepX","doi-asserted-by":"crossref","unstructured":"Mutz M, Huhn M, Goltz U, Kr\u00f6mke C (2003) Model Based System Development in Automotive. SAE 2003, Detroit, MI (USA), March","DOI":"10.4271\/2003-01-1017"},{"key":"72_CRCheops","unstructured":"Schopfer G, Yang A, Marquardt W (2003) Tool-Integration in Chemical Process Modelling. In: Proc. TIS 2003, Workshop on Tool-Integration in System Development, joint with ESEC\/FME 2003, Helsinki (FIN), pp 79\u201383, September 1\u20132"},{"key":"72_CRkronos2","doi-asserted-by":"crossref","unstructured":"Sifakis J, Tripakis S, Yovine S (2003) Building models of real-time systems from application software. In: Proceedings of the IEEE, Special issue on modeling and design of embedded 91(1):100\u2013111, January","DOI":"10.1109\/JPROC.2002.805820"},{"key":"72_CRETI1","first-page":"concepts","volume":"platform","author":"Steffen","year":"1997","unstructured":"Steffen B, Margaria T, Braun V (1997) The Electronic Tool Integration platform: concepts and design, [33], pp 9\u201330","journal-title":"The Electronic Tool Integration"},{"key":"72_CRSTTT","unstructured":"(1997) Int. J Softw Tools Technol Transfer Special section on the Electronic Tool Integration Platform 1 Verlag, November"},{"key":"72_CRRMI","unstructured":"SUN Microsystems. Java Remote Method Invocation http:\/!\/java.sun.com\/products\/jdk\/rmi\/"},{"key":"72_CRJWSDP","unstructured":"SUN Microsystems. Java WebService Developer Pack http:\/!\/java.sun.com\/webservices\/"},{"key":"72_CRDCOM","unstructured":"Thai T (1999) Learning DCOM, O\u2019Reilly"},{"key":"72_CRCORBA","unstructured":"The Object Management Group. Common Object Request Broker Architecture http:\/!\/www.omg.org"},{"key":"72_CRuppaal","unstructured":"UppAal. http:\/!\/www.uppaal.com\/"},{"key":"72_CROWL","unstructured":"W3C. OWL Web Ontology Language Guide www.w3.org\/TR\/owl-guide\/"},{"key":"72_CRSOAP","unstructured":"W3C. SOAP http:\/!\/www.w3.org\/TR\/SOAP\/"},{"key":"72_CRXML","unstructured":"W3C. Extensible Markup Language (XML) http:\/!\/www.w3.org\/XML\/"},{"key":"72_CRXMLEncryption","unstructured":"W3C. XML Encryption Syntax and Processing http:\/!\/www.w3.org\/TR\/xmlenc-core\/"},{"key":"72_CRXMLDigitalSignature","unstructured":"W3C. XML-Signature Syntax and Processing http:\/!\/www.w3.org\/TR\/2001\/PR-xmldsig-core-20010820\/"},{"key":"72_CRWSDL","unstructured":"W3C. WSDL http:\/!\/www.w3.org\/TR\/wsdl20\/"},{"key":"72_CRPerl","unstructured":"Wall L, Christiansen T, Orwant J (2000) Programming Perl, 3rd Edition. O\u2019Reilly"},{"key":"72_CRWSCI","unstructured":"Web Service Choreography Interface (WSCI) 1.0 (2002) W3C Note, 8 August. http:\/!\/www.w3.org\/TR\/2002\/NOTE-wsci-20020808"},{"key":"72_CRkronos1","doi-asserted-by":"crossref","unstructured":"Yovine S (1997) Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer 1(1\/2):123\u2013133. Springer-Verlag, October","DOI":"10.1007\/s100090050009"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0072-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-004-0072-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0072-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T23:01:49Z","timestamp":1585954909000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-004-0072-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["72"],"URL":"https:\/\/doi.org\/10.1007\/s10270-004-0072-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}