Skip to main content
SpringerLink
Log in

Lightweight coarse-grained coordination: a scalable system-level approach

  • Special section on formal methods for industrial critical systems
  • Published:
International Journal on Software Tools for Technology Transfer Aims and scope Submit manuscript

Abstract

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.

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. Andrade L, Fiadeiro J, Gouveia J, Koutsoukos G, Lopes A, Wermelinger M (2002) Coordination technologies for component-based systems. In: Proceedings of the international conference on integrated design and process technology (IDPT-2002), Pasadena, CA, June 2002

  2. Berry G, Gonthier G (1992) The Esterel Synchronous Programming language: design, semantics, implementation. Sci Comput Programm 19(2):87–152

    Article  Google Scholar 

  3. Dwyer M, Avrunin G, Corbett J (1999) Patterns in property specifications for finite-state verification. In: Proceedings of the international conference on software engineering, Los Angeles, May 1999. ACM Press, New York, pp 411–420

  4. Emerson E (1990) Temporal and modal logic. In: Van Leeuwen J (ed) Handbook of theoretical computer science. Elsevier, Amsterdam

  5. Fernandez JC, Jard C, Jéron T, Viho C (1997) An experiment in automatic generation of test suites for protocols with verification technology. Sci Comput Programm 29(1–2):123–146

  6. Gouveia J, Koutsoukos G, Andrade L, Fiadeiro J (2001) Tool support for coordination based evolution. In: Pree W (ed) Proceedings of TOOLS Europe 2001. IEEE Press, New York, pp 184–196

  7. Hagerer A, Margaria T, Niese O, Steffen B, Brune G, Ide HD (2001) An efficient regression testing of CTI systems: testing a complex call-center solution. Annu Rev Commun 55:1033–1040. International Engineering Consortium, Chicago

    Google Scholar 

  8. Halbwachs N, Lagnier F, Ratel C (1992) Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre. IEEE Trans Softw Eng (Special Issue on the Specification and Analysis of Real-Time Systems) 18(9):785–793

  9. Herakom GmbH, Germany. http://www.herakom.de

  10. Jard C, Jeron T (2002) TGV: Theory, principles and algorithms. In: Proceedings of the international symposium on integrated design and process technology, Pasadena, CA, June 2002 (in press)

  11. Katz S (1993) A superimposition control construct for distributed systems. ACM TOPLAS 15(2):337–356

    Article  Google Scholar 

  12. Kozen D (1983) Results on the propositional μ-Calculus. Theor Comput Sci 27:333–354

    Article  Google Scholar 

  13. Lindner B, Margaria T, Steffen B (2001) Ein personalisierter Internetdienst für wissenschaftliche Begutachtungsprozesse. GI-VOI-BITKOM-OCG-TeleTrusT Konferenz Elektronische Geschäfts-prozesse (eBusiness Processes), Universität Klagenfurt. Availabe at: http://syssec.uni-klu.ac.at/EBP2001/

  14. Margaria T (2002) The electronic tool integration platform as a supplier and user of graph transformation tools – experience and perspectives. In: Proceedings of the international workshop on graph based tools (GraBaTs’02), Barcelona, 7–8 October 2002. Satellite to ICGT 2002, international conference on graph transformations. ENTCS 72(2). Available at: http://www.elsevier.com/locate/entcs/volume72.html

  15. Margaria T, Karusseit M (2002) Community usage of the online conference service: an experience report from three CS conferences. In: Proceedings of the 2nd IFIP conference on e-commerce, e-business, e-government (I3E 2002), Lisbon, Portugal, 7–9 October 2002. In: Towards the knowledge society – eCommerce, eBusiness and eGovernment, Kluwer, Amsterdam, pp 497–511

  16. Margaria T, Niese O, Steffen B, Erochok A (2002) System level testing of virtual switch (re-) configuration over IP. In: Proceedings of the IEEE European test workshop, Corfu, Greece, May 2002. IEEE Press, New York

  17. Margaria T, Niese O, Steffen B (2002) Automated functional testing of Web-based applications. In: Proceedings of the 5th international conference on software and Internet quality week Europe, Brussels, March 2002, pp 157–166

  18. Müller-Olm M, Schmidt D, Steffen B (1999) Model-checking: a tutorial introduction. In: Proceedings of SAS’99, Venice, September 1999. Lecture notes in computer science, vol 1503. Springer, Berlin Heidelberg New York, pp 330–354

  19. Niese O, Margaria T, Hagerer A, Nagelmann M, Steffen B, Brune G, Ide HD (2000) An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annu Rev Commun IEC 54:927–935

    Google Scholar 

  20. Niese O, Margaria T, Hagerer A, Steffen B, Brune G, Goerigk W, Ide HD (2001) Automated regression testing of CTI systems. In: Proceedings of the IEEE European test workshop, Stockholm, Sweden, May 2001, pp 51–57

  21. Niese O, Steffen B, Margaria T, Hagerer A, Brune G, Ide HD (2001) Library-based design and consistency checking of system-level industrial test cases. In: Proceedings of the international conference on fundamental aspects of software engineering (FASE 2001), Genoa, Italy, April 2001. Lecture notes in computer science, vol 2029. Springer, Berlin Heidelberg New York, pp 233–248

  22. Object Management Group (1999) The Common Object Request Broker: architecture and specification, Revision 2.3. Object Management Group

    Google Scholar 

  23. Rational, Inc. The Rational Suite description. Available at: http://www.rational.com/products

  24. Schmitt M, Koch B, Grabowski J, Hogrefe D (1998) Autolink – a tool for automatic and semi-automatic test generation from SDL-specifications. Technical Report A-98-05, Medical University of Lübeck, Germany

  25. Steffen B, Classen A, Klein M, Knoop J, Margaria T (1995) The Fixpoint Analysis machine. In: Proceedings of CONCUR’95 (invited paper), Pittsburgh, August 1995. Lecture notes in computer science, vol 962. Springer, Berlin Heidelberg New York

  26. Steffen B, Margaria T (1999) METAFrame in practice: intelligent network service design. In: Correct system design – issues, methods and perspectives. Lecture notes in computer science, vol 1710. Springer, Berlin Heidelberg New York, pp 390–415

  27. Steffen B, Margaria T, Braun V (1997) The Electronic Tool Integration platform: concepts and design. Int J Softw Tool Technol Transfer 1:9–30

    Article  Google Scholar 

  28. Steffen B, Margaria T, Braun V, Kalt N (1997) Hierarchical service definition. Annu Rev Commun 55:847–856 International Engineering Consortium, Chicago

    Google Scholar 

  29. Sun Microsystems: Java Remote Method Invocation. Available at: http://java.sun.com/products/jdk/rmi

  30. Telelogic: Telelogic Tau. Available at: http://www.telelogic.com

  31. Tretmans J, Belinfante A (1999) Automatic testing with formal methods. In: Proceedings of the 7th European international conference on software testing, analysis and review (EuroSTAR’99), Galway, Ireland, 8–12 November 1999

  32. Wolper P (1996) The meaning of “formal”. Position statement for the workshop on strategic directions in computing research, Formal Methods Working Group. ACM Comput Surv 28(4es):127. See also: Wolper P (1997) The meaning of formal: from weak to strong formal methods. Int J Soft Technol Transfer 1(1–2):6–8

Download references

Author information

Authors and Affiliations

  1. Universität Dortmund, Baroper Str. 301, 44221, Dortmund, Germany

    Tiziana Margaria & Bernhard Steffen

  2. METAFrame Technologies GmbH, Borussiastr. 112, 44149, Dortmund, Germany

    Tiziana Margaria

Authors
  1. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Steffen
    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., Steffen, B. Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5, 107–123 (2004). https://doi.org/10.1007/s10009-003-0119-4

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10009-003-0119-4

Keywords

Search

Navigation