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

TIN2012-36812-C02-02

Financiado

Cerrado

MODELADO Y ANALISIS FORMAL DE CONTRATOS Y SERVICIOS WEB CON RECURSOS DISTRIBUIDO...

MODELADO Y ANALISIS FORMAL DE CONTRATOS Y SERVICIOS WEB CON RECURSOS DISTRIBUIDOS EN ESTE SUBPROYECTO PRETENDEMOS APLICAR LAS TECNICAS FORMALES, Y EN CONCRETO, LOS MODELOS FORMALES DE CONCURRENCIA, PARA LA DESCRIPCION Y ANALISIS DE LOS SERVICIOS WEB Y CONTRATOS DE PROCESOS DE NEGOCIO CON RESTRICCIONES TEMPORALE... ver más

01/01/2012

UCLM

26K€

Presupuesto del proyecto: 26K€

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 2590

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 2012-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

Service-Finder

Software

Web Development

2M€ Cerrado

TIN2010-21744-C02-02

Software

Web Development

78K€ Cerrado

GRACeFUL

Software

Data Science

2M€ Cerrado

TIN2013-45732-C4-1-P

Software

Data Science

44K€ Cerrado

DESARROLLO DE MOTOR DE B SQUEDA DOCUMENTAL BA...

Software

Data Analytics

573K€ Cerrado

TIN2009-14312-C02-02

Software

Web Development

159K€ 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 2590

Presupuesto del proyecto 26K€

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

Descripción del proyecto EN ESTE SUBPROYECTO PRETENDEMOS APLICAR LAS TECNICAS FORMALES, Y EN CONCRETO, LOS MODELOS FORMALES DE CONCURRENCIA, PARA LA DESCRIPCION Y ANALISIS DE LOS SERVICIOS WEB Y CONTRATOS DE PROCESOS DE NEGOCIO CON RESTRICCIONES TEMPORALES. SE TRATA PUES DE UN PROYECTO CONTINUISTA EN LA LINEA DE TRABAJO DEL GRUPO DE LA UCLM, Y ENMARCADO DENTRO DE LOS OBJETIVOS CONJUNTOS DEL PROYECTO COORDINADO. INTRODUCIMOS DOS NUEVOS ELEMENTOS IMPORTANTES SOBRE LOS QUE SE VA CONDUCIR NUESTRA INVESTIGACION FUTURA. POR UNA PARTE, LA DESCRIPCION Y ANALISIS FORMAL DE SERVICIOS WEB CON RECURSOS DISTRIBUIDOS, ES DECIR, SERVICIOS WEB QUE LLEVAN ASOCIADOS O UTILIZAN RECURSOS EN UN ENTORNO ALTAMENTE DISTRIBUIDO. POR TANTO, PASAMOS A UNA APROXIMACION DE SERVICIOS WEB CON INFORMACION DE ESTADO, EN CONTRAPOSICION AL ENFOQUE CLASICO DE SERVICIOS WEB SIN-ESTADO (STATELESS).ADEMAS, QUEREMOS AMPLIAR NUESTRO CAMPO DE INVESTIGACION AL ESTUDIO FORMAL DE LOS CONTRATOS DE PROCESOS DE NEGOCIO. ES ESTE UN AREA DE ESPECIAL RELEVANCIA, DADA LA NATURALEZA DE ESTE TIPO DE CONTRATOS, EN LOS QUE DEBEN REFLEJARSE NO SOLO LOS REQUERIMIENTOS FUNCIONALES DE LOS DIFERENTES ACTORES INVOLUCRADOS, SINO TAMBIEN OTRAS CONSIDERACIONES QUE ENTRAN DENTRO DE LA LOGICA DEONTICA.UTILIZAREMOS POR TANTO DIVERSAS TECNICAS FORMALES PARA LA DESCRIPCION DE SISTEMAS CONCURRENTES, COMO REDES DE PETRI O AUTOMATAS TEMPORIZADOS, Y TECNICAS DE VERIFICACION DE SISTEMAS EN TIEMPO REAL Y TECNICAS DE TESTING QUE NOS PERMITAN ANALIZAR LOS SISTEMAS, APLICACIONES Y CONTRATOS PARA DETERMINAR SI SE AJUSTAN A UN CONJUNTO DE REQUERIMIENTOS PREVIAMENTE DEFINIDOS. NATURALMENTE, PRETENDEMOS TAMBIEN DAR SOPORTE AUTOMATIZADO A LOS MODELOS Y TECNICAS DESARROLLADOS AMPLIANDO LAS CARACTERISTICAS DE LA HERRAMIENTA WST, DESARROLLADA POR NUESTRO GRUPO DE INVESTIGACION.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores