Innovating Works

TIN2009-14312-C02-02

Financiado
MODELADO Y ANALISIS DE SERVICIOS WEB COMPUESTOS USANDO TECNICAS FORMALES
EN ESTE SUBPROYECTO PRETENDEMOS CONTINUAR CON NUESTRA TRAYECTORIA INVESTIGADORA EN EL CAMPO DE LA COMPOSICION DE SERVICIOS WEB, ESPECIFICAMENTE EN SU MODELIZACION Y ANALISIS USANDO TECNICAS FORMALES, ASI, SE TRATA DE UN PROYECTO C... EN ESTE SUBPROYECTO PRETENDEMOS CONTINUAR CON NUESTRA TRAYECTORIA INVESTIGADORA EN EL CAMPO DE LA COMPOSICION DE SERVICIOS WEB, ESPECIFICAMENTE EN SU MODELIZACION Y ANALISIS USANDO TECNICAS FORMALES, ASI, SE TRATA DE UN PROYECTO CONTINUISTA, EN EL SENTIDO DE QUE CON EL MISMO CONTINUAREMOS ANALIZANDO Y DEFINIENDO NUEVOS MARCOS FORMALES APTOS PARA LA ESPECIFICACION, DISEÑO Y ANALISIS DE APLICACIONES BASADAS EN SERVICIOS WEB COMPUESTOS, ES ESTE SIN DUDA UN CAMPO DE INVESTIGACION ATRACTIVO Y NOVEDOSO, PUES LOS SERVICIOS WEB COMPUESTOS PERMITEN IMPLEMENTAR LA INTEROPERABILIDAD DE LOS PROCESOS DE NEGOCIO DE DISTINTAS EMPRESAS QUE OPERAN EN INTERNET, DE ESTA FORMA SE PRETENDE APROVECHAR LAS CAPACIDADES DE COMPUTO Y RECURSOS DE INFORMACION DE DISTINTAS EMPRESAS PARA LA CONSECUCION DE UNO O VARIOS SERVICIOS COMUNES, CONSIGUIENDO ASI MINIMIZAR EL COSTE ASOCIADO AL MANTENIMIENTO DE DICHAS CAPACIDADES DE COMPUTO E INFORMACION, PERO A LA VEZ MANTENIENDO Y GARANTIZANDO LA PRIVACIDAD Y COHESION DE LOS DATOS Y/O PROCESOS PROPIOS DE CADA EMPRESA, PRETENDEMOS ASIMISMO CONTINUAR EL DESARROLLO DE NUESTRA HERRAMIENTA PARA LA ESPECIFICACION, DISEÑO Y ANALISIS DE SERVICIOS WEB, WST (WEB SERVICES TOOL), INCLUYENDO EN ELLA NUEVAS CAPACIDADES, COMO LA ESPECIFICACION DE REQUISITOS UTILIZANDO TECNOLOGIAS DE LICITACION, COMO KAOS, O LA TRANSFORMACION AUTOMATICA DE MODELOS, QUE PERMITA LA TRADUCCION AUTOMATICA DE LOS MISMOS, PARA EL POSTERIOR ANALISIS HACIENDO USO DE MOTORES DE VERIFICACION EXISTENTES Y DE TECNICAS DE TESTING, OTRO CAMPO DE ESPECIAL INTERES EN ESTE PROYECTO ES EL DE LA ESPECIFICACION FORMAL DE CONTRATOS DE SERVICIOS WEB, ES ESTA UN AREA DE INTENSA ACTIVIDAD INVESTIGADORA, DADO QUE LAS EMPRESAS QUE CONTRIBUYEN A CREAR UN NUEVO SERVICIO EN INTERNET EXIGEN EL USO DE TECNICAS QUE GARANTICEN DE FORMA RIGUROSA LA PRIVACIDAD, ASI COMO LOS TERMINOS DE USO DE SUS PRODUCTOS Y RECURSOS,LAS TECNICAS, MODELOS Y LENGUAJES UTILIZADOS A TAL FIN SE BASARAN EN LOS ESTANDARES RECONOCIDOS INTERNACIONALMENTE PARA EL DESARROLLO DE SERVICIOS WEB POR EL W3C, ASI, EMPLEAREMOS EL LENGUAJE DE MODELADO UML COMO BASE PARA SOPORTAR EL DISEÑO DE LOS SERVICIOS WEB COMPUESTOS, Y USAREMOS LOS LENGUAJES DE DESCRIPCION DE COREOGRAFIAS Y ORQUESTACIONES, COMO WS-CDL Y WS-BPEL PARA DESCRIBIR LA CONDUCTA DE LOS MISMOS, PRETENDEMOS ASIMISMO ANALIZAR LA CAPACIDAD DE ESTOS ULTIMOS PARA LA DESCRIPCION FORMAL DE LOS CONTRATOS DE LOS PROCESOS DE NEGOCIO, EN ULTIMO TERMINO, LA VERIFICACION Y VALIDACION DE LOS SERVICIOS WEB COMPUESTOS SE APOYARA EN LAS CLASICAS TECNICAS FORMALES, Y SOBRE MOTORES DE VERIFICACION EXISTENTES SOBRE LAS MISMAS; ASI, UTILIZAREMOS MODELOS COMO ALGEBRAS DE PROCESOS, AUTOMATAS TEMPORIZADOS O REDES DE PETRI, AUNQUE EN CADA CASO ANALIZAREMOS EL MODELO Y CARACTERISTICAS MAS ADECUADO EN FUNCION DE LAS NECESIDADES, CON RESPECTO A LA VALIDACION DE CONTRATOS USAREMOS TECNICAS DE TESTING, ESTABLECIENDO UN CONJUNTO APROPIADO DE CASOS DE PRUEBA, EN FUNCION DEL TIPO DE CONTRATO Y DE APLICACION DE QUE SE TRATE, COMPOSICION DE SERVICIOS WEB\METODOS FORMALES\VERIFICACION Y VALIDACION ver más
01/01/2009
UCLM
159K€
Perfil tecnológico estimado

Línea de financiación: concedida

El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2009-01-01
Presupuesto El presupuesto total del proyecto asciende a 159K€
Líder del proyecto
UNIVERSIDAD DE CASTILLA-LA MANCHA No se ha especificado una descripción o un objeto social para esta compañía.
Total investigadores 2583