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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Digilog, Inc.: Atelier-b online. http://www.atelierb.societe.com/index_uk.html
B-Core(UK) Ltd., B-tool documentation. http://www.b-core.com/
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.
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.
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.
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.
V. Braun, T. Margaria, C. Weise: Integrating Tools in the ETI Platform,[25], pp.31–48.
Design/CPN Online. http://www.daimi.au.dk/designCPN/
J. Garrahan, P. Russo, K. Kitami, R. Kung: “Intelligent Network Overview,” IEEE Communications Magazine, March 1993, pp. 30–37.
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.
D. Harel, M. Politi: Modeling Reactive Systems With Statecharts: The Statemate Approach, McGraw Hill, October 1998, ISBN: 0070262055
J. Hofmann: Program Dependent Abstract Interpretation, Diplomarbeit, Fakultät für Mathematik und Informatik, Universität Passau, August 1997.
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.
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.
R. Milner: Communication and Concurrency, Prentice-Hall, 1989.
Oracle, Inc. Oracle Designer information page. http://www.oracle.com/tools/designer.
The Raise Project homepage. http://dream.dai.ed.ac.uk/raise/
Rational, Inc. The Rational Suite description. http://www.rational.com/products.
B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration platform: concepts and design, [25], pp. 9–30.
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.
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.
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.
B. Steffen, T. Margaria, V. Braun, N. Kalt: Hierarchical Service Definition, Annual Review of Communic., Int. Engineering Consortium, Chicago, 1997, pp.847–856
C. Stirling: Modal and Temporal Logics, In Handbook of Logics in Computer Science, Vol. 2, pp. 478–551, Oxford Univ. Press, 1995.
Special section on the Electronic Tool Integration Platform, Int. Journal on Software Tools for Technology Transfer, Vol. 1, Springer Verlag, November 1997
Telelogic AB. Tau’s description. http://www.telelogic.com/solution/tau.asp
Mike Wrax, Mark Syrett: “Service Creation Using the Hewlett-Packard Service Creation Environment”, Proc. Workshop Intelligent Networks‘94, Heidelberg, May 24-26, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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