Representing and Verifying Intentions in Telephony Features Using Abstract Data Types.

Abstract

Abstract. Feature intentions describe the intended behavior of telephony features. A method for formally specifying feature intentions by abstract data types is given. Further, a method for detecting violation of certain types of feature intentions at the design stage is provided. Specification languages considered are SDL, Prolog, and LOTOS. If the specification is in LOTOS, detection can be helped by the use of goal-oriented execution. Examples of specification and detection are provided, namely involving Originating Call Screening and Call Forwarding. 1.