Tecnologías Específicas

Tecnologías de la Información

Descripcion y Objetivos

Actualmente, todas las gestiones que realizamos usando Internet implican la aceptación de un contrato electrónico, como cuando aceptamos la compra de un billete de tren o avión. Normalmente estos contratos están redactados en lenguaje natural y es difícil saber si existen incoherencias en su redacción hasta que se aplican. Por tanto, sería conveniente poder analizar estos contratos especificando una serie de requisitos que tienen que cumplir. Para este fin de pueden usar métodos formales, pero el objetivo principal es que el usuario de estos contratos pueda analizarlos simplemente apretando un botón, sin tener conocimiento de estos métodos.

El objetivo principal de este proyecto es la implementación de una herramienta que permita representar contratos electrónicos en el ámbito de los servicios web, así como generar a partir de ese modelo un conjunto de propiedades y consultas 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.

Competencias. Las competencias a conseguir con este trabajo serían las siguientes:

[TI1] Capacidad para comprender el entorno de una organización y sus necesidades en el ámbito de las tecnologías de la información y las comunicaciones.
[TI2] Capacidad para seleccionar, diseñar, desplegar, integrar, evaluar, construir, gestionar, explotar y mantener las tecnologías de hardware, software y redes, dentro de los parámetros de coste y calidad adecuados.
[TI3] Capacidad para emplear metodologías centradas en el usuario y la organización para el desarrollo, evaluación y gestión de aplicaciones y sistemas basados en tecnologías de la información que aseguren la accesibilidad, ergonomía y usabilidad de los sistemas.
[TI4] Capacidad para seleccionar, diseñar, desplegar, integrar y gestionar redes e infraestructuras de comunicaciones en una organización.
[TI6] Capacidad de concebir sistemas, aplicaciones y servicios basados en tecnologías de red, incluyendo Internet, web, comercio electrónico, multimedia, servicios interactivos y computación móvil.
[TI7] Capacidad para comprender, aplicar y gestionar la garantía y seguridad de los sistemas informáticos.
 

 

Medios a utilizar

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

- Conexión a  Internet.

- Java EE.

 

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.