Abstract

The challenge of this joint project was to design and implement an environment for the creation of advanced telephone services (Intelligent Network Services) on the basis of a library of basic service components going beyond standard 'clipboard-architectures' with some testing support. The novelty of our approach consists of introducing a declarative specification layer, which is used for the construction of the desired services according to global constraints guaranteeing executability and other consistency conditions. These constraints are the basis for an on-line verification via model checking during the interactive service design process. Important for the success of the method is the high performance and the availability of diagnostic information in the case of failure: Several hundred constraints must be checked in real-time, and the diagnostic information must reflect the responsible constraint violation as concisely as possible, while preserving as much of the structure of the developed service as possible. The corresponding product was presented by Siemens Nixdorf at the Telecom'95 in Geneva and will reach the market this year.

Citations