Resumen de Applying and developing formal techniques in the design of ecommerce oriented web services with strong time constraints
A partir del año 2000 todas las tecnologías relacionadas con Internet, la red de redes, han sufrido un espectacular desarrollo, Especialmente hemos visto un auge desmesurado de los procesos de negocio que han decidido realizar sus gestiones usando Internet como plataforma de comunicación.
De esta forma se han empezado a crear una gran diversidad de tecnologías asociadas a Internet con la intención de ampliar las capacidades tecnológicas disponibles. Un caso claro son los servicios web. Esta tecnología propone la construcción de nuevos programas usando Internet como base distribuida en la que los distintos servicios accederán a los datos y recursos accesibles a través de la web. Por lo tanto la concepción que tendremos de los mismos podrá compararse con ladrillos que montados uno sobre otro crearán nuevos espacios en los que se ofertarán una gran cantidad de servicios. Uno de los servicios más importantes es el comercio electrónico que puede llegar a manejar grandes sumas de dinero. Es por ello que recientemente ha nacido la necesidad de comprobar que los sistemas desarrollados para ofrecer este servicio tengan un alto grado de confiabilidad. Por lo que estos sistemas deberán haber sido concebidos con el menor grado de errores posibles o incluso ninguno. Es por esta causa que se deben aplicar a esta nueva tecnología técnicas formales que nos permitan saber cuando los nuevos sistemas creados tienen o no errores. Una técnica ampliamente usada es la verificación y asociada en numerosas ocasiones podemos encontrar la técnica conocida como "Model Checking". Esta técnica usada en las etapas más tempranas de la concepción de los sistemas software nos puede ayudar a encontrar los errores de los que adolece nuestro nuevo sistema. Pero también es necesario determinar cuales son las capacidades que nuestro sistema debe desarrollar. Las cuales una vez identificadas pasaran a ser requisitos que el producto final deberá cumplir.
