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