Service-Oriented Design: The Roots

  • Tiziana Margaria
  • Bernhard Steffen
  • Manfred Reitenspieß
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3826)


Service-Oriented Design has driven the development of telecommunication infrastructure and applications, in particular the so-called Intelligent Network (IN) Services, since the early 90s. A service-oriented, feature-based architecture, a corresponding standardization of basic services and applications in real standards, and adequate programming environments enabled flexibilization of services, and dramatically reduced the time to market. Today the current trend toward triple-play services, which blend voice, video, and data on broadband wireline and wireless services builds on this successful experience when reaching for new technological and operational challenges. In this paper, we review our 10 years of experience in service engineering for telecommunication systems from the point of view of Service-Oriented Design then and now.


Model Check Virtual Private Network Intelligent Network Service Subscriber Data Communication Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services - Concepts, Architectures and Applications. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  2. 2.
    Bajohr, M., Margaria, T.: MaTRICS: A Management Tool for Remote Intelligent Configuration of (Pervasive) Systems. In: Proc. ICPS 2005, IEEE Int. Conference on Pervasive Services, Santorini, Greece, July 11-14, pp. 457–460. IEEE Computer Society Press, Los Alamitos (2005)CrossRefGoogle Scholar
  3. 3.
    Biala, J.: Mobilfunk und Intelligente Netze. Vieweg, Braunschweig (D) (1995) ISBN 3-528-15302-4Google Scholar
  4. 4.
    Bruhns, F.-K., Kriete, V., Margaria, T.: Service Creation Environments: Today and Tomorrow. In: tutorial, 4th Int. Conf. on Intelligent Networks (ICIN 1996), Bordeaux (France) (November 1996)Google Scholar
  5. 5.
    Braun, V., Margaria, T., Steffen, B., Yoo, H.: Automatic error location for IN service definition. In: Margaria, T., Steffen, B., Rückert, R., Posegga, J. (eds.) AIN 1997, ICALP-WS 1997, VISUAL-WS 1998, ACoS 1998, and ETAPS-WS 1998. LNCS, vol. 1385, pp. 222–237. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  6. 6.
    Braun, V., Margaria, T., Steffen, B., Yoo, H., Rychly, T.: Safe Service Customization. In: Proc. IN 1997, IEEE Communication Soc. Workshop on Intelligent Network, Colorado Springs, CO (USA), May 4-7. IEEE Comm. Soc. Press, Los Alamitos (1997)Google Scholar
  7. 7.
    Bredereke, J.: On feature orientation and on requirements encapsulation using families of requirements. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 26–44. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Chinnici, R., Gudgin, M., Moreau, J.-J., Schlimmer, J., Weerawarana, S.: Web Services Description Language (WSDL) version 2.0 (2004),
  9. 9.
    Christensen, B.E., Underwood, D.: Kommunikationsnetze werden intelligenter. Telecom Report 14, Heft 5, pp. 262–265 (1991)Google Scholar
  10. 10.
    Garrahan, J., Russo, P., Kitami, K., Kung, R.: Intelligent Network Overview. IEEE Communications Magazine, 30–37 (1993)Google Scholar
  11. 11.
    Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J.-J., Nielsen, H.F.: SOAP Version 1.2 Part 1: Messaging Framework. W3C Recommendation (June 24, 2003),
  12. 12.
    Hagerer, A., Margaria, T., Niese, O., Steffen, B., Brune, G., Ide, H.-D.: Efficient Regression Testing of CTI-Systems: Testing a Complex Call-Center Solution. In: Annual Review of Communication, Int. Engineering Consortium Chicago (USA), vol. 55, pp. 1033–1039 IEC (2002)Google Scholar
  13. 13.
    Harris, H., Ryan, M.: Theoretical Foundations of Updating Systems. In: ASE 2003, 18th IEEE Int. Conf. on Automated Software Engineering. IEEE-CS Press, Los Alamitos (2003)Google Scholar
  14. 14.
    ITU: General recommendations on telephone switching and signaling intelligent network: Introduction to intelligent network capability set 1, Recommendation Q.1211, Telecommunication Standardization Sector of ITU, Geneva (March 1993)Google Scholar
  15. 15.
    ITU-T: Recommendation Q.1203. Intelligent Network - Global Functional Plane Architecture (October 1992)Google Scholar
  16. 16.
    ITU-T: Recommendation Q.1204. Distributed Functional Plane for Intelligent Network Capability Set 2: Parts 1-4 (September 1997)Google Scholar
  17. 17.
    Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV 2005. 1st Int’l Workshop on Automated Specification and Verification of Web Sites, Post Workshop Proc. in ENTCS. Valencia, Spain, March 14-15 (2005)Google Scholar
  18. 18.
    Kozen, D.: Results on the Propositional μ-Calculus. Theoretical Computer Science 27, 333–354 (1983)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Margaria, T.: Components, features, and agents in the ABC. In: Ryan, M.D., Meyer, J.-J.C., Ehrich, H.-D. (eds.) Objects, Agents, and Features. LNCS, vol. 2975, pp. 154–174. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  20. 20.
    Margaria, T.: Web Services-Based Tool-Integration in the ETI Platform, SoSyM, Int. Journal on Software and System Modelling, Springer Verlag (available in Online First, DOI: 10.1007/s10270-004-0072-z)Google Scholar
  21. 21.
    Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of Verification Tools. In: jETI Proc. ECBS 2005, 12th IEEE Int. Conf. on the Engineering of Computer Based Systems, Greenbelt (USA), pp. 431–436. IEEE Computer Soc. Press, Los Alamitos (2005)Google Scholar
  22. 22.
    METEOR-S: see the project site at,
  23. 23.
    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)CrossRefGoogle Scholar
  24. 24.
    Neises, J.: Benefit evaluation of high-availability middleware. In: Malek, M., Reitenspiess, M., Kaiser, J. (eds.) ISAS 2004. LNCS, vol. 3335, pp. 73–85. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  25. 25.
    Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.-D.: Library-based design and consistency checking of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233–248. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  26. 26.
    Reitenspieß, M.: High-Availability and Standards - The Way to Go! In: Proc. ARCS Workshop 2004 - Organic and Pervasive Computing, Workshops Proceedings, Augsburg, Germany, March 26. LNI, vol. 41, pp. 12–18 (2004); Gesellschaft für InformatikGoogle Scholar
  27. 27.
    The Service Availability Forum,
  28. 28.
    Steffen, B., Claßen, A., Klein, M., Knoop, J., Margaria, T.: The Fixpoint Analysis Machine. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962. Springer, Heidelberg (1995)Google Scholar
  29. 29.
    Steffen, B., Margaria, T.: METAFrame in practice: Design of intelligent network services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  30. 30.
    Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. In: [36], pp. 9–30Google Scholar
  31. 31.
    Steffen, B., Margaria, T., Claßen, A., Braun, V.: Incremental Formalization: A Key to Industrial Success. SOFTWARE: Concepts and Tools 17(2), 78–91 (1996)Google Scholar
  32. 32.
    Steffen, B., Margaria, T., Claßen, A., Braun, V., Reitenspieß, M.: A Constraint-Oriented Service Creation Environment. In: Proc. PACT 1996, Int. Conf on Practical Applications of Constraint Technology, London (UK), April 1996, pp. 283–298. The Practical Application Company (1996)Google Scholar
  33. 33.
    Steffen, B., Margaria, T., Claßen, A., Braun, V., Reitenspieß, M.: An Environment for the Creation of Intelligent Network Services, invited contribution to the book “Intelligent Networks: IN/AIN Technologies, Operations, Services, and Applications – A Comprehensive Report. Int. Engineering Consortium, Chicago IL, pp. 287–300 (1996); also invited to the Annual Review of Communications, IEC, pp. 919–935 (1996)Google Scholar
  34. 34.
    Steffen, B., Margaria, T., Claßen, A., Braun, V., Reitenspieß, M., Wendler, H.: Service Creation: Formal Verification and Abstract Views. In: Proc. 4th Int. Conf. on Intelligent Networks (ICIN 1996), Bordeaux (F) (Novmeber 1996)Google Scholar
  35. 35.
    Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical Service Definition. In: Annual Review of Communic., Int. Engineering Consortium, Chicago, pp. 847–856 (1997)Google Scholar
  36. 36.
    Special section on the Electronic Tool Integration Platform, Int. Journal on Software Tools for Technology Transfer, vol. 1, Springer Verlag (November 1997)Google Scholar
  37. 37.
    Web Service Modeling Ontology see,

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Tiziana Margaria
    • 1
  • Bernhard Steffen
    • 2
  • Manfred Reitenspieß
    • 3
  1. 1.Service Engineering for Distributed SystemsUniversität GöttingenGermany
  2. 2.Chair of Programming SystemsUniversität DortmundGermany
  3. 3.Director Business DevelopmentRTP 4 Continuous ServicesMunichGermany

Personalised recommendations