Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

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... ver más

01/01/2009

UCLM

159K€

Presupuesto del proyecto: 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 2586

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2009-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UCLM

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

EIN2020-112344 ANALISIS INTEGRAL DE SOFTWARE BASADO EN DATOS PARA EL SIGLO... 10K€ Cerrado

PaaSword A Holistic Data Privacy and Security by Design Platform as a... 4M€ Cerrado

SID. Sistema de Integración Documental. Desar... SID. Sistema de Integración Documental. Desarrollo de un sof... 49K€ Cerrado

TIN2008-06622-C03-02 VERIFICACION Y DEPURACION AGILES ORIENTADAS A MEJORAR LA SEG... 125K€ Cerrado

PARSe Program Analysis and Reorganization as a Service 150K€ Cerrado

TIN2010-20057-C03-01 METODOS DE PRUEBA PARA APLICACIONES CON BASES DE DATOS Y SER... 68K€ Cerrado

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 2586

Presupuesto del proyecto 159K€

Descripción del proyecto 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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores