{"id":55390,"date":"2006-07-11T00:00:00","date_gmt":"2006-07-11T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/soporte-metodologico-para-la-evolucion-de-especificaciones-formales-aplicacion-en-sistemas-telematicos\/"},"modified":"2006-07-11T00:00:00","modified_gmt":"2006-07-11T00:00:00","slug":"soporte-metodologico-para-la-evolucion-de-especificaciones-formales-aplicacion-en-sistemas-telematicos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/tecnologia-de-las-telecomunicaciones\/soporte-metodologico-para-la-evolucion-de-especificaciones-formales-aplicacion-en-sistemas-telematicos\/","title":{"rendered":"Soporte metodol\u00f3gico para la evoluci\u00f3n de especificaciones formales. aplicaci\u00f3n en sistemas telem\u00e1ticos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Martin Lopez Nores <\/strong><\/h2>\n<p>El tr\u00e1nsito hacia la denominada sociedad de la informaci\u00f3n est\u00e1 transformando de manera notoria los principios de la ingenier\u00eda telem\u00e1tica. Nuevos dispositivos, nuevos esquemas de comunicaci\u00f3n y nuevos servicios dibujan un escenario considerablemente m\u00e1s complejo que el de la comunicaci\u00f3n cliente-servidor entre ordenadores, los sistemas monousuario y la computaci\u00f3n centralizada. Esa mayor complejidad se pone de manifiesto tanto en tiempo de dise\u00f1o de los sistemas como durante su funcionamiento: por una parte, la dificultad para anticipar todas las caracter\u00edsticas de un sistema obliga a plantear el desarrollo como un proceso de continua revisi\u00f3n hasta llegar a la soluci\u00f3n deseada; por otra, las nuevas aplicaciones y formas de comunicaci\u00f3n exigen formas de adaptar las redes a las condiciones que se observen y los objetivos que se fijen en cada momento. el objetivo de esta tesis es dar soluci\u00f3n a un conjunto de problemas observados en el manejo de especificaciones formales de sistemas telem\u00e1ticos. Tales especificaciones son la base para cualquier soporte automatizado que se quiera proporcionar en la definici\u00f3n (en tiempo de desarrollo o en tiempo de operaci\u00f3n) de lo que debe hacer o de c\u00f3mo debe ser un sistema. La cuesti\u00f3n principal es que rara vez se dispone de una idea completa y correcta de la funcionalidad deseada para un sistema y de los objetivos que \u00e9ste debe satisfacer; as\u00ed, surge la necesidad de realizar cambios en las especificaciones, ya sea para completar un conocimiento parcial o para corregir contradicciones y desalineamientos con respecto a los objetivos. A este respecto, los trabajos anteriores no prestan un soporte eficaz para lo que es una labor eminentemente creativa. A menudo se ha tratado de automatizar todo el proceso de detecci\u00f3n de errores y modificaci\u00f3n de las especificaciones, sin considerar las m\u00faltiples posibilidades de evoluci\u00f3n que se dan en un caso general y sin informar adecuadamente de los cambios a los agentes involucrados en la elaboraci\u00f3n de las mismas. Tambi\u00e9n existen limitaciones a la hora de hacer abordable la complejidad de los sistemas, que inciden en el razonamiento sobre los cambios que se requieren en cualquier etapa. En esta tesis se propone un esquema para la elaboraci\u00f3n de especificaciones formales, concebido en torno ala necesidad de afrontar frecuentes cambios en bases de conocimiento parciales y posiblemente incorrectas. El n\u00facleo de dicho esquema toma la forma de un ciclo de dos fases: an\u00e1lisis y revisi\u00f3n, donde cualesquiera problemas detectados sobre una especificaci\u00f3n se traducen autom\u00e1ticamente en sugerencias de revisi\u00f3n f\u00e1cilmente entendibles por los agentes que la elaboran. Esa base se complementa con mecanismos destinados a promover un razonamiento intuitivo y focalizado. El esquema completo se ha validado en dos dominios de aplicaci\u00f3n representativos de los nuevos escenarios que se plantean en el desarrollo y en el funcionamiento de sistemas telem\u00e1ticos: la especificaci\u00f3n de patrones de interacci\u00f3n en sistemas interactivos multiusuario, y la planificaci\u00f3n de la provisi\u00f3n de servicios en redes ad hoc de dispositivos m\u00f3viles. En el primer caso, el ciclo de an\u00e1lisis-revisi\u00f3n ha permitido implementar un entorno que mejora los enfoques existentes en la aplicaci\u00f3n de t\u00e9cnicas formales al desarrollo de sistemas interactivos, gracias a la definici\u00f3n de un proceso software iterativo que facilita la labor creativa de los desarrolladores. En el caso de las redes ad hoc, el ciclo de an\u00e1lisis-revisi\u00f3n se ha constituido como el n\u00facleo de un esquema de coordinaci\u00f3n en el que m\u00faltiples dispositivos m\u00f3viles, explotando un conocimiento parcial de un entorno altamente cambiante, colaboran en el objetivo de conformar la red que mejor satisface sus necesidades de servicio._<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Soporte metodol\u00f3gico para la evoluci\u00f3n de especificaciones formales. aplicaci\u00f3n en sistemas telem\u00e1ticos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Soporte metodol\u00f3gico para la evoluci\u00f3n de especificaciones formales. aplicaci\u00f3n en sistemas telem\u00e1ticos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Martin Lopez Nores <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Vigo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 07\/11\/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>Jorge Garcia Duque<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Delgado kloos <\/li>\n<li>Alberto Gil solla (vocal)<\/li>\n<li>Juan Garc\u00eda haro (vocal)<\/li>\n<li>ignacio Soto campos (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Martin Lopez Nores El tr\u00e1nsito hacia la denominada sociedad de la informaci\u00f3n est\u00e1 transformando de manera notoria [&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":[15977,7833,8967,2489,18657],"tags":[122380,30894,122381,122379,30363,122378],"class_list":["post-55390","post","type-post","status-publish","format-standard","hentry","category-diseno-con-ayuda-de-ordenador","category-diseno-logico","category-sistemas-en-tiempo-real","category-tecnologia-de-las-telecomunicaciones","category-vigo","tag-alberto-gil-solla","tag-carlos-delgado-kloos","tag-ignacio-soto-campos","tag-jorge-garcia-duque","tag-juan-garcia-haro","tag-martin-lopez-nores"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55390","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=55390"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/55390\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=55390"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=55390"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=55390"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}