Specification and validation of telecommunication services in ACPt

Abstract

This paper is concerned with the formal specification and validation of telecommunication services. Firstly, we provide a method to model the telecommunication system. Based on this result, we give the formal specification of telecommunication services and the detection of feature interactions, using the Algebra of Communication Process with Abstraction (ACP) Specification examples are given. First basic, about the telecommunication system and plain old telephone services, then with supplementary services, such as call waiting, call forwarding busy, three way calling, We show by examples how to apply our method to the detection of the feature interactions