PROCEDIMIENTO PARA DETECTAR INTERACCIONES DE SERVICIOS DE REDES INTELIGENTES.

摘要

LA INVENCION PROPORCIONA UN METODO DE DETECCION DE INTERACCIONES DE SERVICIOS EN REDES INTELIGENTES. DE ACUERDO CON LA INVENCION, EL METODO DE DETECCION CONSTA DE UNA PRIMERA ETAPA EN LA QUE LOS SERVICIOS SON FORMALMENTE IDENTIFICADOS Y UNA SEGUNDA ETAPA EN LA QUE DE ESE MODO LOS SERVICIOS ESPECIFICADOS SON REVISADOS PARA POSIBLES INTERACCIONES. EN LA ESPECIFICACION FORMAL, SE HACE USO DE CONDICIONES QUE DEFINEN LA EJECUCION DE LOS SERVICIOS, TALES COMO PRE-CONDICIONES, POST-CONDICIONES Y CONDICIONES GLOBALES. LA SEGUNDA ETAPA ES APROPIADA PARA EJECUCION ASISTIDA POR ORDENADOR.