Erkennung von Wechselwirkungen zwischen Dienstmerkmalen im Intelligenten Netz mit Hilfe formaler Techniken

Das Intelligente Netz (IN) ist ein Architekturkonzept, das die schnelle und kostengünstige Einführung neuer Kommunikationsdienste unterstützt und erleichtert. Wechselwirkungen zwischen Diensten im IN stellen ein ernstzunehmendes Problem dar, da sie den sicheren und benutzerfreundlichen Betrieb eines Telekommunikationsnetzes gefährden können. In dieser Arbeit wird ein Verfahren zur Erkennung solcher Wechselwirkungen vorgestellt, das in einer frühen Phase der Dienstentwicklung ansetzt. Dabei wird gezeigt, daß die Ursache für solche Wechselwirkungen darin liegt, daß mehrere Dienste gemeinsame Einflußbereiche besitzen und über Auswirkungen auf diese Bereiche miteinander in Wechselwirkung treten können. Mit Hilfe einer formalen Beschreibung der Rufbehandlung und Dienstbearbeitung im IN können unter Verwendung formaler Techniken wie der Erreichbarkeitsanalyse solche Wechselwirkungen erkannt warden.