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

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 2586

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%

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

TIN2013-45732-C4-3-P UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUC... 36K€ Cerrado

TIN2013-45732-C4-1-P UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUC... 44K€ Cerrado

TIN2013-45732-C4-2-P UNA APROXIMACION DECLARATIVA AL MODELADO, ANALISIS Y RESOLUC... 31K€ Cerrado

BES-2010-038690 MODELADO Y ANALISIS DE SERVICIOS WEB COMPUESTOS USANDO TECNI... 43K€ Cerrado

TIN2010-20959 INICIATIVA PARA LA IMPLEMENTACION E INTEGRACION DE SISTEMAS... 39K€ Cerrado

TIN2015-71819-P TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF... 108K€ 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 26K€

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

¿Olvide mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores