METAFrame in Practice: Design of Intelligent Network Services

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


In this paper we present MetaFrame, an environment for formal methods-based, application-specific software design. Characteristic for MetaFrame are the following features: library-based development, meaning software construction by combination of components on a coarse granular level, incremental formalization, through successive enrichment of a special-purpose development environment, and library-based consistency checking, allowing continuous verification of application- and purpose-specific properties by means of model checking.

These features and their impact for application developers and end users will be illustrated along an industrial application, the design of intelligent network (IN) services.


Model Checker Global Constraint Service Logic Incremental Formalization Intelligent 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Digilog, Inc.: Atelier-b online.
  2. 2.
    B-Core(UK) Ltd., B-tool documentation.
  3. 3.
    M. von der Beeck, B. Steffen, T. Margaria: “A Formal Requirements Engineering Method and an Environment for Specification, Synthesis, and Verification”, Proc. of SEE ‘97, 8th IEEE Conference on Software Engineering Environments, Cottbus (Germany) 8–9 April 1997.Google Scholar
  4. 4.
    P. K. Bohacek, J. N. White:“Service Creation: The Real Key to Intelligent Network Revenue”, Proc. Workshop Intelligent Networks ‘94, Heidelberg, May 24-26, 1994.Google Scholar
  5. 5.
    V. Braun, T. Margaria, B. Steffen, H. Yoo: Automatic Error Location for IN Service Definition, Proc. AIN‘97, 2nd Int. Workshop on Advanced Intelligent Networks, Cesena, 4.-5. Juli 1997, in “Services and Visualization: Towards User-Friendly Design‘, LNCS 1385, Springer Verlag, März 1998, pp.222–237.CrossRefGoogle Scholar
  6. 6.
    V. Braun, T. Margaria, B. Steffen, H. Yoo, T. Rychly: Safe Service Customization, Proc. IN‘97, IEEE Communication Soc. Workshop on Intelligent Network, Colorado Springs, CO (USA), 4-7 May 1997, IEEE Comm. Soc. Press.Google Scholar
  7. 7.
    V. Braun, T. Margaria, C. Weise: Integrating Tools in the ETI Platform,[25], pp.31–48.Google Scholar
  8. 8.
  9. 9.
    J. Garrahan, P. Russo, K. Kitami, R. Kung: “Intelligent Network Overview,” IEEE Communications Magazine, March 1993, pp. 30–37.Google Scholar
  10. 10.
    J.A. Goguen, Luqi: “Formal Methods and Social Context in Software Development,” (invited talk) 6th Int. Conf. on Theory and Practice of Software Development (TAPSOFT‘95), Aarhus (Denmark), May 1995, LNCS N.915, pp.62–81.Google Scholar
  11. 11.
    D. Harel, M. Politi: Modeling Reactive Systems With Statecharts: The Statemate Approach, McGraw Hill, October 1998, ISBN: 0070262055Google Scholar
  12. 12.
    J. Hofmann: Program Dependent Abstract Interpretation, Diplomarbeit, Fakultät für Mathematik und Informatik, Universität Passau, August 1997.Google Scholar
  13. 13.
    L. Kristensen, S. Christensen, K. Jensen: The Practitioner’s Guide to coloured Petri Nets, STTT, Int. Journal on Software Tools for Technology Transfer, Vol.2, N.2, pp.98–132, December 1998, Springer Verlag, DOI 10.1007/s100099800003.Google Scholar
  14. 14.
    P. Leblanc: OMT and SDL based techniques and tools for design, simulation and test production of distributed systems STTT, Int. Journal on Software Tools for Technology Transfer, Volume 1 Issue 1+2 (1997) pp. 153–165, December 1997z, Springer Verlag.zbMATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    R. Milner: Communication and Concurrency, Prentice-Hall, 1989.Google Scholar
  16. 16.
    Oracle, Inc. Oracle Designer information page.
  17. 17.
    The Raise Project homepage.
  18. 18.
    Rational, Inc. The Rational Suite description.
  19. 19.
    B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration platform: concepts and design, [25], pp. 9–30.Google Scholar
  20. 20.
    B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß: “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, 1996, pp. 287-300-also invited to the Annual Review of Communications, IEC, 1996, pp. 919–935.Google Scholar
  21. 21.
    B. Steffen, T. Margaria, A. Claßen, V. Braun: Incremental Formalization: a Key to Industrial Success, in “Software: Concepts and Tools”, Vol.17(2), pp. 78-91, Springer Verlag, July 1996. Tool presentation in AMAST‘96, Munich, Juli 1996, LNCS, Springer Verlag.Google Scholar
  22. 22.
    B. Steffen, T. Margaria, A. Claßen, V. Braun, M. Reitenspieß, H. Wendler: Service Creation: Formal Verification and Abstract Views, Proc. 4th Int. Conf. on Intelligent Networks (ICIN‘96), Nov. 1996, Bordeaux (France), pp. 96–101.Google Scholar
  23. 23.
    B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communic., Int. Engineering Consortium, Chicago, 1997, pp.847–856Google Scholar
  24. 24.
    C. Stirling: Modal and Temporal Logics, In Handbook of Logics in Computer Science, Vol. 2, pp. 478–551, Oxford Univ. Press, 1995.Google Scholar
  25. 25.
    Special section on the Electronic Tool Integration Platform, Int. Journal on Software Tools for Technology Transfer, Vol. 1, Springer Verlag, November 1997Google Scholar
  26. 26.
    Telelogic AB. Tau’s description.
  27. 27.
    Mike Wrax, Mark Syrett: “Service Creation Using the Hewlett-Packard Service Creation Environment”, Proc. Workshop Intelligent Networks‘94, Heidelberg, May 24-26, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Bernhard Steffen
    • 1
  • Tiziana Margaria
    • 2
  1. 1.LS VUniversität DortmundGermany
  2. 2.LS IUniversität DortmundGermany

Personalised recommendations