{"id":3965,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/soporte-grafico-para-la-descripcion-arquitectonica-de-sistemas\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"soporte-grafico-para-la-descripcion-arquitectonica-de-sistemas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/soporte-grafico-para-la-descripcion-arquitectonica-de-sistemas\/","title":{"rendered":"Soporte grafico para la descripcion arquitectonica de sistemas"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jes\u00fas Sanchez Allende <\/strong><\/h2>\n<p>La contribucion de la presente tesis consiste en la definicion de un lenguaje grafico para la descripcion de la arquitectura de un sistema. Junto con la misma se ofrece un conjunto de operaciones y un metodo de traduccion a y desde el lenguaje de especificacion lotos que permiten utilizarlo dentro de un desarrollo basado en tecnicas de descripcion formal.  el lenguaje grafico dise\u00f1ado se utiliza para representar la arquitectura de alto nivel de un sistema como la relacion que existe entre los componentes del mismo. El lenguaje se ha denominado dart (diagramas de representacion arquitectonica).  una vez dise\u00f1ado el sistema, o durante su dise\u00f1o, se pueden utilizar un conjunto definido de operaciones para su transformacion.  estas operaciones sirven para realizar reestructuraciones en el dise\u00f1o, cambiar unas estructuras por otras y realizar refinamientos. Se han definido para proporcionar al dise\u00f1ador un mecanismo agil y seguro que permite transformar los dise\u00f1os conservando determinadas propiedades del mismo.  uno de los objetivos, planteados desde el principio, era la posibilidad de relacionar la notacion grafica con el lenguaje de especificacion lotos.  en este sentido, el dise\u00f1o de un sistema realizado mediante dart, puede traducirse en una especificacion lotos, cuyas expresiones de comportamiento reproducen con fidelidad las relaciones entre los componentes del dise\u00f1o grafico.  ademas de proporcionar la traduccion de dart a lotos, tambien se da una operacion que permite abstraer en forma de dart, las relaciones entre procesos (o expresiones de comportamiento) que presenta una especificacion lotos. Esta operacion se convierte por tanto en un paso de ingenieria inversa, donde se intenta obtener un dise\u00f1o de alto nivel a partir de una especificacion terminada.  los dart se han utilizado en varios casos de estudio. En ellos se presenta un uso avanzado de la notacion grafica:  su uso para representar el comportam<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Soporte grafico para la descripcion arquitectonica de sistemas<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Soporte grafico para la descripcion arquitectonica de sistemas <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jes\u00fas Sanchez Allende <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1994<\/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>Gonzalo Le\u00f3n Serrano<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  De Miguel Moro Tomas <\/li>\n<li>Alberto Llamosi Casas (vocal)<\/li>\n<li>Ricardo Baeza Yates (vocal)<\/li>\n<li>Jos\u00e9 Mar\u00eda Troya Linero (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jes\u00fas Sanchez Allende La contribucion de la presente tesis consiste en la definicion de un lenguaje grafico [&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,332,15977,126,16008,2489],"tags":[5514,16548,16198,16547,4814,16549],"class_list":["post-3965","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-diseno-con-ayuda-de-ordenador","category-matematicas","category-politecnica-de-madrid","category-tecnologia-de-las-telecomunicaciones","tag-alberto-llamosi-casas","tag-de-miguel-moro-tomas","tag-gonzalo-leon-serrano","tag-jesus-sanchez-allende","tag-jose-maria-troya-linero","tag-ricardo-baeza-yates"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3965","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=3965"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3965\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=3965"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=3965"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=3965"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}