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.
Keywords Network management - behaviour formalization - B method - TMN - ODP - WDM
Supported by a grant from the Mexican National Council for Science and Technology (CONACYT)