{"id":53461,"date":"2018-03-09T22:41:08","date_gmt":"2018-03-09T22:41:08","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/applying-and-developing-formal-techniques-in-the-design-of-ecommerce-oriented-web-services-with-strong-time-constraints\/"},"modified":"2018-03-09T22:41:08","modified_gmt":"2018-03-09T22:41:08","slug":"applying-and-developing-formal-techniques-in-the-design-of-ecommerce-oriented-web-services-with-strong-time-constraints","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/applying-and-developing-formal-techniques-in-the-design-of-ecommerce-oriented-web-services-with-strong-time-constraints\/","title":{"rendered":"Applying and developing formal techniques in the design of  ecommerce oriented web services with strong time constraints"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Gregorio Diaz Descalzo <\/strong><\/h2>\n<p>A partir del a\u00f1o 2000 todas las tecnolog\u00edas 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\u00f3n. de esta forma se han empezado a crear una gran diversidad de tecnolog\u00edas asociadas a internet con la intenci\u00f3n de ampliar las capacidades tecnol\u00f3gicas disponibles. Un caso claro son los servicios web. Esta tecnolog\u00eda propone la construcci\u00f3n de nuevos programas usando internet como base distribuida en la que los distintos servicios acceder\u00e1n a los datos y recursos accesibles a trav\u00e9s de la web. Por lo tanto la concepci\u00f3n que tendremos de los mismos podr\u00e1 compararse con ladrillos que montados uno sobre otro crear\u00e1n nuevos espacios en los que se ofertar\u00e1n una gran cantidad de servicios. Uno de los servicios m\u00e1s importantes es el comercio electr\u00f3nico 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\u00e1n 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\u00eda t\u00e9cnicas formales que nos permitan saber cuando los nuevos sistemas creados tienen o no errores. Una t\u00e9cnica ampliamente usada es la verificaci\u00f3n y asociada en numerosas ocasiones podemos encontrar la t\u00e9cnica conocida como \u00abmodel checking\u00bb. Esta t\u00e9cnica usada en las etapas m\u00e1s tempranas de la concepci\u00f3n de los sistemas software nos puede ayudar a encontrar los errores de los que adolece nuestro nuevo sistema. Pero tambi\u00e9n 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\u00e1 cumplir.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Applying and developing formal techniques in the design of  ecommerce oriented web services with strong time constraints<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Applying and developing formal techniques in the design of  ecommerce oriented web services with strong time constraints <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Gregorio Diaz Descalzo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 26\/06\/2006<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Fernando Cuartero Gomez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Quiles flor Francisco jose <\/li>\n<li>Ana Cavalli (vocal)<\/li>\n<li>g. Larsen kim (vocal)<\/li>\n<li>Manuel Nu\u00f1ez garcia (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Gregorio Diaz Descalzo A partir del a\u00f1o 2000 todas las tecnolog\u00edas relacionadas con internet, la red de [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[18451,1890,126],"tags":[117983,5510,117984,117982,39796,11901],"class_list":["post-53461","post","type-post","status-publish","format-standard","hentry","category-castilla-la-mancha","category-ciencia-de-los-ordenadores","category-matematicas","tag-ana-cavalli","tag-fernando-cuartero-gomez","tag-g-larsen-kim","tag-gregorio-diaz-descalzo","tag-manuel-nunez-garcia","tag-quiles-flor-francisco-jose"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/53461","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=53461"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/53461\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=53461"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=53461"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=53461"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}