{"id":12494,"date":"2018-03-09T08:58:22","date_gmt":"2018-03-09T08:58:22","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/double-pushout-transformation-of-algebras\/"},"modified":"2018-03-09T08:58:22","modified_gmt":"2018-03-09T08:58:22","slug":"double-pushout-transformation-of-algebras","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/double-pushout-transformation-of-algebras\/","title":{"rendered":"\u00abdouble pushout transformation of algebras\u00bb"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Merce Llabres Segura <\/strong><\/h2>\n<p>La transformaci\u00f3n de pushout doble (dpo) de grafos, introducida a principios de los a\u00f1os setenta, es en la actualidad un formalismo de reescritura bien establecido, que ha sido generalizado a diversas categorias de estructuras relacionales y unarias, y que se usa como una tecnica basada en reglas para la especificaci\u00f3n formal de sistemas de software. El objetivo final de esta tesis es establecer los fundamentos para el desarrollo de la transformaci\u00f3n de dpo de algebras parciales y totales de un tipo arbitario, que permitiria la especificacion de sistemas de software con estados complejos.  para ello hemos trabajado en la categoria alg   de \u00e1lgebras parciales con tipo arbitrario    , y su subcategoria plena alg    de algebras cuyas operaciones pertenecientes a un conjunto fijado de simbolos operacionales son totales. Esta ultima categoria cubre el caso de las \u00e1lgebras totales y de los grafos atribuidos. Tambien hemos considerado la categoria tcf-alg de \u00e1lgebras parciales de tipo unario    con los conformismos totales como morfismos, porque la transformacion dpo en esta categoria crea un nuevo tipo de transformaci\u00f3n de algebras parciales unarias.  en dichas categorias hemos resuelto los siguientes problemas, los cuales son previos al desarrollo de la transformacion dpo. El problema de la aplicaci\u00f3n: \u00c2\u00bfcuando podemos aplicar una regla a trav\u00e9s de un morfismo? La soluci\u00f3n viene dada por lo que suele llamar una condici\u00f3n de pegado: una condici\u00f3n necesaria y suficiente sobre dos morfismos f:k&#8211;&gt;a y m:a&#8211;&gt;b para la existencia de un complemento de pushout. El problema de la unicidad: \u00c2\u00bfpara que reglas es siempre \u00fanico (salvo isomorfismo) el resultado de su aplicaci\u00f3n a traves de cada morfismo? La soluci\u00f3n viene dada por una condici\u00f3n de unicidad: una condici\u00f3n necesaria y suficiente sobre un morfismo f:k&#8211;&gt;a para la unicidad salvo isomorfismo del complemento de pushout(caso de existir) de f y cada morfismo m: a&#8211;&gt;b.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>\u00abdouble pushout transformation of algebras\u00bb<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 \u00abdouble pushout transformation of algebras\u00bb <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Merce Llabres Segura <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Illes balears<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 23\/07\/2001<\/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>Francesc Rossello Llompart<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: lloren\u00ed\u00a7 Valverde garcia <\/li>\n<li>martin Grosse-rhode (vocal)<\/li>\n<li>peter Burmeister (vocal)<\/li>\n<li>gabriel alejandro Valiente feruglio (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Merce Llabres Segura La transformaci\u00f3n de pushout doble (dpo) de grafos, introducida a principios de los a\u00f1os [&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":[2809,1890,19034,13880,126],"tags":[40839,19644,3603,40840,40838,40841],"class_list":["post-12494","post","type-post","status-publish","format-standard","hentry","category-algebra","category-ciencia-de-los-ordenadores","category-illes-balears","category-informatica","category-matematicas","tag-francesc-rossello-llompart","tag-gabriel-alejandro-valiente-feruglio","tag-lloreni-valverde-garcia","tag-martin-grosse-rhode","tag-merce-llabres-segura","tag-peter-burmeister"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/12494","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=12494"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/12494\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=12494"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=12494"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=12494"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}