{"id":70887,"date":"2018-03-09T23:15:25","date_gmt":"2018-03-09T23:15:25","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/verificacion-automatica-del-comportamiento-activo-de-uml-usando-metodos-formales\/"},"modified":"2018-03-09T23:15:25","modified_gmt":"2018-03-09T23:15:25","slug":"verificacion-automatica-del-comportamiento-activo-de-uml-usando-metodos-formales","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/verificacion-automatica-del-comportamiento-activo-de-uml-usando-metodos-formales\/","title":{"rendered":"Verificaci\u00f3n autom\u00e1tica del comportamiento activo de uml usando m\u00e9todos formales"},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Beato Guti\u00e9rrez Mar\u00eda Encarnaci\u00f3n <\/strong><\/h2>\n<p>El lenguaje unificado de modelado (uml) posee ventajas incuestionables como t\u00e9cnica visual de modelado, lo que ha hecho que su aplicaci\u00f3n creciese r\u00e1pidamente desde el momento de su nacimiento. A las caracter\u00edsticas propias de uml hay que unirle que existen en el mercado numerosas herramientas que ayudan en su utilizaci\u00f3n (rational rose, argo uml, rhapsody &#8230;) Pero, desafortunadamente ninguna de ellas garantiza la correcci\u00f3n de la especificaci\u00f3n.  sin embargo, est\u00e1 com\u00fanmente aceptado que la detecci\u00f3n errores en las fases tempranas del desarrollo reduce el coste y el tiempo de desarrollo de manera sustancial, ya que los errores detectados no son transmitidos ni amplificados en las fases posteriores. Por ello, ser\u00eda de gran utilidad una herramienta que permitiese la integraci\u00f3n de este m\u00e9todo semi-formal de desarrollo con alg\u00fan m\u00e9todo formal que posibilite la verificaci\u00f3n del sistema. En este trabajo se presenta una herramienta denominada tabu (tool for active behaviour of uml) que realiza esta integraci\u00f3n, proporcionando un marco formal para la verificaci\u00f3n del comportamiento activo de uml.  la herramienta realiza una transformaci\u00f3n autom\u00e1tica, completa y sin intervenci\u00f3n del usuario, del comportamiento activo recogido en uml a una especificaci\u00f3n en smv, centr\u00e1ndose principalmente en sistemas reactivos. Para todo ello, utiliza como formato de entrada xmi (xml metadata interchange), lo que la hace independiente de la herramienta utilizada para la especificaci\u00f3n del sistema.  por otro lado, la herramienta presenta un asistente vers\u00e1til que gu\u00eda al usuario en la escritura de propiedades a verificar, utilizando l\u00f3gicas temporales. La verificaci\u00f3n se realiza de manera que el usuario no necesite disponer de conocimientos ni de lenguajes formales, ni de l\u00f3gicas temporales para aprovechar su potencia, algo que tradicionalmente ha supuesto un obst\u00e1culo dif\u00edcil de superar a la hora de decidirse por el uso de m\u00e9to<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Verificaci\u00f3n autom\u00e1tica del comportamiento activo de uml usando m\u00e9todos formales<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Verificaci\u00f3n autom\u00e1tica del comportamiento activo de uml usando m\u00e9todos formales <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Beato Guti\u00e9rrez Mar\u00eda Encarnaci\u00f3n <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Valladolid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 22\/10\/2004<\/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>Manuel Barrio Sol\u00f3rzano<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Luis Joyanes aguilar <\/li>\n<li>Juan  Manuel Murillo rodriguez (vocal)<\/li>\n<li>ambrosio Toval \u00e1lvarez (vocal)<\/li>\n<li>vidal Alonso secades (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Beato Guti\u00e9rrez Mar\u00eda Encarnaci\u00f3n El lenguaje unificado de modelado (uml) posee ventajas incuestionables como t\u00e9cnica visual 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":[1890,13880,126,12451],"tags":[17054,154618,36535,40865,27709,123117],"class_list":["post-70887","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-informatica","category-matematicas","category-valladolid","tag-ambrosio-toval-alvarez","tag-beato-gutierrez-maria-encarnacion","tag-juan-manuel-murillo-rodriguez","tag-luis-joyanes-aguilar","tag-manuel-barrio-solorzano","tag-vidal-alonso-secades"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70887","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=70887"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70887\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=70887"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=70887"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=70887"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}