Application name:

Cancan Mediation Device

Organisation:

ACTS Project CANCAN: Contract Negotiation and Charging in ATM Networks. Participants: Teltec DCU, Telefonica I&D, Nederlandse Philips Bedrijven B.V., Cable and Wireless PLC, Queen Mary and Westfield College, BNR Europe Limited, Telecommunications Managers Association, Analysis Limited, Telia AB, Lund Institute of Technology, Cap Gemini Nederland B.V. Cap Gemini is the organisation using VDM++.

Method:

VDM++

Tools:

The IFAD VDM++ Toolbox

Domain:

Telecommunications Management Network

Period:

1996-1997

Size:

1000 - 1500 lines (approximately)

Description:

One of the management functions of a telecommunications management network (TMN) is that of accounting management. Collecting accounting (billing) data, processing and modifying this data are part thereof. In terms of the TMN, this processing of accounting data is called mediation when this data can afterwards be accessed through standardized interfaces. In developing a mediation device, VDM++ has been of assistance.

Due to the research element of the project, only a general idea could be put on paper and into VDM++. This way VDM++ has enabled us to develop a base architecture or model of the application. From there, we first developed (refined) this base architecture into a prototype. This was used to validate the chosen architecture and intended information flow.

As our ideas of the final mediation device became more detailed, we have been able to adapt and refine the existing base architecture without throwing away previously done work. The work has been carried out by one person.

Conclusions:

While at first VDM++ had been used as a class library (or had been experienced as such), its value certainly became visible while refining the prototype. VDM++ assisted us very well in those refinement steps.

Publications:

None.

Contact:

Name:	Daan van Egmond
Organisation:	Division Telecom and Services, Cap Gemini Nederland B.V.
Address:	Daltonlaan 100 P.O. Box 2575 3500 GN Utrecht
Country:	The Netherlands
Phone number:	+31 (30) 2527777
Fax:	+31 (30) 2527774
E-mail:	DFvanEgmond@capgemini.nl
Personal website:	-

URL:

-

Remarks:

-

© copyright 2004 | Formal Methods Europe