Skip to main content
SpringerLink
Log in

METAFrame in Practice: Design of Intelligent Network Services

  • Chapter
  • First Online:
Correct System Design

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1710))

Abstract

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.

Acknowledgement

The technical development of the MetaFrame environment, as well as of its instance for the IN application, was competently promoted and supervised by Volker Braun. He took over leadership of the MetaFrame team from Andreas Claßen early in 1995, and made sure that the environment reaches industrial strength. We are very grateful to the whole MetaFrame team, in particular to Achim Dannecker and Andreas Holzmann, who accompanied the development from the very beginning. Finally, we would like to thank Gerhard Goos, Bengt Jonsson, Markus Müller- Olm and Perdita Stevens for their constructive feedback.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Digilog, Inc.: Atelier-b online. http://www.atelierb.societe.com/index_uk.html

  2. B-Core(UK) Ltd., B-tool documentation. http://www.b-core.com/

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

    Chapter  Google Scholar 

  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. V. Braun, T. Margaria, C. Weise: Integrating Tools in the ETI Platform,[25], pp.31–48.

    Google Scholar 

  8. Design/CPN Online. http://www.daimi.au.dk/designCPN/

  9. J. Garrahan, P. Russo, K. Kitami, R. Kung: “Intelligent Network Overview,” IEEE Communications Magazine, March 1993, pp. 30–37.

    Google Scholar 

  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. D. Harel, M. Politi: Modeling Reactive Systems With Statecharts: The Statemate Approach, McGraw Hill, October 1998, ISBN: 0070262055

    Google Scholar 

  12. J. Hofmann: Program Dependent Abstract Interpretation, Diplomarbeit, Fakultät für Mathematik und Informatik, Universität Passau, August 1997.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  15. R. Milner: Communication and Concurrency, Prentice-Hall, 1989.

    Google Scholar 

  16. Oracle, Inc. Oracle Designer information page. http://www.oracle.com/tools/designer.

  17. The Raise Project homepage. http://dream.dai.ed.ac.uk/raise/

  18. Rational, Inc. The Rational Suite description. http://www.rational.com/products.

  19. B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration platform: concepts and design, [25], pp. 9–30.

    Google Scholar 

  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. 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. 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. B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communic., Int. Engineering Consortium, Chicago, 1997, pp.847–856

    Google Scholar 

  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. Special section on the Electronic Tool Integration Platform, Int. Journal on Software Tools for Technology Transfer, Vol. 1, Springer Verlag, November 1997

    Google Scholar 

  26. Telelogic AB. Tau’s description. http://www.telelogic.com/solution/tau.asp

  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 

Download references

Author information

Authors and Affiliations

  1. LS V, Universität Dortmund, Baroper Str.301, D-44221, Dortmund, Germany

    Bernhard Steffen

  2. LS I, Universität Dortmund, Otto-Hahn Str. 16, D-44227, Dortmund, Germany

    Tiziana Margaria

Authors
  1. Bernhard Steffen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Oldenburg, Postfach 2503, D-26111, Oldenburg, Germany

    Ernst-Rüdiger Olderog

  2. Fachbereich Informatik, Universität Dortmund, Baroper Str. 301, D-44221, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Steffen, B., Margaria, T. (1999). METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, ER., Steffen, B. (eds) Correct System Design. Lecture Notes in Computer Science, vol 1710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48092-7_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-48092-7_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66624-0

  • Online ISBN: 978-3-540-48092-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation