Feature Interactions in Telecommunications and Software Systems V

abstract agent analysis ANISE applied approach architecture automatically basic call BCSM behavior Bellcore benchmark busy Call Forwarding call processing call scenarios Call Waiting call-context caller Calling Number calling party CFNR context defined described detection point Dial Disconnect environment example False Feature Interaction Detection feature interaction problem Figure formal methods functionality implementation incoming call Intelligent Network Interactions in Telecommunications interface interworking IOS Press ISUP ITU-T Kimbler LogEnd logic LOTOS method network_address node Off-hook On-hook operation Originating Call Screening parameters POTS A<-A B<-B properties protocol requirements Ringing A B rule s₁ semantic sequence diagram service creation service interaction service scenario service specification signals Stop AudibleRinging Stop Ringing subscriber switch synchronous techniques Telecommunication Networks Telecommunications Systems telephone temporal logic Terminating Call Screening Three-Way Calling tool transition trigger validation variables Velthuijsen