Universidad de Castilla-La Mancha
 
Escuela Superior de Ingeniería Informática

 

  cambiar a curso:   2014-15   2016-17



Trabajo Fin de Grado 2015-16
 Editor Gráfico de Contratos Electrónicos y Generador de Queries para Análisis de los mismos


Especialidades
Ing. del Software


Tutor
PIQUERAS, M


Descripción y Objetivos

El objetivo principal de este proyecto es el estudio de distintas técnicas para la representación y análisis de contratos electrónicos, con el fin de realizar una discusión sobre las técnicas más adecuadas según el tipo de contrato de que se trate. Así como, realizar la implementación de una herramienta que permita representar contratos electrónicos de forma gráfica y generar a partir de ese modelo un conjunto de propiedades y queries a analizar posteriormente en los mismos, con el fin de determinar que dicho contrato es válido.



Metodología y Competencias

La metodología a utilizar en este proyecto será un desarrollo en cascada o modelo en cascada de ingeniería del software, realizando una fase inicial de análisis de requisitos, tras lo cual se realizará el diseño del sistema basado en ese análisis inicial y que en su última fase nos permitirá obtener también el diseño de la herramienta a implementar. Tras la fase de diseño se llevará a cabo la implementación de la herramienta.

Plan de Trabajo: En primer lugar, se realizará un estudio del estado del arte en cuanto a la representación de distintos contratos electrónicos y análisis de los mismos. Tras lo cual se implementará una herramienta que permita la implementación de un editor para la representación gráfica de un contrato electrónico y la obtención,  a partir de dicho modelo, de un conjunto de propiedades a análizar en el mismo para determinar su validez.



Medios a utilizar

- Ordenador portátil con versión actualizada de java.

- Conexión a  Internet.



Bibliografía

E. Solaiman, C. Molina-Jimenez, and S. Shrivastava, “Model Checking Correctness Properties of Electronic Contracts,” in ICSOC’03, ser. LNCS, vol. 2910. Springer, 2003, pp. 303–318.

G. J. Pace and G. Schneider, “Challenges in the specification of full contracts,” in iFM’09, ser. LNCS, vol. 5423, 2009, pp. 292–306.

K. Angelov, J. J. Camilleri, and G. Schneider, “A framework for conflict analysis of normative texts written in controlled natural language,” Journal of Logic and Algebraic Programming, vol. 82, no. 5-7, pp. 216–240, 2013.



Asignación
Pendiente de asignar





 

Sindicación  Sindicación  Sindicación  Sindicación

Curso: 2015-16
© Escuela Superior de Ingeniería Informática
Edificio Infante Don Juan Manuel
Avda. de España s/n
02071 Albacete

informatica.ab@uclm.es
aviso legal
generar código QR de la página