1999 n. 1-99 - Archivo Digital del COIT

Revista de Telecomunicaciones de Alcatel – 1 Trimestre 1999
Se ha considerado aquí la propiedad:
“¿Están dos usuarios, que están conectados,
autorizados a estar conectados?” No obstante,
el método se aplica a otras cuestiones,
y se intenta trabajar en otras propiedades.
Por ejemplo, se podría comprobar:
“¿Se carga al usuario con los costes esperados
de las llamadas?”
De nuevo, la respuesta no es clara en el
c o n t exto de interacción entre facilidades.
En general, los beneficios de utilizar
métodos formales no son fáciles de cuant
i f i c a r. En el área de las telecomunicaciones
públicas, los beneficios, desde el
punto de vista del usuario, son principalmente
que incrementan la calidad de
los servicios y reducen el número de
comportamientos no esperados. En algunos
casos, la identificación de lagunas,
situaciones no definidas o incluso errores
en la implementación, pueden también
evitar algunas equivocaciones que
podrían ser embarazosas para el suministrador
del serv i c i o .
Jean Leneutre es ingeniero en el
Corporate Research Center de
Alcatel, en Marcoussis, Francia.
Robert Tingaud es Jefe de Grupo
de Investigación en el Corporate
Research Center de Alcatel, en
Marcoussis, Francia.
18