Applying and developing formal techniques in the design of ecommerce oriented web services with strong time constraints
Gregorio Diaz Descalzo · Dialnet (Universidad de la Rioja) · 2006
A partir del ano 2000 todas las tecnologias 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 comunicacion. De esta forma se han empezado a crear una gran diversidad de tecnologias asociadas a Internet con la intencion de ampliar las capacidades tecnologicas disponibles. Un caso claro son los servicios web. Esta tecnologia propone la construccion de nuevos programas usando Internet como base distribuida en la que los distintos servicios accederan a los datos y recursos accesibles a traves de la web. Por lo tanto la concepcion que tendremos de los mismos podra compararse con ladrillos que montados uno sobre otro crearan nuevos espacios en los que se ofertaran una gran cantidad de servicios. Uno de los servicios mas importantes es el comercio electronico 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 deberan haber sido concebidos con el menor grado de errores posibles o incluso ninguno. Es por esta causa que se deben aplicar a esta nueva tecnologia tecnicas formales que nos permitan saber cuando los nuevos sistemas creados tienen o no errores. Una tecnica ampliamente usada es la verificacion y asociada en numerosas ocasiones podemos encontrar la tecnica conocida como Model Checking. Esta tecnica usada en las etapas mas tempranas de la concepcion de los sistemas software nos puede ayudar a encontrar los errores de los que adolece nuestro nuevo sistema. Pero tambien 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 debera cumplir.