Skip to main content
SpringerLink
Log in

Web services-based tool-integration in the ETI platform

  • Special section on model-based tool integration
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

In this paper we present dETI, the next generation of the Electronic Tool Integration (ETI) platform, an open platform for the interactive experimentation with and coordination of heterogeneous software tools via the internet. Our redesign, which is based on the experience gained while running the ETI platform since 1997, focusses on the tool integration process, which clearly marked the bottleneck for the wide acceptance of the ETI platform on the side of an important group of users: the tool providers. The new integration approach makes use of standard Web Services technology, which perfectly fits in the overall ETI architecture.

Our approach realizes a clear separation of concerns, which overcomes all the previously observed obstacles by (i) decoupling the integration tasks of the tool providers and the ETI team, (ii) pulling the ETI team out of the upgrading and maintenance loop and (iii) handing the upgrading and access control over to the tool providers.

This guarantees the scalability in the number of tools available within ETI, and addresses the flexibility concerns of the tool providers.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Altheide F, Dörfel S, Dörr 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–2, pp 29–32

  2. 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

    Google Scholar 

  3. 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

  4. 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–88

  5. Braun V, Margaria T, Weise C (1997) Integrating Tools in the ETI Platform. [33], pp 31–48

  6. Cimatti A, Clarke E, Giunchiglia F, Roveri M (2000) NUSMV: a new symbolic model checker. Int. J Softw Tools Technol Transfer 2(4):410–425

    Article  Google Scholar 

  7. 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–21, September 1–2

  8. 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)

  9. 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

  10. Dong JS, Sun J, Wang H (2002) Semantic Web for Extending and Linking Formalisms. In: Proc. of Formal Methods Europe (FME’02 – FLoC), Copenhagen, Denmark, LNCS. Springer-Verlag, pp 587–606, July

  11. Freude R, Königs 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–10, September 1–2

  12. 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–24, 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/

  13. 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

  14. 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–2:110–122

  15. Holzmann A (1997) Der METAFrame Interpreter: Entwicklung und Implementierung eines dynamischen Modulkonzepts. Master Thesis, Univ. of Passau

    Google Scholar 

  16. Holzmann GJ (1997) The model checker Spin. IEEE Trans. on Software Engineering 23(5):279–295, May

    Article  Google Scholar 

  17. Holzmann GJ (2003) The Spin Model Checker. Primer and Reference Manual. Addison Wesley, October

  18. JavaBeans: The only Component Architecture for Java Technology. http:/!/java.sun.com/products/javabeans/

  19. Kindler E (2003) On the Semantics of EPC: A framework for resolving the vicious circle. In: Proc. EPK 2003 – Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten – 2. GI-Workshop, Bamberg, pp 7–18, October

  20. Klint P, Olivier P (1996) The TOOLBUS Coordination Architecture: A Demonstration. In: Proc. 5th Int. Conf. on Algebraic Methodology and Software Technology (AMAST’96), LNCS, vol 1101. Springer Verlag, pp 575–578

  21. 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

  22. Lutz M (2001) Programming Python. O’Reilly

  23. 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–241

  24. Margaria T (2002) The Electronic Tool Integration Platform as a supplier and user of Graph Transformation Tools – Experience and Perspectives. In: Int. Workshop on Graph Based Tools (GraBaTs’02), Barcelona (E), October 7–8, Invited talk. ENTCS, vol 72, no 2

  25. 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

  26. Margaria T, Braun V, Kreileder J (1997) Interacting with ETI: A User Session. [33], pp 49–63

    Google Scholar 

  27. 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–3):107–123

  28. Margaria T, Wuebben W (2003) Tool Integration in the ETI Platform – Review and Perspectives. In: Proc. TIS 2003, Workshop on Tool-Integration in System Development, joint with ESEC/FME 2003, Helsinki (FIN), pp 39–44, September 1–2

  29. Mutz M, Huhn M, Goltz U, Krömke C (2003) Model Based System Development in Automotive. SAE 2003, Detroit, MI (USA), March

  30. 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–83, September 1–2

  31. 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–111, January

  32. Steffen B, Margaria T, Braun V (1997) The Electronic Tool Integration platform: concepts and design, [33], pp 9–30

    Google Scholar 

  33. (1997) Int. J Softw Tools Technol Transfer Special section on the Electronic Tool Integration Platform 1 Verlag, November

  34. SUN Microsystems. Java Remote Method Invocation http:/!/java.sun.com/products/jdk/rmi/

  35. SUN Microsystems. Java WebService Developer Pack http:/!/java.sun.com/webservices/

  36. Thai T (1999) Learning DCOM, O’Reilly

  37. The Object Management Group. Common Object Request Broker Architecture http:/!/www.omg.org

  38. UppAal. http:/!/www.uppaal.com/

  39. W3C. OWL Web Ontology Language Guide www.w3.org/TR/owl-guide/

  40. W3C. SOAP http:/!/www.w3.org/TR/SOAP/

  41. W3C. Extensible Markup Language (XML) http:/!/www.w3.org/XML/

  42. W3C. XML Encryption Syntax and Processing http:/!/www.w3.org/TR/xmlenc-core/

  43. W3C. XML-Signature Syntax and Processing http:/!/www.w3.org/TR/2001/PR-xmldsig-core-20010820/

  44. W3C. WSDL http:/!/www.w3.org/TR/wsdl20/

  45. Wall L, Christiansen T, Orwant J (2000) Programming Perl, 3rd Edition. O’Reilly

  46. Web Service Choreography Interface (WSCI) 1.0 (2002) W3C Note, 8 August. http:/!/www.w3.org/TR/2002/NOTE-wsci-20020808

  47. Yovine S (1997) Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer 1(1/2):123–133. Springer-Verlag, October

Download references

Author information

Authors and Affiliations

  1. Chair of Service Engineering for Distributed Systems, Universität Göttingen, Germany

    Tiziana Margaria

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tiziana Margaria.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Margaria, T. Web services-based tool-integration in the ETI platform. Softw Syst Model 4, 141–156 (2005). https://doi.org/10.1007/s10270-004-0072-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-004-0072-z

Keywords

Search

Navigation