Abstract
The actual standards used in network management to represent managed equipment or networks are not totally satisfying. To solve this problem we propose a new FDT, the B method. We believe that B method has advantages over its counterparts and will bring new ideas on subjects such as ODP concepts. To confirm our assertions, we have tested this method on a real case study, the management of a WDM network based on the TMN.
Supported by a grant from the Mexican National Council for Science and Technology (CONACYT)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
A. Hamel, V. Troley, A. Sutter, D. Laville, J. Stoschek et P. Lann. First results of an experimental Coloured Section Ring. ECOC’96, September 15–19, 1996.
A. Hamel, V. Troley, A. Sutter, L. Blain, et F. Chatter. Increased capacity in a MS protection ring using WDM technique and OADM: “The coloured section ring”. Electronic Letters, 1st. February 1996 Vol. 32 N 3 pp234–235.
Atelier B from Steria Méditerranée. http://www.atelierb.societe.com
B. Mermet, Spécification de services et gestion des interactions, Lettre B, Publication Steria Méditerranée, April 97
D. Sidou, S. Mazziotta, R. Eberhardt, TIMS: a TMN-based Information Model Simulator, Principles and Applications to a Simple Case Study. http://www.eurecom.fr/~sidou/
ISO 9646-3. Tree and tabular Combined Notation.
ISO/IEC JTC1/SC21 N 9982, Liaison Statement to ITU-T Question 30/SG15 Concerning the Use of Formal Techniques for the Specification of Managed Object Behaviour, November 1995
ITU-T Recommendation Z.100 SDL Specification and Description Language
J. Keller. An extension of GDMO for formalising Managed Object Behaviour, CNET Lannion, 1995.
J.-R. Abrial. The B-Book: Assigning Programs to Meanings, Cambridge University Press, 1996. ISBN 0-521-49619-5.
L. Andrey, O. Festor, E. Nataf, A. Schaff et S. Tata. Validation des bases d’information de gestion. Experience multi-FDT sur un modèle de gestion configuration d’interconnexion des commutateurs
NEtwork Manager Object Tester. http://www.semagroup.com
O. Festor, Formalisation du comportement des objets gérés dans le cadre du modèle OSI. PhD Thesis, Université Henri Poincare, Nancy I, Centre de Recherche en Informatique de Nancy (CRIN), octobre 94.
S. Traverson, Methodological guidelines for B formal method. PhD Thesis, Ecole Nationale Supérieure des Télécommunications, Paris France, July 11 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Portas, J.L.T., Watrin, D., Meriem, T.B. (1998). The Formalization and Simulation of a Network Management Model. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_5
Download citation
DOI: https://doi.org/10.1007/3-540-69687-3_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64039-4
Online ISBN: 978-3-540-69687-2
eBook Packages: Springer Book Archive