Este Proyecto deriva del anterior: “Definición y especificación formal de un modelo basado en servicios para la generación de sistemas de software”.
Como parte de los desarrollos de dicho proyecto se identificó la falta de enfoque sistémico en aspectos relacionados con la confiabilidad en la composición de servicios en ambientes ubicuos, más precisamente en el ámbito del manejo de transacciones en servicios dependientes.
Se propone entonces desarrollar una línea de investigación para resolver la insuficiencia que presenta la composición de servicios en ambientes ubicuos a nivel de transacciones atómicas, la cual ha sido abordada en diversos trabajos de investigación e incluso desde las propias especificaciones de OASIS (WSCoordination, WS-AtomicTransaction), pero desde un punto de vista estático y donde prima la estabilidad de los distintos servicios componentes.
Se avanzará en el análisis del estado del arte de los métodos de desarrollo SOA, de las especificaciones existentes y de investigaciones actuales, en lo relacionado a la composición de servicios en ambientes ubicuos y el manejo de transacciones identificando las flaquezas que ellos presentan, con el objetivo de realizar propuestas superadoras basadas en la confiabilidad y previsibilidad de los sistemas de información.