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

Cerrado

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 2591

Fecha límite participación Sin fecha límite de participación.

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%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

UCLM

Lider

Proyectos interesantes

COMPAS

Software

Cloud Computing

6M€ Cerrado

SPaCIoS

Cybersecurity

Software

6M€ Cerrado

TIN2012-36812-C02-02

Software

Web Development

26K€ Cerrado

Service-Finder

Software

Web Development

2M€ Cerrado

IB! 14 770 O4BPMS DISEÑO Y DESARROLLO DE OPE...

Software

Web Development

205K€ Cerrado

DESARROLLO DE TECNOLOGÍAS DE INTEROPERABILIDA...

Software

Cloud Computing

386K€ Cerrado

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

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 2591

Presupuesto del proyecto 159K€

Fecha límite de participación Sin fecha límite de participación.

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